6274 search results - page 26 / 1255 » Proofs, Programs, Processes |
CSL
2007
Springer
14 years 1 months ago
2007
Springer
Programs and Abstract Complexity A. Beckmann University of Wales Swansea Swansea, UK Axiom systems are ubiquitous in mathematical logic, one famous and well studied example being ļ...
LPNMR
2007
Springer
14 years 1 months ago
2007
Springer
Recently, the stable model semantics was extended to the syntax of arbitrary propositional formulas, which are beyond the traditional rule form. Cabalar and Ferraris, as well as Ca...
ICFP
1999
ACM
14 years 9 hour ago
1999
ACM
Programs are often structured around the idea that diļ¬erent pieces of code comprise distinct principals, each with a view of its environment. Typical examples include the module...
PLPV
2012
ACM
12 years 3 months ago
2012
ACM
Functional Reactive Programming (FRP) is a form of reactive programming whose model is pure functions over signals. FRP is often expressed in terms of arrows with loops, which is ...
LOPSTR
2001
Springer
14 years 4 days ago
2001
Springer
In this paper we deļ¬ne a sequent calculus to formally specify, simulate, debug and verify security protocols. In our sequents we distinguish between the current knowledge of prin...