Programming Languages and Systems (vol. # 3780)
Publication year: 2005
: 978-3-540-32247-4
Constitutes the refereed proceedings of the Third Asian Symposium on Programming Languages and Systems, APLAS 2005, held in Tsukuba, Japan in November 2005. This title covers topics such as, semantics, type theory, program transformation, static analysis, verification, programming calculi, functional programming languages, and more.
: Computer Science, Java, optimization, programming, programming language, real-time, security, semantics, verification
