1914 search results - page 259 / 383 » Abstract lambda-Calculus Machines |
SIGSOFT
2004
ACM
15 years 3 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
15 years 2 months 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
15 years 2 months 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
15 years 2 months 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
15 years 2 months 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...