Fred: an approach to generating real, correct, reusable programs from proofs

Research output: Contribution to journal › Article › Research › peer-review

Original language	English
Pages (from-to)	71 - 88
Number of pages	18
Journal	Journal of Universal Computer Science
Volume	7
Issue number	1
DOIs	https://doi.org/10.3217/jucs-007-01-0071
Publication status	Published - 2001

Access to Document

@article{5202e24389e4447ab8dadb31843d97a3,

title = "Fred: an approach to generating real, correct, reusable programs from proofs",

author = "Crossley, {John N} and Iman Poernomo",

year = "2001",

doi = "10.3217/jucs-007-01-0071",

language = "English",

volume = "7",

pages = "71 -- 88",

journal = "Journal of Universal Computer Science",

issn = "0948-695X",

publisher = "Graz University of Technology",

number = "1",

}