Programming languages and systems. 9th Asian symposium, APLAS 2011, Kenting, Taiwan, December 5--7, 2011. Proceedings
DOI10.1007/978-3-642-25318-8zbMATH Open1232.68012OpenAlexW2476463599MaRDI QIDQ649643FDOQ649643
Author name not available (Why is that?)
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
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)
- A Transformational Approach to Resource Analysis with Typed-norms Inference
- Programming languages and systems. 6th Asian symposium, APLAS 2008, Bangalore, India, December 9--11, 2008. Proceedings
- Lambda calculus with algebraic simplification for reduction parallelisation: Extended study
- 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
- Programming languages and systems. 13th Asian symposium, APLAS 2015, Pohang, South Korea, November 30 -- December 2, 2015. Proceedings
- Explicit effect subtyping
- Rely-guarantee termination and cost analyses of loops with concurrent interleavings
- 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)
