Work

A Method for Analyzing Loop Programs

Year: 1979

Type: article

Source: IEEE Transactions on Software Engineering

DOI: 10.1109/tse.1979.234185

Author: R.C. Waters

Institution: Massachusetts Institute of Technology

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2046585568

FWCI: 6.253

Cites: 25

Cited by: 83

Related to: 10