|
![]() |
|||
|
||||
OverviewThe 23 papers presented together with 4 invited papers 2 system and tool presentations and 1 tutorial lecture were carefully reviewed and selected from 95 initial submissions. The papers are devoted to both foundational and practical issues in programming languages and systems and feature current research in the following areas: semantics, logics, foundational theory, design of languages and foundational calculi, type systems, compilers, interpreters, abstract machines, program derivation, analysis, transformation, software security, safety, verification, concurrency, constraints, domain-specific languages, as well as tools for programming, verification, and implementation. Full Product DetailsAuthor: Kazunori UedaPublisher: Springer Imprint: Springer Dimensions: Width: 23.40cm , Height: 2.40cm , Length: 15.60cm Weight: 0.653kg ISBN: 9783642171659ISBN 10: 3642171656 Pages: 470 Publication Date: 13 March 2011 Audience: General/trade , General Format: Undefined Publisher's Status: Unknown Availability: Out of stock ![]() Table of ContentsReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |