5904 search results - page 218 / 1181 » Requirements for a Composition Language |
138
click to vote
PLDI
1997
ACM
15 years 8 months ago
1997
ACM
One of the flagship applications of partial evaluation is compilation and compiler generation. However, partial evaluation is usually expressed as a source-to-source transformati...
140
click to vote
FMCAD
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Since the advent of model checking it is becoming more common for languages to be given a semantics in terms of transition systems. Such semantics allow to model check pr...
139
click to vote
WOLLIC
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, we explore the Lambek-Grishin calculus LG: a symmetric version of categorial grammar based on the generalizations of Lambek calculus studied in Grishin [1]. The voca...
123
click to vote
SIGPLAN
2008
15 years 4 months ago
2008
Programming languages as a required course is disappearing from undergraduate computer science programs. This is not surprising given that the course often proves to be challengin...
128
click to vote
ASPDAC
2000
ACM
15 years 8 months ago
2000
ACM
Abstract - The emergence and great popularity of system-onchip (SoC) designs has brought with it a variety of suggestions for a single language that can describe all of the functio...