1194 search results - page 144 / 239 » A Calculus for Predicative Programming |
153
click to vote
ICALP
2009
Springer
15 years 11 months ago
2009
Springer
We study the impact on observational semantics for SOC of priority mechanisms which combine dynamic priority with local pre-emption. We define manageable notions of strong and wea...
149
click to vote
ESOP
2001
Springer
15 years 10 months ago
2001
Springer
Security-typed languages enforce confidentiality or integrity policies by type checking. This paper investigates continuation-passing style (CPS) translation of such languages as ...
156
click to vote
ESOP
1999
Springer
15 years 10 months ago
1999
Springer
We define an extension of the π-calculus with a static type system which supports high-level specifications of extended patterns of communication, such as client-server protocol...
143
click to vote
ICALP
2000
Springer
15 years 10 months ago
2000
Springer
We introduce a generic type system (based on Milner's sort system) for the synchronous polyadic -calculus, allowing us to mechanise the analysis of input/output capabilities o...
192
click to vote
CLIMA
2006
15 years 7 months ago
2006
FLUX is a declarative, CLP-based programming method for the design of agents that reason logically about their actions and sensor information in the presence of incomplete knowledg...