Author: Publisher: Assn for Computing Machinery
ISBN: 9780897915601
Category : Computer programming
Languages : en
Pages : 510
Book Description
Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Author: Publisher: Assn for Computing Machinery
ISBN: 9780897915601
Category : Computer programming
Languages : en
Pages : 510
Book Description
Conference Record of POPL '96
Author: Publisher: Pearson Education
ISBN: 9780897917698
Category : Computer programming
Languages : en
Pages : 438
Book Description
Conference Record of POPL '94, 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Author: Publisher: Pearson Education
ISBN: 9780897916363
Category : Computer programming
Languages : en
Pages : 494
Book Description
Proceedings -- Parallel Computing.
Proceedings of the Twentieth Annual ACM Symposium on Principles of Distributed Computing
Author: Proceedings of the ACM SIGPLAN--SIGSOFT Workshop on Program Analysis for Software Tools and Engineering
Author: Publisher: Association for Computing Machinery (ACM)
ISBN:
Category : Computers
Languages : en
Pages : 934
Book Description
Conference Record of POPL '95
Author: Publisher: Pearson Education
ISBN: 9780897916929
Category : Computer programming
Languages : en
Pages : 422
Book Description
Proceedings -- Parallel Computing.
Theories of Programming Languages
Author: John C. ReynoldsPublisher: Cambridge University Press
ISBN: 1139936255
Category : Computers
Languages : en
Pages : 514
Book Description
First published in 1998, this textbook is a broad but rigourous survey of the theoretical basis for the design, definition and implementation of programming languages and of systems for specifying and proving programme behaviour. Both imperative and functional programming are covered, as well as the ways of integrating these aspects into more general languages. Recognising a unity of technique beneath the diversity of research in programming languages, the author presents an integrated treatment of the basic principles of the subject. He identifies the relatively small number of concepts, such as compositional semantics, binding structure, domains, transition systems and inference rules, that serve as the foundation of the field. Assuming only knowledge of elementary programming and mathematics, this text is perfect for advanced undergraduate and beginning graduate courses in programming language theory and also will appeal to researchers and professionals in designing or implementing computer languages.
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'97
Author: Publisher: Pearson Education
ISBN: 9780897919173
Category : Computer science
Languages : en
Pages : 228
Book Description
"Sponsored by the Association for Computing Machinery, Special Interest Group on Programming Languages (SIGPLAN)."
Automata, Languages and Programming
Author: Ugo MontanariPublisher: Springer
ISBN: 354045022X
Category : Computers
Languages : en
Pages : 964
Book Description
This book constitutes the refereed proceedings of the 27th International Colloquium on Automata, Languages and Programming, ICALP 2000, held in Geneva, Switzerland in July 2000. The 69 revised full papers presented together with nine invited contributions were carefully reviewed and selected from a total of 196 extended abstracts submitted for the two tracks on algorithms, automata, complexity, and games and on logic, semantics, and programming theory. All in all, the volume presents an unique snapshot of the state-of-the-art in theoretical computer science.
Conference Record of FPCA '95
Author: Publisher: Association for Computing Machinery (ACM)
ISBN:
Category : Computers
Languages : en
Pages : 352
Book Description