2236 search results - page 181 / 448 » Language Independence and Language Tolerance in Logic Progra... |
177
click to vote
PPDP
2007
Springer
16 years 19 days ago
2007
Springer
Static analyses provide the semantic foundation for tools ranging from optimizing compilers to refactoring browsers and advanced debuggers. Unfortunately, developing new analysis ...
213
click to vote
LICS
1995
IEEE
15 years 10 months ago
1995
IEEE
We present new proofs of cut elimination for intuitionistic, classical, and linear sequent calculi. In all cases the proofs proceed by three nested structural inductions, avoiding...
171
click to vote
TLCA
2005
Springer
16 years 9 hour ago
2005
Springer
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda calculus for the classical control model, following the firs...
192
click to vote
IFIP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract We introduce a generic framework for proof carrying code, developed and mechanically verified in Isabelle/HOL. The framework defines and proves sound a verification con...
173
click to vote
KR
2004
Springer
15 years 12 months ago
2004
Springer
The main contribution of this paper is the definition of the preference description language ¡¢ . This language allows us to combine qualitative and quantitative, penalty bas...