Programming Languages and Systems 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Kobayashi, Naoki (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
• Series: Lecture Notes in Computer Science, 4279
• Subjects: Computer science.; Computer programming.; Software engineering.; Programming languages (Electronic computers).; Operating systems (Computers).; Computer logic.; Mathematical logic.; Computer Science.; Programming Languages, Compilers, Interpreters.; Software Engineering.; Logics and Meanings of Programs.; Operating Systems.; Programming Techniques.; Mathematical Logic and Formal Languages.

This volume contains the proceedings of the 4th Asian Symposium on Progr- mingLanguagesandSystems(APLAS2006),whichtookplaceinSydney,Japan, November 8-10, 2006. The symposium was sponsored by the Asian Association for Foundation of Software. In response to the call for papers, 70 full submissions wer...