A multi-domain incremental analysis engine and its application to incremental resource analysis
- Albert, E.
- Correas, J.
- Puebla, G.
- Román-Díez, G.
Zeitschrift:
Theoretical Computer Science
ISSN: 0304-3975
Datum der Publikation: 2015
Ausgabe: 585
Seiten: 91-114
Art: Artikel