Author: Association for Computing MachineryPublisher: Pearson Education
ISBN: 9780897914536
Category : Computer programming
Languages : en
Pages : 380
Book Description
Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Author: Association for Computing MachineryPublisher: Pearson Education
ISBN: 9780897914536
Category : Computer programming
Languages : en
Pages : 380
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.
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.
Conference Record of POPL '96
Author: Publisher: Pearson Education
ISBN: 9780897917698
Category : Computer programming
Languages : en
Pages : 438
Book Description
Proceedings of the ... International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming
Author: Publisher:
ISBN:
Category : Declarative programming
Languages : en
Pages : 284
Book Description
Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), Amsterdam, The Netherlands, June 9-11, 1997
Author: Publisher: Pearson Education
ISBN: 9780897919180
Category : Computers
Languages : en
Pages : 340
Book Description
Conference Record of POPL 2001
Author: Publisher:
ISBN:
Category : Computer programming
Languages : en
Pages : 322
Book Description
Programming Languages and Systems
Author: Gert SmolkaPublisher: Springer
ISBN: 3540464255
Category : Computers
Languages : en
Pages : 442
Book Description
ETAPS 2000 was the third instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), ve satellite workshops (CBS, CMCS, CoFI, GRATRA, INT), seven invited lectures, a panel discussion, and ten tutorials. The events that comprise ETAPS address various aspects of the system de- lopment process, including speci cation, design, implementation, analysis, and improvement. The languages, methodologies, and tools which support these - tivities are all well within its scope. Di erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.
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)."
Static Analysis
Author: Radhia CousotPublisher: Springer
ISBN: 3540448985
Category : Computers
Languages : en
Pages : 518
Book Description
The refereed proceedings of the 10th International Symposium on Static Analysis, SAS 2003, held in San Diego, CA, USA in June 2003 as part of FCRC 2003. The 25 revised full papers presented together with two invited contributions were carefully reviewed and selected from 82 submissions. The papers are organized in topical sections on static analysis of object-oriented languages, static analysis of concurrent languages, static analysis of functional languages, static analysis of procedural languages, static data analysis, static linear relation analysis, static analysis based program transformation, and static heap analysis.