• Dec 26, 2017 News!Vol. 4, No. 1-No.3 has been indexed by EI (Inspec).   [Click]
  • Dec 26, 2017 News!Vol. 3, No. 4 has been indexed by EI (Inspec).   [Click]
  • Dec 25, 2017 News!Welcome to 2018 7th International Conference on Software and Computing Technologies (ICSCT 2018), which will be held in Kuala Lumpur during April 7-9, 2018.   [Click]
General Information
    • ISSN: 2301-3559
    • Frequency: Quarterly
    • DOI: 10.18178/LNSE
    • Editor-in-Chief: Prof. Jemal Antidze
    • Executive Editor: Ms. Nina Lee
    • Abstracting/ Indexing: EI (INSPEC, IET), Electronic Journals Library,  Ulrich's Periodicals Directory, International Computer Science Digital Library (ICSDL), ProQuest and Google Scholar.
    • E-mail: lnse@ejournal.net
Prof. Jemal Antidze
I. Vekua Scientific Institute of Applied Mathematics
Tbilisi State University, Georgia
I'm happy to take on the position of editor in chief of LNSE. We encourage authors to submit papers concerning any branch of Software Engineering.

LNSE 2014 Vol.2(4): 288-293 IS4SN: 2301-3559
DOI: 10.7763/LNSE.2014.V2.138

Automatic Generation of Object-Oriented Type Checkers

Francisco Ortin, Daniel Zapico, Jose Quiroga, and Miguel Garcia
Abstract—Type systems are aimed at preventing programming language constructions from having wrong behavior at runtime. Different formalisms are used to guarantee that a type system is well defined. However, the type systems implemented in commercial language processors (type checkers) do not commonly use tools that translate these formalisms into code. We propose a framework to facilitate the implementation of object-oriented type checkers, following widespread design patterns. A tool generates the specific implementation of a type checker, receiving a specification of the type system as its input. The generated code interacts with an API, accessible from the rest of the language processor implementation.

Index Terms—Type checker, compiler construction, design patterns, semantic analysis, language implementation.

The authors are with the Computer Science Department, University of Oviedo, Calvo Sotelo s/n, 33007, Oviedo, Spain (e-mail: ortin@uniovi.es, quirogajose@uniovi.es, garciarmiguel@uniovi.es).


Cite: Francisco Ortin, Daniel Zapico, Jose Quiroga, and Miguel Garcia, "Automatic Generation of Object-Oriented Type Checkers," Lecture Notes on Software Engineering vol. 2, no. 4, pp. 288-293, 2014.

Copyright © 2008-2015. Lecture Notes on Software Engineering. All rights reserved.
E-mail: lnse@ejournal.net