Deductive and Declarative Programming - POD TITLE

Klappentext The book can be used for graduate courses or as a reference for researchers in formal methods! theorem-proving and declarative languages. Zusammenfassung The book can be used for graduate courses or as a reference for researchers in formal methods! theorem-proving and declarative languages. Inhaltsverzeichnis 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.

Dettagli sul prodotto

• Autori: P. Padawitz, Peter Padawitz
• Con la collaborazione di: C. J. van Rijsbergen (Editore), C. J. van Rijsbergen (Editore)
• Editore: Cambridge University Press Academic
• Lingue: Inglese
• Formato: Tascabile
• Pubblicazione: 23.11.2006
• EAN: 9780521032513
• ISBN: 978-0-521-03251-3
• Dimensioni: 173 mm x 245 mm x 17 mm
• Serie: Cambridge Tracts in Theoretica
• Categoria: Scienze naturali, medicina, informatica, tecnica > Informatica, EDP > Informatica