Journal of Logic and Algebraic Programming, Volume 64

Volume 64, Number 1, July 2005

Practical development of exact real number computation

Norbert Th. Müller, Martín Hötzel Escardó, Paul Zimmermann:
Guest editors' introduction: Special issue on practical development of exact real number computation. 1-2
Electronic Edition (link) BibTeX
Hans-Juergen Boehm:
The constructive reals as a Java library. 3-11
Electronic Edition (link) BibTeX
Valérie Ménissier-Morain:
Arbitrary precision real arithmetic: design and algorithms. 13-39
Electronic Edition (link) BibTeX
Jens Blanck:
Efficient exact computation of iterated maps. 41-59
Electronic Edition (link) BibTeX
Hideki Tsuiki:
Real number computation with committed choice logic programming languages. 61-84
Electronic Edition (link) BibTeX
Chen Li, Sylvain Pion, Chee-Keng Yap:
Recent progress in exact geometric computation. 85-111
Electronic Edition (link) BibTeX
Mark Sofroniou, Giulia Spaletta:
Precise numerical computation. 113-134
Electronic Edition (link) BibTeX
Nathalie Revol, Kyoko Makino, Martin Berz:
Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY. 135-154
Electronic Edition (link) BibTeX

Modelling and Verification of Cryptographic Protocols

Roberto M. Amadio:
Guest editor's introduction: Special issue on Modelling and Verification of Cryptographic Protocols. 155
Electronic Edition (link) BibTeX
Michael Backes:
Unifying simulatability definitions in cryptographic systems under different timing assumptions. 157-188
Electronic Edition (link) BibTeX
Rohit Chadha, John C. Mitchell, Andre Scedrov, Vitaly Shmatikov:
Contract signing, optimism, and advantage. 189-218
Electronic Edition (link) BibTeX
Jean Goubault-Larrecq, Muriel Roger, Kumar Neeraj Verma:
Abstraction and resolution modulo AC: How to verify Diffie-Hellman-like protocols automatically. 219-251
Electronic Edition (link) BibTeX
Neil Evans, Steve A. Schneider:
Verifying security protocols with PVS: widening the rank function approach. 253-284
Electronic Edition (link) BibTeX
Benjamin Aziz, Geoff W. Hamilton, David Gray:
A static analysis of cryptographic processes: the denotational approach. 285-320
Electronic Edition (link) BibTeX