Deductive and Declarative Programming

ISBN: 9780521032513 出版年：1992 页码：287 Peter Padawitz Cambridge University Press

Introduction 1. Preliminaries 2. Guards, generators and constructors 3. Models and correctness 4. Computing goal solutions 5. Inductive expansion 6. Directed expansion and reduction 7. Implications of ground confluence 8. Examples 9. EXPANDER: inductive expansion in SML References Index.