10899 search results - page 644 / 2180 » The GP Programming System |
268
Voted
POPL
2002
ACM
16 years 7 months ago
2002
ACM
We present a new role system in which the type (or role) of each object depends on its referencing relationships with other objects, with the role changing as these relationships ...
194
click to vote
ICFP
2003
ACM
16 years 7 months ago
2003
ACM
We have verified several versions of the CPS transformation in Isabelle/HOL. In our verification we adopted first-order abstract syntax with variable names so that the formalizati...
186
click to vote
RTSS
2009
IEEE
16 years 2 months ago
2009
IEEE
Abstract—The Hierarchical Timing Language (HTL) is a realtime coordination language for distributed control systems. HTL programs must be checked for well-formedness, race freedo...
166
click to vote
PPDP
2009
Springer
16 years 1 months ago
2009
Springer
Several recent language designs have offered a unified language for programming a distributed system, with explicit notation of locations; we call these “location-aware” lan...
163
click to vote
APLAS
2009
ACM
16 years 1 months ago
2009
ACM
Handling concurrency using a shared memory and locks is tedious and error-prone. One solution is to use message passing instead. We study here a particular, contract-based flavor ...