The zipper (1997)

Cached

Download Links

by Gérard Huet , Inria Rocquencourt France
Venue:JFP
Citations:92 - 3 self

Active Bibliography

Complete SAT-based Model Checking for Context-Free Processes ⋆ – Geng-dian Huang, Bow-yaw Wang
Low-Level Run-Time Systems for Generic Code Generators – Fermin Reig - 2002
2 Expressive Modular Linking for Object-Oriented Languages – Wilson C. Hsieh, Matthew Flatt, Sean Mcdirmid, Sean Mcdirmid - 2002
The B method and the component-based approach – Dorian Petit , Vincent Poirriez, Georges Mariano - 2003
1 A Framework for Modular Linking in OO Languages – Sean Mcdirmid, Wilson C. Hsieh, Matthew Flatt
Expressive Modular Linking for Object-Oriented Languages – Sean McDirmid, Wilson C. Hsieh, Matthew Flatt - 2002
Project-Team Gallium Programming languages, types, compilation and proofs – Paris Rocquencourt, Compcert C
2 Component NextGen: A sound and expressive component framework for Java – James Sasitorn, Robert Cartwright - 2007
3 A Pure Language with Default Strict Evaluation . . . – Tim Sheard - 2003
unknown title – Jim Grundy, Tom Melham
THEME Programs, Verification and ProofsTable of contents – Proofs
2004 Society for Design and Process Science Printed in the United States of America THE B METHOD AND THE COMPONENT-BASED APPROACH – Dorian Petit, Vincent Poirriez, Georges Mariano
A Formal Specification and Reference Implementation of a File Synchronizer – Benjamin C. Pierce, Jérôme Vouillon - 2004
5 Automata Mista – Gérard Huet - 2003
13 Symbolic Transfer Function-based Approaches to Certified Compilation – Xavier Rival - 2004
Understanding and Evolving the ML Module System (Thesis Summary) – Derek Dreyer, Peter Lee - 2005
15 A verifying core for a cryptographic language compiler – Lee Pike - 2006
5 RZ: A tool for bringing constructive and computable mathematics closer to programming practice – Andrej Bauer, Christopher A. Stone - 2007
CCA 2008 Efficient Computation with Dedekind Reals – Andrej Bauer