The Resource Adapting proofs-as-programs : the Curry-Howard protocol, Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing, (electronic resource)

Adapting proofs-as-programs : the Curry-Howard protocol, Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing, (electronic resource)

Label
Adapting proofs-as-programs : the Curry-Howard protocol
Title
Adapting proofs-as-programs
Title remainder
the Curry-Howard protocol
Statement of responsibility
Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
COO
http://library.link/vocab/creatorDate
1976-
http://library.link/vocab/creatorName
Poernomo, Iman Hafiz
Dewey number
511.3/6
Illustrations
illustrations
Index
index present
LC call number
QA9.54
LC item number
.P64 2005
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Crossley, John N
  • Wirsing, M.
Series statement
Monographs in computer science
http://library.link/vocab/subjectName
  • Curry-Howard isomorphism
  • Proof theory
  • Logic, Symbolic and mathematical
  • Functional programming (Computer science)
  • Lambda calculus
  • Abstract data types (Computer science)
  • MATHEMATICS
  • MATHEMATICS
  • Electronic books
  • Abstract data types (Computer science)
  • Curry-Howard isomorphism
  • Functional programming (Computer science)
  • Lambda calculus
  • Logic, Symbolic and mathematical
  • Proof theory
  • Informatique
  • Proof theory
  • Logic, Symbolic and mathematical
  • Functional programming (Computer science)
  • Lambda calculus
  • Abstract data types (Computer science)
  • Electronic books
  • Curry-Howard isomorphism
Label
Adapting proofs-as-programs : the Curry-Howard protocol, Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing, (electronic resource)
Link
http://dx.doi.org/10.1007/0-387-28183-5
Instantiates
Publication
Bibliography note
Includes bibliographical references (p. [407]-416) and index
Carrier category
online bron
Carrier category code
cr
Carrier MARC source
rdacarrier/dut
Content category
tekst
Content type code
txt
Content type MARC source
rdacontent/dut
Contents
Prologue -- Generalizing Proofs-as-Programs -- Functional Program Synthesis -- The Curry-Howard Protocol -- Imperative Proofs-as-Programs -- Intuitionistic Hoare Logic -- Properties of Intuitionistic Hoare Logic -- Proofs-as-Imperative-Programs -- Structured Proofs-as-Programs -- Reasoning about Structured Specifications -- Proof-theoretic Properties of SSL -- Structured Proofs-as-Programs -- Generic Specifications -- Structured Program Synthesis -- Epilogue -- Conclusions: Toward Constructive Logic as a Practical 4GL
Dimensions
unknown
Extent
1 online resource (xi, 420 p.)
Form of item
online
Isbn
9780387281834
Isbn Type
(electronic bk.)
Media category
computer
Media MARC source
rdamedia/dut
Media type code
c
Other physical details
ill.
Specific material designation
remote
Stock number
978-0-387-23759-6
System control number
  • (OCoLC)166903733
  • (OCoLC)ocn166903733
Label
Adapting proofs-as-programs : the Curry-Howard protocol, Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing, (electronic resource)
Link
http://dx.doi.org/10.1007/0-387-28183-5
Publication
Bibliography note
Includes bibliographical references (p. [407]-416) and index
Carrier category
online bron
Carrier category code
cr
Carrier MARC source
rdacarrier/dut
Content category
tekst
Content type code
txt
Content type MARC source
rdacontent/dut
Contents
Prologue -- Generalizing Proofs-as-Programs -- Functional Program Synthesis -- The Curry-Howard Protocol -- Imperative Proofs-as-Programs -- Intuitionistic Hoare Logic -- Properties of Intuitionistic Hoare Logic -- Proofs-as-Imperative-Programs -- Structured Proofs-as-Programs -- Reasoning about Structured Specifications -- Proof-theoretic Properties of SSL -- Structured Proofs-as-Programs -- Generic Specifications -- Structured Program Synthesis -- Epilogue -- Conclusions: Toward Constructive Logic as a Practical 4GL
Dimensions
unknown
Extent
1 online resource (xi, 420 p.)
Form of item
online
Isbn
9780387281834
Isbn Type
(electronic bk.)
Media category
computer
Media MARC source
rdamedia/dut
Media type code
c
Other physical details
ill.
Specific material designation
remote
Stock number
978-0-387-23759-6
System control number
  • (OCoLC)166903733
  • (OCoLC)ocn166903733

Library Locations

  • Architecture LibraryBorrow it
    Gould Hall 830 Van Vleet Oval Rm. 105, Norman, OK, 73019, US
    35.205706 -97.445050
  • Bizzell Memorial LibraryBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Boorstin CollectionBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Chinese Literature Translation ArchiveBorrow it
    401 W. Brooks St., RM 414, Norman, OK, 73019, US
    35.207487 -97.447906
  • Engineering LibraryBorrow it
    Felgar Hall 865 Asp Avenue, Rm. 222, Norman, OK, 73019, US
    35.205706 -97.445050
  • Fine Arts LibraryBorrow it
    Catlett Music Center 500 West Boyd Street, Rm. 20, Norman, OK, 73019, US
    35.210371 -97.448244
  • Harry W. Bass Business History CollectionBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • History of Science CollectionsBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • John and Mary Nichols Rare Books and Special CollectionsBorrow it
    401 W. Brooks St., Rm. 509NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • Library Service CenterBorrow it
    2601 Technology Place, Norman, OK, 73019, US
    35.185561 -97.398361
  • Price College Digital LibraryBorrow it
    Adams Hall 102 307 West Brooks St., Norman, OK, 73019, US
    35.210371 -97.448244
  • Western History CollectionsBorrow it
    Monnet Hall 630 Parrington Oval, Rm. 300, Norman, OK, 73019, US
    35.209584 -97.445414
Processing Feedback ...