3228 search results - page 92 / 646 » Computationally Sound Proofs |
TAMC
2010
Springer
13 years 6 months ago
2010
Springer
TCS
2011
13 years 3 months ago
2011
CHI
2008
ACM
14 years 9 months ago
2008
ACM
We conducted psychological experiments in which participants were presented with artificial sounds that were intended to convey the attitudes of three different agents: a Mindstor...
ICFP
2008
ACM
14 years 8 months ago
2008
ACM
This paper presents AURA, a programming language for access control that treats ordinary programming constructs (e.g., integers and recursive functions) and authorization logic co...
LICS
2007
IEEE
14 years 3 months ago
2007
IEEE
tion and Abstract Separation Logic Cristiano Calcagno Imperial College, London Peter W. O’Hearn Queen Mary, University of London Hongseok Yang Queen Mary, University of London S...