848 search results - page 27 / 170 » A Generative Programming Approach to Developing DSL Compiler... |
158
click to vote
IEEEPACT
2002
IEEE
15 years 10 months ago
2002
IEEE
Traditional compilers perform their code generation tasks based on a fixed, pre-determined instruction set. This paper describes the implementation of a compiler that determines ...
141
click to vote
KBSE
2005
IEEE
15 years 11 months ago
2005
IEEE
The term grammar-based software describes software whose input can be specified by a context-free grammar. This grammar may occur explicitly in the software, in the form of an in...
161
click to vote
ERLANG
2006
ACM
15 years 12 months ago
2006
ACM
This article introduces Dryverl, an Erlang/C binding code r. Dryverl aims at becoming the most abstract, open and efficient tool for implementing any Erlang/C bindings, as either...
146
click to vote
ICFP
2002
ACM
16 years 5 months ago
2002
ACM
Motivated by applications to proof assistants based on dependent types, we develop and prove correct a strong reducer and equivalence checker for the -calculus with products, sums...
159
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Synchronous languages rely on formal methods to ease the development of applications in an efficient and reusable way. Formal methods have been advocated as a means of increasing t...