Proof-directed debugging

From MaRDI portal

Revision as of 07:57, 8 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4943360

Jump to:navigation, search

DOI10.1017/S0956796899003378zbMath0948.68038MaRDI QIDQ4943360

Robert Harper

Publication date: 16 March 2000

Published in: Journal of Functional Programming (Search for Journal in Brave)

zbMATH Keywords

functional programming

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Related Items (6)

Unnamed Item ⋮ Refunctionalization at work ⋮ Adapting functional programs to higher order logic ⋮ Proof-directed program transformation: A functional account of efficient regular expression matching ⋮ Enhancing Theorem Prover Interfaces with Program Slice Information ⋮ A formalisation of the Myhill-Nerode theorem based on regular expressions

This page was built for publication: Proof-directed debugging

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4943360&oldid=19361992"