A Semantic Model of Binding Times for Safe Partial Evaluation
Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning
Binding time, ideal model, partial evaluation, safety, topped domains, monovariance
| Originalsprog | Engelsk |
|---|---|
| Titel | Proc.\Programming Languages: Implementations, Logics and Programs (PLILP, Utrecht, The Netherlands, Lecture Notes in Computer Science |
| Forlag | Springer |
| Publikationsdato | 1995 |
| Status | Udgivet - 1995 |
ID: 235243