Work

Programming by Expression Refinement: the KMP Algorithm

Year: 1990

Type: book-chapter

Source: Springer eBooks

Parent work: Beauty Is Our Business

DOI: 10.1007/978-1-4612-4476-9_38

Author: Joseph M. Morris

Institution: University of Glasgow

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2154672957

FWCI: 2.82

Cites: 3

Cited by: 5

Related to: 10