2943 search results - page 339 / 589 » Software Implementation of Synchronous Programs |
198
click to vote
PEPM
2007
ACM
17 years 1 months ago
2007
ACM
programming languages community is vigorously pursuing ways to incorporate F!-style indexed types into programming languages. This paper advocates Concoqtion, a practical approach ...
111
click to vote
CC
2003
Springer
15 years 8 months ago
2003
Springer
We have developed Tm, a template-based metacompiler. Given a set of data-structure definitions and a template, Tm generates files that instantiate the template for the given data...
123
click to vote
APCSAC
2001
IEEE
15 years 6 months ago
2001
IEEE
A popular trend in current software technology is to gain program portability by compiling programs to an inte form based on an abstract machine definition. Such approaches date b...
150
click to vote
CATA
2003
15 years 4 months ago
2003
It is becoming more important to design systems capable of performing high-level management and control tasks in interactive dynamic environments. At the same time, it is difficul...
161
click to vote
ACMMSP
2006
ACM
15 years 7 months ago
2006
ACM
We introduce a method for providing lightweight daemons, called simplifiers, that attach themselves to program data. If a data item has a simplifier, the simplifier may be run aut...