Related Books

Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages
Language: en
Pages: 378

Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages

Authors:
Categories: Computer programming
Type: BOOK - Published: 1991 - Publisher: Pearson Education

DOWNLOAD EBOOK

Conference Record of POPL '95
Language: en
Pages: 422

Conference Record of POPL '95

Authors:
Categories: Computer programming
Type: BOOK - Published: 1995 - Publisher: Pearson Education

DOWNLOAD EBOOK

Proceedings -- Parallel Computing.
Conference Record of POPL '96
Language: en
Pages: 438

Conference Record of POPL '96

Authors:
Categories: Computer programming
Type: BOOK - Published: 1996 - Publisher: Pearson Education

DOWNLOAD EBOOK

Static Analysis
Language: en
Pages: 518

Static Analysis

Authors: Radhia Cousot
Categories: Computers
Type: BOOK - Published: 2003-05-28 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Staticanalysisisaresearchareaaimedatdevelopingprinciplesandtoolsforv- i?cation and semantics-based manipulation of programs and high-performance implementations
Proceedings of the 1992 ACM Conference on LISP and Functional Programming
Language: en
Pages: 370

Proceedings of the 1992 ACM Conference on LISP and Functional Programming

Authors: Association for Computing Machinery
Categories: Computer programming
Type: BOOK - Published: 1992 - Publisher: Pearson Education

DOWNLOAD EBOOK

Theme: Illdy.