Partial Evaluation. Practice and Theory
Subtitle: DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998 (Lecture Notes in Computer Science)
Contributors: John Hatcliff (Editor); Torben Mogensen (Editor); Peter Thiemann (Editor)
Edition: 1 edition
Publisher: Springer
Published: January 7, 2000
Language: eng
Format: Paperback
Number of pages: 433
ISBN-13: 9783540667100
Subjects: Computer Programming; Software Quality Control; Evaluation; Computers; Computers - Languages / Programming; Science/Mathematics; Programming Languages - General; Programming - General; Artificial Intelligence - General; Computers / Programming Languages / General; Formal Methods; Functional Programming; Logic Programming; Partial Evaluation; Program Analysis; Program Semantic; Program Specialization; Software Testing; Programming - Software Development; Computer software
First sentence: What is partial evaluation?