by G . Ramalingam (Editor)
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.
Format: Paperback
Pages: 343
Edition: illustrated edition
Publisher: Springer
Published: 14 Nov 2008
ISBN 10: 3540893296
ISBN 13: 9783540893295