Programming Languages and Systems, 1st ed. 2015 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings Programming and Software Engineering Series
Coordonnateurs : Feng Xinyu, Park Sungwoo
Date de parution : 12-2015
Ouvrage de 506 p.
15.5x23.5 cm
Thème de Programming Languages and Systems :
Mots-clés :
Automated reasoning; Concurrency and parallelism; Dynamic analysis; Functional languages; Model checking; Abstract interpretation; Compilers; Constraints; Dynamic language; Hoare logic; Logic and verification; Object oriented languages; Operational semantics; Program analysis; Semantics; Separation logic; Software security; Static analysis; Type systems; Type theory