Design Concepts in Programming Languages
Design Concepts in Programming Languages

Author: Franklyn Turbak

Publisher: MIT Press

Published: 2008-07-18

Total Pages: 1347

ISBN-13: 0262201755

DOWNLOAD EBOOK

1. Introduction 2. Syntax 3. Operational semantics 4. Denotational semantics 5. Fixed points 6. FL: a functional language 7. Naming 8. State 9. Control 10. Data 11. Simple types 12. Polymorphism and higher-order types 13. Type reconstruction 14. Abstract types 15. Modules 16. Effects describe progran behavior 17. Compilation 18. Garbage collection.

ECOOP - Object-Oriented Programming
ECOOP - Object-Oriented Programming

Author: Erik Ernst

Publisher: Springer

Published: 2007-08-13

Total Pages: 637

ISBN-13: 3540735895

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 21st European Conference on Object-Oriented Programming, ECOOP 2007, held in Berlin, Germany in July/August 2007. The 25 revised full papers, presented together with 3 invited talks were carefully reviewed and selected from a total of 135 final submissions. The papers are organized in topical sections on types, runtime implementation, empirical studies, programs and predicates, language design, inheritance and derivation, aspects, as well as language about language.

Generative and Transformational Techniques in Software Engineering
Generative and Transformational Techniques in Software Engineering

Author: Ralf Lämmel

Publisher: Springer Science & Business Media

Published: 2006-09-29

Total Pages: 476

ISBN-13: 354045778X

DOWNLOAD EBOOK

This tutorial book presents an augmented selection of material presented at the International Summer School on Generative and Transformational Techniques in Software Engineering, GTTSE 2005. The book comprises 7 tutorial lectures presented together with 8 technology presentations and 6 contributions to the participants workshop. The tutorials combine foundations, methods, examples, and tool support. Subjects covered include feature-oriented programming and the AHEAD tool suite; program transformation with reflection and aspect-oriented programming, and more.

Logic Based Program Synthesis and Transformation
Logic Based Program Synthesis and Transformation

Author: Patricia M. Hill

Publisher: Springer

Published: 2006-03-01

Total Pages: 187

ISBN-13: 3540326561

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed post-proceedings of the 15th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2005, held in September 2005. The 10 revised full papers presented together with one invited talk were carefully selected and revised from 33 submissions. The papers are organized in topical sections on tools for program development, program transformations, and software development and program analysis.

Foundations of Software Science and Computation Structures
Foundations of Software Science and Computation Structures

Author: Igor Walukiewicz

Publisher: Springer Science & Business Media

Published: 2004-03-19

Total Pages: 543

ISBN-13: 3540212981

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 7th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2004, held in Barcelona, Spain in March/April 2004. The 34 revised full papers presented together with the abstracts of 2 invited talks were carefully reviewed and selected from over 130 submissions. Among the topics addressed are lambda calculus, cryptographic protocol analysis, graphs and grammar systems, decision theory, bisimulation, rewriting, normalization, specification, verification, process calculi, mobile code, automata, program semantics, dynamic logics, timed languages, security analysis, information-theoretical aspects.

ACM Transactions on Programming Languages and Systems
ACM Transactions on Programming Languages and Systems

Author: Association for Computing Machinery

Publisher:

Published: 2005

Total Pages: 604

ISBN-13:

DOWNLOAD EBOOK

Contains articles on programming languages and their semantics, programming systems, storage allocations and garbage collection, languages and methods for writing specifications, testing and verification methods, and algorithms specifically related to the implementation of language processors.

Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis

Author: Farn Wang

Publisher: Springer Science & Business Media

Published: 2004-10-19

Total Pages: 517

ISBN-13: 3540236104

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the Second International Conference on Automated Technology for Verificaton and Analysis, ATVA 2004, held in Taipei, Taiwan in October/November 2004. The 24 revised full papers presented together with abstracts of 6 invited presentations and 7 special track papers were carefully reviewed and selected from 69 submissions. Among the topics addressed are model-checking theory, theorem-proving theory, state-space reduction techniques, languages in automated verification, parametric analysis, optimization, formal performance analysis, real-time systems, embedded systems, infinite-state systems, Petri nets, UML, synthesis, and tools.