๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

[Lecture Notes in Computer Science] Programming Languages and Systems Volume 7078 || Program Analysis and Machine Learning: A Win-Win Deal

โœ Scribed by Yang, Hongseok

Book ID
120986245
Publisher
Springer Berlin Heidelberg
Year
2011
Tongue
German
Weight
60 KB
Category
Article
ISBN
3642253180

No coin nor oath required. For personal study only.

โœฆ Synopsis

This Book Constitutes The Refereed Proceedings Of The 9th Asian Symposium On Programming Languages And Systems, Aplas 2011, Held In Kenting, Taiwan, In December 2011. The 22 Revised Full Papers Presented Together With 4 Invited Talks And One System And Tool Presentations Were Carefully Reviewed And Selected From 64 Submissions. The Papers Are Organized In Topical Sections On Program Analysis; Functional Programming; Compiler; Concurrency; Semantics; As Well As Certification And Logic.

๐Ÿ“œ SIMILAR VOLUMES

[Lecture Notes in Computer Science] Prog
[Lecture Notes in Computer Science] Programming Languages and Systems Volume 2986 || Functors for Proofs and Programs
โœ Schmidt, David ๐Ÿ“‚ Article ๐Ÿ“… 2004 ๐Ÿ› Springer Berlin Heidelberg ๐ŸŒ German โš– 164 KB

This Volume Contains The 28 Papers Presented At Esop 2004, The 13th European Symposium On Programming, Which Took Place In Barcelona, Spain, March 29โ€“ 31, 2004. The Esop Series Began In 1986 With The Goal Of Bridging The Gap Between Theory And Practice, And The Conferences Continue To Be Devoted To