827 search results - page 97 / 166 » Proof-Theoretic Soundness and Completeness |
95
Voted
CORR
2010
Springer
15 years 26 days ago
2010
Springer
We present a non-null annotations inferencer for the Java bytecode language. We previously proposed an analysis to infer non-null annotations and proved it soundness and completen...
100
click to vote
ENTCS
2010
15 years 26 days ago
2010
Rules that are admissible can be used in any derivations in any axiomatic system of a logic. In this paper we introduce a method for checking the admissibility of rules in the mod...
92
Voted
FUIN
2008
15 years 25 days ago
2008
Abstract. Besides the features of a class-based object-oriented language, Java integrates concurrency via its thread-classes, allowing for a multithreaded flow of control. Besides ...
108
Voted
ENTCS
2006
15 years 24 days ago
2006
We present a formalization of a version of Abadi and Plotkin's logic for parametricity for a polymorphic dual intuitionistic / linear type theory with fixed points, and show,...
119
Voted
ENTCS
2006
15 years 24 days ago
2006
The advent of proof-carrying code has generated significant interest in reasoning about low-level languages. It is widely believed that low-level languages with jumps must be diff...