636 search results - page 69 / 128 » Operational Semantics for Functional Logic Languages |
220
Voted
POPL
2008
ACM
16 years 3 months ago
2008
ACM
Translation validation consists of transforming a program and a posteriori validating it in order to detect a modification of its semantics. This approach can be used in a verifie...
122
Voted
VIS
2007
IEEE
16 years 4 months ago
2007
IEEE
Direct volume rendering techniques map volumetric attributes (e.g., density, gradient magnitude, etc.) to visual styles. Commonly this mapping is specified by a transfer function. ...
138
Voted
REX
1991
15 years 6 months ago
1991
We survey logic-based and automata-based languages and techniques for the speci cation and veri cation of real-time systems. In particular, we discuss three syntactic extensions of...
120
Voted
SNPD
2003
15 years 4 months ago
2003
This paper presents a new functional parallel language: Minimally Synchronous Parallel ML. The execution time can then be estimated and dead-locks and indeterminism are avoided. I...
143
Voted
ENTCS
2007
15 years 2 months ago
2007
syntax and explicit substitutions Brigitte Pientka1 School of Computer Science McGill University Montreal, Canada This paper sketches a foundation for programming with higher-orde...