Deductive and Declarative Programming

4.11 - 1251 ratings - Source

The book can be used for graduate courses or as a reference for researchers in formal methods, theorem-proving and declarative languages.Terms over ABS-G, also called abstract syntax trees, will be compiled into
sequences of print commands that establish the ... base ABS-G, NSB sorts code
functs symbol read print e compText compString compBox max vars s : string; b
axmsanbsp;...

Title

:

Deductive and Declarative Programming

Author

:

Peter Padawitz

Publisher

:

Cambridge University Press - 2006-11-23

ISBN-13

:

You must register with us as either a Registered User before you can Download this Book. You'll be greeted by a simple sign-up page.

Once you have finished the sign-up process, you will be redirected to your download Book page.