Computational Logic (NATO ASI Series / Computer and Systems Sciences)
Contributors: Ulrich Berger (Editor); Helmut Schwichtenberg (Editor)
Edition: 1 edition
Publisher: Springer
Published: May 14, 1999
Language: eng
Format: Hardcover
Number of pages: 444
ISBN-13: 9783540645894
Subjects: Computer Programming; Computer architecture & logic design; Mathematical theory of computation; Theory Of Computing; General; Model Theory; Computers; Computers - General Information; Programming Languages - General; Computer Books: General; Programming - General; Machine Theory; Beweistheorie; Complexity theory; Computers / Logic Design; Komplexitätstheorie; Program specification; Program verification; Programmspezifikation; Computer Science; Computer logic
First sentence: The aim of this chapter is to give an introduction to some recent work on the application of game semantics to the study of programming languages.