2776 search results - page 392 / 556 » System-Level Abstraction Semantics |
173
click to vote
POPL
1994
ACM
15 years 10 months ago
1994
ACM
Abstract: The narrowing relation over terms constitutes the basis of the most important operational semantics of languages that integrate functional and logic programming paradigms...
214
click to vote
ICCL
1992
IEEE
15 years 10 months ago
1992
IEEE
We describe the automatic generation of a provably correct compiler for a non-trivial subset of Ada. The compiler is generated from an emantic description; it emits absolute code ...
175
click to vote
PLILP
1992
Springer
15 years 10 months ago
1992
Springer
Attribute grammars may be seen as a (rather specialised) lazy or demand-driven programming language. The "programs" in this language take text or parse trees as input an...
169
click to vote
SC
1992
ACM
15 years 10 months ago
1992
ACM
This paper presents Jade, a high-level parallel programming language for managing coarse-grain concurrency. Jade simplifies programming by providing the programmer with the abstra...
167
click to vote
ACII
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The largest part of the advertising market is already electronic. This means there is an opportunity for automatizing some of the production processes, such as producing ...