On the Formal Semantics of SDL-2000: A Compilation Approach Based on an Abstract SDL Machine

R. Eschbach, U. Glässer, R. Gotzhein, A. Prinz

in: Y. Gurevich, M. Odersky, P. Kutter, L. Thiele (Eds.), Abstract State Machines, LNCS 1912, Springer, 2000

Zusammenfassung




 Übergeordnete Seite: Jahr 2000

 Feedback
Zu den Kontaktdetails des Verantwortlichen dieser Seite

 English
This page in english. Diese Seite auf englisch.