1117 search results - page 94 / 224 » Partial Models of Extended Generalized Logic Programs |
197
click to vote
POPL
2005
ACM
16 years 1 months ago
2005
ACM
A lightweight logical approach to race-free sharing of heap storage between concurrent threads is described, based on the notion of permission to access. Transfer of permission be...
109
click to vote
ETFA
2006
IEEE
15 years 7 months ago
2006
IEEE
This paper presents a new approach to modelling and verification of function block applications of the IEC 61499 standard. The approach uses the language of logic programming Prol...
100
click to vote
PPDP
2005
Springer
15 years 7 months ago
2005
Springer
We study contexts (terms with holes) by proposing a ‘λcalculus with holes’. It is very expressive and can encode programming constructs apparently unrelated to contexts, incl...
153
click to vote
KBSE
2003
IEEE
15 years 6 months ago
2003
IEEE
Physics-based animation programs can often be modeled in terms of hybrid automata. A hybrid automaton includes both discrete and continuous dynamical variables. The discrete varia...
113
click to vote
PLDI
2009
ACM
15 years 8 months ago
2009
ACM
Information flow controls can be used to protect both data confidentiality and data integrity. The certification of the security degree of a program that runs in untrusted envi...