Publication year: 2008
ISBN: 978-3-540-89330-1
Internet Resource: Please Login to download book
The symposium is devoted to all topics ranging from foundational to practical issues in programming languages and systems. The papers cover topics such as semantics, logics, foundational theory, type systems, language design, program analysis, optimization, transformation, software security, safety, verification, compiler systems, interpreters, abstract machines, domain-specific languages and systems, as well as programming tools and environments.
Subject: Computer Science, APL, LA, bisimulation, commutation, concurrency, design, logic programming, object-orientation, operational semantics, prog, program semantics, program transformation, programming, programming language, verification, Programming Languages, Compilers, Interpreters, Software Engineering, Programming and Operating Systems, Operating Systems, Software Engineering, Logics and Meanings of Programs, Programming Techniques