Definedness and Strictness in Generator Inductive Definitions

Definedness and Strictness in Generator Inductive Definitions

Authors
O. Lysne and O. Owe
Status
Published
Publication type
Technical Reports
Year of publication
1991
Journal
–
Publisher
Department of Informatics, University of Oslo
Notes
Also presented at the 3rd Nordic Workshop on Program Correctness, Göteborg (Sweden)
Citation key
12995
Google Scholar BibTex