2501 search results - page 18 / 501 » Obligations and Their Interaction with Programs |
ICALP
2001
Springer
14 years 1 months ago
2001
Springer
CEFP
2007
Springer
14 years 19 days ago
2007
Springer
IFIP
1991
Springer
14 years 5 days ago
1991
Springer
PLDI
2009
ACM
14 years 9 months ago
2009
ACM
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....
TLDI
2010
ACM
14 years 5 months ago
2010
ACM
We propose a programming language, called PCML5, for building distributed applications with distributed access control. Target applications include web-based systems in which prog...