Work

Developing Logic Programs from Specifications Using Stepwise Refinement

Year: 2004

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-540-25951-0_3

Authors: Robert Colvin, Lindsay Groves, Ian J. Hayes, David Hemer, Ray Nickson, Paul Strooper

Institutions: Victoria University of Wellington, The University of Queensland

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2097018727

FWCI: 0.167

Cites: 25

Cited by: 2

Related to: 10