5378 search results - page 758 / 1076 » Base Logics in Argumentation |
120
Voted
LICS
2002
IEEE
15 years 6 months ago
2002
IEEE
Proof-Carrying Code (PCC) is a general framework for verifying the safety properties of machine-language programs. PCC proofs are usually written in a logic extended with language...
109
Voted
ICALP
2010
Springer
15 years 5 months ago
2010
Springer
Universal Coalgebra provides the notion of a coalgebra as the natural mathematical generalization of state-based evolving systems such as (infinite) words, trees, and transition s...
98
Voted
KR
2010
Springer
15 years 5 months ago
2010
Springer
Levesque introduced the notion of only-knowing to precisely capture the beliefs of a knowledge base. He also showed how only-knowing can be used to formalize non-monotonic behavio...
102
Voted
ESOP
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. We present a proof theoretical method for de-compiling lowlevel code to the typed lambda calculus. We first define a proof system for a low-level code language based on...
100
Voted
FPL
2001
Springer
15 years 5 months ago
2001
Springer
Field programmable gate arrays (FPGAs) are flexible programmable devices that are used in a wide variety of applications such as network routing, signal processing, pattern recogni...