1988 search results - page 5 / 398 » Engineering formal metatheory |
AMCS
2011
13 years 1 months ago
2011
ICSE
2009
IEEE-ACM
13 years 3 months ago
2009
IEEE-ACM
FLOPS
2010
Springer
14 years 29 days ago
2010
Springer
The logical framework LF provides an elegant foundation for specifying formal systems and proofs and it is used successfully in a wide range of applications such as certifying code...
KBSE
2010
IEEE
13 years 4 months ago
2010
IEEE
CSFW
2008
IEEE
14 years 18 days ago
2008
IEEE
We present an authorization logic that permits reasoning with explicit time. Following a proof-theoretic approach, we study the meta-theory of the logic, including cut elimination...