Programming Languages and Systems : 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
Publication year: 2008
ISBN: 978-3-540-78739-6
Internet Resource: Please Login to download book
This book presented together with the abstract of one invited talk and two tool presentations were carefully reviewed and selected from 104 submissions and address fundamental issues in the specification, analysis, and implementation of programming languages and sytems. The papers are organized in topical sections on static analysis, security, concurrency and program verification.
Subject: Computer Science / Bisimulation / XML / algorithm / algorithms / computer languages / data structure / formal languages / polymorphism / process algebra / program semantics / programming / programming calculi / programming language design / programming theory / static / Software Engineering / Programming and Operating Systems / Programming Languages, Compilers, Interpreters / Programming Techniques / Logics and Meanings of Programs / Mathematical Logic and Formal Languages
