152 search results - page 27 / 31 » Operational Semantics of an Imperative Language in Definite ... |
135
Voted
ICFP
2005
ACM
16 years 3 months ago
2005
ACM
This paper defines PolyAML, a typed functional, aspect-oriented programming language. The main contribution of PolyAML is the seamless integration of polymorphism, run-time type a...
127
Voted
ICFP
2005
ACM
16 years 3 months ago
2005
ACM
Existing languages provide good support for typeful programming of standalone programs. In a distributed system, however, there may be interaction between multiple instances of ma...
148
Voted
KES
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. This work proposes a family of language-independent semantic kernel functions defined for individuals in an ontology. This allows exploiting wellfounded kernel methods fo...
241
Voted
POPL
2004
ACM
16 years 4 months ago
2004
ACM
We present a framework for the certification of compilation and of compiled programs. Our approach uses a symbolic transfer functions-based representation of programs, so as to ch...
126
Voted
ACL
1994
15 years 5 months ago
1994
We describe an implementation in Carpenter's typed feature formalism, ALE, of a discourse grammar of the kind proposed by Scha, Polanyi, et al. We examine their method for re...