Sciweavers

6016 search results - page 110 / 1204
» The semantics of graphical languages
Sort
View
TOPLAS
2010
93views more  TOPLAS 2010»
15 years 3 months ago
Semantic foundations for typed assembly languages
Amal Ahmed, Andrew W. Appel, Christopher D. Richar...
CORR
2009
Springer
86views Education» more  CORR 2009»
15 years 2 months ago
Rewriting Logic Semantics of a Plan Execution Language
Gilles Dowek, César Muñoz, Camilo Ro...
POPL
2006
ACM
16 years 5 months ago
The next 700 data description languages
In the spirit of Landin, we present a calculus of dependent types to serve as the semantic foundation for a family of languages called data description languages. Such languages, ...
Kathleen Fisher, Yitzhak Mandelbaum, David Walker