Logic Programming
Subtitle: The 1997 International Symposium (Logic Programming)
Publisher: The MIT Press
Published: October 10, 1997
Language: eng
Format: Paperback
Number of pages: 443
ISBN-13: 9780262631808
Subjects: Programming languages; Programming Languages - General; Computers / Programming Languages / General; Computers - General Information
First sentence: The purpose of program analysis is to ascertain information about a program without actually running the program.