Work

Affine relationships among variables of a program

Year: 1976

Type: article

Source: Acta Informatica

DOI: 10.1007/bf00268497

Author: Michael Karr

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2031373197

FWCI: 1.917

Cites: 4

Cited by: 451

Related to: 10