1878 search results - page 252 / 376 » The Vienna Abstract Machine |
149
click to vote
SIGSOFT
2004
ACM
15 years 11 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ļ...
150
click to vote
OOPSLA
2009
Springer
15 years 10 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...
142
click to vote
WIA
2001
Springer
15 years 10 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...
177
click to vote
ICFP
2000
ACM
15 years 10 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...
176
click to vote
AGENTCL
2000
Springer
15 years 10 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...