Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

135

PLDI
1993
ACM

123views Programming Languages» more PLDI 1993»

Abstract Debugging of Higher-Order Imperative Languages

15 years 6 months ago

Abstract Debugging of Higher-Order Imperative Languages

Download web.me.com

François Bourdoncle

Real-time Traffic

PLDI 1993 | Programming Languages |

claim paper

Related Content

» Reasoning on an imperative objectbased calculus in Higher Order Abstract Syntax

» About Hoare Logics for HigherOrder Store

» A Typed Semantics of HigherOrder Store and Subtyping

» HigherOrder Separation Logic in IsabelleHOLCF

» A Relational Modal Logic for HigherOrder Stateful ADTs

» Homer A HigherOrder Observational Equivalence Model checkER

» Observing Functional Logic Computations

» Dynamic slicing of lazy functional programs based on redex trails

» Transforming Process Models Executable Rewrite Rules versus a Formalized Java Program

Post Info
More Details (n/a)

Added	10 Aug 2010
Updated	10 Aug 2010
Type	Conference
Year	1993
Where	PLDI
Authors	François Bourdoncle

Comments (0)