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)."
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'93
Author: David SchmidtPublisher:
ISBN:
Category : Computer Science
Languages : en
Pages : 0
Book Description
Proceedings of the ... ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation
Author: Publisher:
ISBN:
Category : Compiling (Electronic computers)
Languages : en
Pages : 224
Book Description
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'93
Author: Publisher: Association for Computing Machinery (ACM)
ISBN: 9780897915946
Category : Computer science
Languages : en
Pages : 215
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
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 '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 2002 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation
Author: Publisher:
ISBN:
Category : Computer programming
Languages : en
Pages : 158
Book Description
Semantics, Applications, and Implementation of Program Generation
Author: Walid TahaPublisher: Springer
ISBN: 3540448063
Category : Computers
Languages : en
Pages : 228
Book Description
This volume constitutes the proceedings of the second International Workshop on the Semantics, Applications, and Implementation of Program Generation (SAIG 2001)held on 6 September, 2001, in Florence, Italy. SAIG 2001 was held as an ACM SIGPLAN workshop co-located with the International Conference on Principles, Logics, and Implementations of High-level Programming Languages (PLI). As the commercial production of software systems moves toward being a traditional industry, automation will necessarily play a more substantial role in this industry, just as it plays a key role in the production of traditional commodities. SAIG aims at promoting the development and the application of foundational techniques for supporting automatic program generation. A key goal of SAIG is to provide a unique forum for both theoreticians and practitioners to present their results and ideas to an audience from a diverse background. This year we are fortunate to have three in?uential invited speakers: Krzysztof Czarnecki (DaimlerChrysler), Tim Sheard (OGI School of Science and Engineering), and Mitchell Wand (Northeastern University). The proceedings include abstracts of the invited talks, and an invited paper by Tim Sheard. Seven technical papers and two position papers were presented at SAIG 2001.
Logic Program Synthesis and Transformation
Author: John P. GallagherPublisher: Springer Science & Business Media
ISBN: 9783540627180
Category : Computers
Languages : en
Pages : 344
Book Description
This book constitutes the strictly refereed post-workshop proceedings of the Sixth International Workshop on Logic Program Synthesis and Transformation, LOPSTR'96, held on board a ship sailing from Stockholm to Helsinki, in August 1996. The 17 revised full papers were carefully selected from a total of initially 27 submissions. The topics covered range over the areas of synthesis of programs from specifications, verification, transformation, specialization, and analysis of programs, and the use of program schemata in program development.