Work

Three Simple Programming Languages

Year: 1987

Type: book-chapter

Source: Plenum series in computer science

Parent work: The Foundations of Program Verification

DOI: 10.1007/978-3-322-96753-4_3

Authors: Jacques Loeckx, Kurt Sieber

Institution: Saarland University

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W93796807

FWCI:

Cites: 6

Cited by:

Related to: 10