Work

Program development through proof transformation

Year: 1990

Type: book-chapter

Source: Contemporary mathematics - American Mathematical Society

DOI: 10.1090/conm/106/1057826

Author: Frank Pfenning

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funders: U.S. Department of Defense, Advanced Research Projects Agency, Office of Naval Research

Award: G8876996369

OpenAlex ID: W172035187

FWCI: 4.257

Cites: 13

Cited by: 10

Related to: 10