Principles of Declarative Programming
Subtitle: 10th International Symposium PLILP'98, Held Jointly with the 6th International Conference ALP'98, Pisa, Italy, September ... (Lecture Notes in Computer Science)
Contributors: Catuscia Palamidessi (Editor); Hugh Glaser (Editor); Karl Meinke (Editor)
Edition: 1 edition
Publisher: Springer
Published: October 16, 1998
Language: eng
Format: Paperback
Number of pages: 497
ISBN-13: 9783540650126
Subjects: Programming languages; Congresses; Computer Programming; Computers; Computers - Languages / Programming; Programming Languages - General; Computer Books: Languages; Programming - General; Declarative programming; Logic Design; Algebraic Programming; Computers / Logic Design; Implmentations; Logic Programming; Program Semantics
First sentence: In the summer of 1997, C.R. Ramakrishnan, I.V. Ramakrishnan, Smolka, and Warren were awarded a four-year NSF Experimental Software Systems (ESS) grant1 to investigate the idea of combining the latest developments in concurrency research and in logic programming to advance the state-of-the art of system specification and verification.