TY -
GEN
AU - Shao, Zhong
TI -
Programming Languages and Systems
5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings
PB - Springer Berlin Heidelberg
SN - 9783540766377
KW - Logic design
KW - Computer Science
KW - Computer science
KW - Software engineering
KW - Operating systems (Computers)
KW - Compilers (Computer programs).
KW - Computer programming.
KW - Machine theory.
KW - Konferenzschrift 2007 Singapur
KW - Programmierung
KW - Programmiersprache
KW - Constraint-basiertes Schließen
KW - Programmanalyse
KW - Programmtransformation
PY - 2007
BT - Lecture Notes in Computer Science ; 4807
BT - SpringerLink ; Bücher
CY - Berlin, Heidelberg
ER -