Work

Deriving programs using generic algorithms

Year: 1994

Type: article

Source: IBM Systems Journal

DOI: 10.1147/sj.331.0158

Authors: V. R. Yakhnis, J. A. Farrell, S. S. Shultz

Institution: IBM (United States)

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2068215428

FWCI: 1.774

Cites: 23

Cited by: 7

Related to: 10