• Aug 25, 2016 News!Vol.4, No.3 has been published with online version. 15 peer reviewed articles from 3 specific areas are published in this issue.   [Click]
  • May 03, 2016 News!Vol. 3, No. 3 has been indexed by EI (Inspec).   [Click]
  • May 03, 2016 News!Vol. 3, No. 2 has been indexed by EI (Inspec).   [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), DOAJ, Electronic Journals Library, Engineering & Technology Digital 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