1988 search results - page 5 / 398 » Engineering formal metatheory |
AMCS
2011
13 years 2 months ago
2011
ICSE
2009
IEEE-ACM
13 years 5 months ago
2009
IEEE-ACM
FLOPS
2010
Springer
14 years 2 months 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 5 months ago
2010
IEEE
CSFW
2008
IEEE
14 years 1 months 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...