Media type: E-Book; Conference Proceedings Title: Programming Languages and Systems : First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003, Proceedings Contributor: Ohori, Atsushi [Author] Published: Berlin, Heidelberg: Springer Berlin Heidelberg, 2003 Published in: Lecture notes in computer science ; 2895 Bücher Extent: Online-Ressource Language: English DOI: 10.1007/b94290 ISBN: 9783540205364 Identifier: RVK notation: SS 4800 : Lecture notes in computer science Keywords: Programmierung Programmierparadigma Programmanalyse Programmverifikation Typentheorie Origination: Footnote: