External Links

    Journal: Journal of Automated Reasoning

    Volume 30, Issue 3-4

    233 -- 233Tobias Nipkow. Java Bytecode Verification
    235 -- 269Xavier Leroy. Java Bytecode Verification: Algorithms and Formalizations
    271 -- 321Stephen N. Freund, John C. Mitchell. A Type System for the Java Bytecode Language and Verifier
    323 -- 361Robert F. Stärk, Joachim Schmid. Completeness of a Bytecode Verifier and a Certifying Java-to-JVM Compiler
    363 -- 398Gerwin Klein, Martin Wildmoser. Verified Bytecode Subroutines
    399 -- 444David A. Basin, Stefan Friedrich, Marek Gawkowski. Bytecode Verification by Model Checking

    Volume 30, Issue 2

    53 -- 177Michaël Rusinowitch, Sorin Stratulat, Francis Klay. Mechanical Verification of an Ideal Incremental ABR Conformance Algorithm
    121 -- 151Andrei Voronkov. Proof-Search in Intuitionistic Logic with Equality, or Back to Simultaneous Rigid E-Unification
    179 -- 204Larry Wos. The Strategy of Cramming
    205 -- 232Krishnendu Chatterjee, Pallab Dasgupta, P. P. Chakrabarti. A Branching Time Temporal Framework for Quantitative Reasoning

    Volume 30, Issue 1

    1 -- 31Cesare Tinelli. Cooperation of Background Reasoners in Theory Reasoning by Residue Sharing
    33 -- 58Antonella Santone, Gigliola Vaglini. Modifying LOTOS Specifications by Means of Automatable Formula-Based Integrations
    59 -- 98Fairouz Kamareddine, Qiao Haiyan. Formalizing Strong Normalization Proofs of Explicit Substitution Calculi in ALF
    99 -- 120Miquel Bofill, Guillem Godoy, Robert Nieuwenhuis, Albert Rubio. Paramodulation and Knuth-Bendix Completion with Nontotal and Nonmonotonic Orderings
    runs on