Work

Towards the Generation of Efficient Code from Verified Programs

Year: 1983

Type: article

Author: John McHugh

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1482698194

FWCI: 0.631

Cites: 47

Cited by: 13

Related to: 10