3825 search results - page 324 / 765 » The Language of Time: A Reader |
154
click to vote
ESOP
2007
Springer
16 years 26 days ago
2007
Springer
Abstract We present the semantics and proof system for an objectoriented language with active objects, asynchronous method calls, and futures. The language, based on Creol, disting...
169
click to vote
ACSC
2006
IEEE
16 years 23 days ago
2006
IEEE
Incorporating constraints into a reactive BDI agent programming language can lead to better expressive capabilities as well as more efficient computation (in some instances). More...
149
click to vote
CSFW
2006
IEEE
16 years 23 days ago
2006
IEEE
This paper presents an embedded security sublanguage for enforcing information-flow policies in the standard Haskell programming language. The sublanguage provides useful informa...
203
click to vote
LICS
2005
IEEE
16 years 8 days ago
2005
IEEE
We provide a uniform solution to the problem of synthesizing a finite-state distributed system. An instance of the synthesis problem consists of a system architecture and a tempo...
203
click to vote
ITICSE
2005
ACM
16 years 8 days ago
2005
ACM
The complexity of languages like Java and C++ can make introductory programming classes in these languages extremely challenging for many students. Part of the complexity comes fr...