Programming Languages and Systems 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedings / [electronic resource] :
edited by Naoki Kobayashi.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006.
- v.: digital
- Lecture Notes in Computer Science, 4279 0302-9743 ; .
9783540489382
Computer science Software engineering Operating systems (Computers) Logic design Computer Science Programming Languages, Compilers, Interpreters Software Engineering Logics and Meanings of Programs Operating Systems Programming Techniques Mathematical Logic and Formal Languages