On conservative extensions of syntax in system development
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
Bidragets oversatte titel | On conservative extensions of syntax in system development |
---|---|
Originalsprog | Engelsk |
Tidsskrift | Theoretical Computer Science |
Vol/bind | 90 |
Udgave nummer | 1 |
Sider (fra-til) | 209-233 |
Antal sider | 25 |
ISSN | 0304-3975 |
Status | Udgivet - 1991 |
Eksternt udgivet | Ja |
Bibliografisk note
Announced at VDM'90
ID: 98309675