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)."
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)."
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)."
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'95
Author:
Publisher: Association for Computing Machinery (ACM)
ISBN: 9780897917209
Category : Computer programming
Languages : en
Pages : 263
Book Description
Publisher: Association for Computing Machinery (ACM)
ISBN: 9780897917209
Category : Computer programming
Languages : en
Pages : 263
Book Description
Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation
Author:
Publisher:
ISBN:
Category : Compiling (Electronic computers)
Languages : en
Pages : 228
Book Description
Publisher:
ISBN:
Category : Compiling (Electronic computers)
Languages : en
Pages : 228
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
Publisher: Pearson Education
ISBN: 9780897919180
Category : Computers
Languages : en
Pages : 340
Book Description
Partial Evaluation: Practice and Theory
Author: John Hatcliff
Publisher: Springer
ISBN: 3540470182
Category : Computers
Languages : en
Pages : 445
Book Description
As the complexity of software increases, researchers and practicioners continue to seek better techniques for engineering the construction of evolution of software. Partial evaluation is an attractive technology for modern software construction since it provides automatic tools for software specialization and is based on rigorous semantic foundations. This book is based on a school held at DIKU Copenhagen, Denmark in summer 1998 during which leading researchers summarized the state of the art in partial evaluation. The lectures presented survey the foundations of partial evaluation in a clear and rigorous manner and practically introduce several existing partial evaluators with numerous examples. The second part of the book is devoted to more sophisticated theoretical aspects, advances systems and applications, and highlights open problems and challenges. The book is ideally suited for advanced courses and for self study.
Publisher: Springer
ISBN: 3540470182
Category : Computers
Languages : en
Pages : 445
Book Description
As the complexity of software increases, researchers and practicioners continue to seek better techniques for engineering the construction of evolution of software. Partial evaluation is an attractive technology for modern software construction since it provides automatic tools for software specialization and is based on rigorous semantic foundations. This book is based on a school held at DIKU Copenhagen, Denmark in summer 1998 during which leading researchers summarized the state of the art in partial evaluation. The lectures presented survey the foundations of partial evaluation in a clear and rigorous manner and practically introduce several existing partial evaluators with numerous examples. The second part of the book is devoted to more sophisticated theoretical aspects, advances systems and applications, and highlights open problems and challenges. The book is ideally suited for advanced courses and for self study.
Programming Languages and Systems
Author: Wei-Ngan Chin
Publisher: Springer Science & Business Media
ISBN: 3540237240
Category : Computers
Languages : en
Pages : 464
Book Description
This book constitutes the refereed proceedings of the Second Asian Symposium on Programming Languages and Systems, APLAS 2004, held in Taipei, Taiwan in November 2004. The 26 revised full papers presented together with abstracts of 3 invited talks were carefully reviewed and selected from 97 submissions. Among the topics covered are type theory, program transformation, static analysis, verification, concurrent systems, code generation, programming calculi, functional programming languages, language support, component systems, real-time systems, embedded systems, formal systems design, object-oriented design, Java objects, program optimization .
Publisher: Springer Science & Business Media
ISBN: 3540237240
Category : Computers
Languages : en
Pages : 464
Book Description
This book constitutes the refereed proceedings of the Second Asian Symposium on Programming Languages and Systems, APLAS 2004, held in Taipei, Taiwan in November 2004. The 26 revised full papers presented together with abstracts of 3 invited talks were carefully reviewed and selected from 97 submissions. Among the topics covered are type theory, program transformation, static analysis, verification, concurrent systems, code generation, programming calculi, functional programming languages, language support, component systems, real-time systems, embedded systems, formal systems design, object-oriented design, Java objects, program optimization .
Static Analysis
Author: Radhia Cousot
Publisher: 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.
Publisher: 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.
SPIN Model Checking and Software Verification
Author: Klaus Havelund
Publisher: Springer
ISBN: 3540452974
Category : Computers
Languages : en
Pages : 353
Book Description
The SPIN workshop is a forum for researchers interested in the subject of automata-based, explicit-state model checking technologies for the analysis and veri?cation of asynchronous concurrent and distributed systems. The SPIN - del checker (http://netlib.bell-labs.com/netlib/spin/whatispin.html), developed by Gerard Holzmann, is one of the best known systems of this kind, and has attracted a large user community. This can likely be attributed to its e?cient state exploration algorithms. The fact that SPIN’s modeling language, Promela, resembles a programming language has probably also contributed to its success. Traditionally, the SPIN workshops present papers on extensions and uses of SPIN. As an experiment, this year’s workshop was broadened to have a slightly wider focus than previous workshops in that papers on software veri?cation were encouraged. Consequently, a small collection of papers describe attempts to analyze and verify programs written in conventional programming languages. Solutions include translations from source code to Promela, as well as specially designed model checkers that accept source code. We believe that this is an - teresting research direction for the formal methods community, and that it will result in a new set of challenges and solutions. Of course, abstraction becomes the key solution to deal with very large state spaces. However, we also see - tential for integrating model checking with techniques such as static program analysis and testing. Papers on these issues have therefore been included in the proceedings.
Publisher: Springer
ISBN: 3540452974
Category : Computers
Languages : en
Pages : 353
Book Description
The SPIN workshop is a forum for researchers interested in the subject of automata-based, explicit-state model checking technologies for the analysis and veri?cation of asynchronous concurrent and distributed systems. The SPIN - del checker (http://netlib.bell-labs.com/netlib/spin/whatispin.html), developed by Gerard Holzmann, is one of the best known systems of this kind, and has attracted a large user community. This can likely be attributed to its e?cient state exploration algorithms. The fact that SPIN’s modeling language, Promela, resembles a programming language has probably also contributed to its success. Traditionally, the SPIN workshops present papers on extensions and uses of SPIN. As an experiment, this year’s workshop was broadened to have a slightly wider focus than previous workshops in that papers on software veri?cation were encouraged. Consequently, a small collection of papers describe attempts to analyze and verify programs written in conventional programming languages. Solutions include translations from source code to Promela, as well as specially designed model checkers that accept source code. We believe that this is an - teresting research direction for the formal methods community, and that it will result in a new set of challenges and solutions. Of course, abstraction becomes the key solution to deal with very large state spaces. However, we also see - tential for integrating model checking with techniques such as static program analysis and testing. Papers on these issues have therefore been included in the proceedings.
Proceedings of the ACM SIGPLAN 1995 Workshop on Languages, Compilers, and Tools for Real-time Systems, La Jolla, CA, June 21-22, 1995
Author:
Publisher:
ISBN:
Category : Programming languages (Electronic computers)
Languages : en
Pages : 242
Book Description
Publisher:
ISBN:
Category : Programming languages (Electronic computers)
Languages : en
Pages : 242
Book Description
Logic Programming
Author: John Lloyd
Publisher: MIT Press
ISBN: 9780262620994
Category : Computers
Languages : en
Pages : 676
Book Description
The International Logic Programming Symposium is one of two major international conferences sponsored by the Association of Logic Programming. Both conferences are held annually. The theme for the 1995 conference was "Declarative Systems", particularly the integration of the logic programming, functional programming, and object-oriented programming paradigms.
Publisher: MIT Press
ISBN: 9780262620994
Category : Computers
Languages : en
Pages : 676
Book Description
The International Logic Programming Symposium is one of two major international conferences sponsored by the Association of Logic Programming. Both conferences are held annually. The theme for the 1995 conference was "Declarative Systems", particularly the integration of the logic programming, functional programming, and object-oriented programming paradigms.