Generalization in hierarchies of online program specialization systems
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Originalsprog | Engelsk |
---|---|
Titel | Logic-Based Program Synthesis and Transformation. Proceedings |
Redaktører | Pierre Flener |
Forlag | Springer Verlag |
Publikationsdato | 1999 |
Sider | 179-198 |
DOI | |
Status | Udgivet - 1999 |
Navn | Lecture notes in computer science |
---|---|
Vol/bind | 1559 |
ISSN | 0302-9743 |
ID: 177361224