Programming languages and systems. 9th Asian symposium, APLAS 2011, Kenting, Taiwan, December 5--7, 2011. Proceedings

DOI10.1007/978-3-642-25318-8MaRDI QIDQ649643zbMATH OpenOpenAlexFDO

Authors

Publication date 5 December 2011

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-25318-8

Mathematics Subject Classification ID

Theory of programming languages (68N15) Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Cited in

(11)

• Programming languages and systems. 6th Asian symposium, APLAS 2008, Bangalore, India, December 9--11, 2008. Proceedings
• Adding decision procedures to SMT solvers using axioms with triggers
• Characterizing polynomial and exponential complexity classes in elementary lambda-calculus
• Selective context-sensitivity for \(k\)\textit{-CFA} with CFL-reachability
• A transformational approach to resource analysis with typed-norms inference
• Programming languages and systems. 13th Asian symposium, APLAS 2015, Pohang, South Korea, November 30 -- December 2, 2015. Proceedings
• Lambda calculus with algebraic simplification for reduction parallelisation: extended study
• Rely-guarantee termination and cost analyses of loops with concurrent interleavings
• Explicit effect subtyping
• Programming languages and systems. 19th Asian symposium, APLAS 2021, Chicago, IL, USA, October 17--18, 2021. Proceedings
• Programming languages and systems. 17th Asian symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1--4, 2019. Proceedings

This page was built for publication: Programming languages and systems. 9th Asian symposium, APLAS 2011, Kenting, Taiwan, December 5--7, 2011. Proceedings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q649643)