Sciweavers

114 search results - page 2 / 23
» Meta Languages in Algebraic Compilers
Sort
View
FDL
2005
IEEE
14 years 2 months ago
Meta Modelling of Embedded Systems using Active Databases
The development process of embedded systems is characterized by the cooperation of various domains: components of hardware and software have to be considered as well as components...
Dieter Monjau, Mathias Sporer
OOPSLA
2010
Springer
13 years 7 months ago
MetaFJig: a meta-circular composition language for Java-like classes
We propose a Java-like language where class denitions are rst class values, hence new classes can be derived from existing, rather than by a xed mechanism like inheritance, by e...
Marco Servetto, Elena Zucca
LREC
2008
85views Education» more  LREC 2008»
13 years 10 months ago
Construction of a Metadata Database for Efficient Development and Use of Language Resources
The National Institute of Information and Communications Technology (NICT) and Nagoya University have been jointly constructing a large scale database named SHACHI by collecting d...
Hitomi Tohyama, Shunsuke Kozawa, Kiyotaka Uchimoto...
ICFP
2003
ACM
14 years 8 months ago
Compiler implementation in a formal logical framework
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present proach based on the use of higher-order abstract syntax and...
Jason Hickey, Aleksey Nogin, Adam Granicz
ECBS
2005
IEEE
160views Hardware» more  ECBS 2005»
14 years 2 months ago
Building Compilers by Combining Algebras
Embedded systems present a wide variety of challenges for developers of language tools. Verification of correctness, flexibility for adding new language features, and retargetin...
Garrin Kimmell, Ed Komp, Perry Alexander