Work

Program checking

Year: 1979

Type: conference-paper

Abstract: In languages such as Pascal, the programmer can arrange to have the compiler check such things as the range of the value of a variable only by defining a new type or sub-type. I have investigated how more powerful checking facilities might be provided if they were divorced from the type machinery, and also if the necessary language constructs were designed independent of what any particular compiler would check at compile-time.

Source: ACM SIGPLAN Symposium on Compiler Construction

DOI: 10.1145/800229.806950

Author: Graeme Williams

Institution: University of Rochester

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

OpenAlex ID: W2295810692

FWCI:

Cites: 8

Cited by: 4

Related to: 10