1914 search results - page 259 / 383 » Abstract lambda-Calculus Machines |
SIGSOFT
2004
ACM
14 years 1 months ago
2004
ACM
Aspect-oriented programming has become an increasingly important means of expressing cross-cutting program abstractions. Despite this, aspects lack support for computeraided veriļ...
OOPSLA
2009
Springer
14 years 16 days ago
2009
Springer
In this paper we explore the idea that the code that constitutes a program actually forms a higher-level, program speciļ¬c language. The symbols of the language are the abstracti...
WIA
2001
Springer
14 years 11 days ago
2001
Springer
d Abstract) Zhe Dang Ā , Tevļ¬k Bultan Ā” , Oscar H. Ibarra Ā” , and Richard A. Kemmerer Ā” Ā¢ School of Electrical Engineering and Computer Science Washington State University P...
ICFP
2000
ACM
14 years 10 days ago
2000
ACM
We review the close relationship between abstract machines for (call-by-name or call-by-value) Ī»-calculi (extended with Felleisenās C) and sequent calculus, reintroducing on the...
AGENTCL
2000
Springer
14 years 9 days ago
2000
Springer
Abstract. In this paper, we study the operational semantics of agent communication languages.We develop a basic multi-agent programming language for systems of concurrently operati...