72 search results - page 7 / 15 » Logic Programming Foundations of Cyber-Physical Systems |
PPDP
2007
Springer
15 years 3 months ago
2007
Springer
We give a denotational semantics to a region-based effect system tracking reading, writing and allocation in a higher-order language with dynamically allocated integer references....
PPDP
2009
Springer
15 years 4 months ago
2009
Springer
We give a denotational semantics to a type and effect system tracking reading and writing to global variables holding values that may include higher-order effectful functions. Reļ...
CSL
2005
Springer
15 years 3 months ago
2005
Springer
In previous work we presented a foundational calculus for spatially distributed computing based on intuitionistic modal logic. With the modalities P and Q we were able to capture t...
103
Voted
PLDI
2006
ACM
15 years 3 months ago
2006
ACM
We propose the monadic linear logic programming language LolliMon as a new foundation for the speciļ¬cation of distributed trust management systems, particularly the RT framework...
120
Voted
LICS
1994
IEEE
15 years 1 months ago
1994
IEEE
Higher-order narrowing is a general method for higher-order equational reasoning and serves for instance as the foundation for the integration of functional and logic programming. ...