Programming languages and systems first Asian Symposium, Beijing, China, November 27-29, 2003 ; proceedings

This book constitutes the refereed proceedings of the First Asian Symposium on Programming Languages and Systems, APLAS 2003, held in Beijing, China in November 2003. The 24 revisedfull papers presented together with abstracts of 3 invited talks were carefully reviewed and selected from 75 submissio...

Ausführliche Beschreibung

Bibliographische Detailangaben

Körperschaft:	APLAS (BerichterstatterIn)
Weitere Verfasser:	Ohori, Atsushi (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin, Heidelberg Springer 2003
Schriftenreihe:	Lecture notes in computer science 2895
Schlagworte:	Programming languages (Electronic computers) > Konferenzschrift > Programmierung > Programmierparadigma > Programmanalyse > Programmverifikation > Typentheorie
Online Zugang:	Cover Einführung/Vorwort Inhaltsverzeichnis Inhaltstext Publisher description
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!