22 search results - page 3 / 5 » An Integration of Partial Evaluation in a Generic Abstract I... |
DAGSTUHL
1996
13 years 7 months ago
1996
Abstract. Two-level -calculi have been heavily utilised for applications such as partial evaluation, abstract interpretation and code generation. Each of these applications pose di...
ROMAN
2007
IEEE
14 years 2 days ago
2007
IEEE
Abstract—Models that can efficiently, compactly, and semantically represent potential users are important tools for human-robot interaction applications. We model a person as a p...
FOIKS
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. Argumentation is a reasoning model based on the construction and the evaluation of arguments. In his seminal paper, Dung has proe most abstract argumentation framework. I...
EUROCAST
2001
Springer
13 years 10 months ago
2001
Springer
We present a Language Prototyping System that facilitates the modular development of interpreters from semantic specifications. The theoretical basis of our system is the integrat...
PLILP
1993
Springer
13 years 10 months ago
1993
Springer
Abstract. Solving equations in equational theories is a relevant programming paradigm which integrates logic and equational programming into one unified framework. Efficient metho...