Volume 44, Issue 1-2

February 2010

Special Issue: Programming Languages and Mechanized Mathematics Systems / Guest Edited by Jacques Carette, Makarius Wenzel and Freek Wiedijk

7 articles in this issue

Faster and More Complete Extended Static Checking for the Java Modeling Language
Perry R. James
Patrice Chalin
OriginalPaper 30 June 2009 Article: 145
HOL-Boogie—An Interactive Prover-Backend for the Verifying C Compiler
Sascha Böhme
Michał Moskal
Burkhart Wolff
OriginalPaper 08 July 2009 Article: 111
Crystal: Integrating Structured Queries into a Tactic Language
Dominik Dietrich
Ewaryst Schulz
OriginalPaper 30 June 2009 Article: 79
Procedural Representation of CIC Proof Terms
Ferruccio Guidi
OriginalPaper 26 June 2009 Article: 53
Declarative Representation of Proof Terms
Claudio Sacerdoti Coen
OriginalPaper 26 June 2009 Article: 25
Geometry Constructions Language
Predrag Janičić
OriginalPaper 24 June 2009 Article: 3
Preface
Jacques Carette
Makarius Wenzel
Freek Wiedijk
EditorialNotes 24 June 2009 Article: 1

Search