Semi-Inversion of Functional Parameters
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Semi-invertering er en generalisering af invertering: Et programs semi-inverse tager nogle af dets inddata og nogen af dets uddata og returnerer de resterende ind- og uddata.
Tidligere arbejder har beskrevet semi-invertering af et førsteordens funktionssprog. Vi udvider nu med funktionelle parametre.
| Originalsprog | Engelsk |
|---|---|
| Titel | PEPM'08 : Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, San Francisco, California, USA, January 7-8, 2008 |
| Redaktører | Robert Glück, Oege de Moor |
| Antal sider | 9 |
| Forlag | Association for Computing Machinery |
| Publikationsdato | 2008 |
| Sider | 21-29 |
| ISBN (Trykt) | 978-1-59593-977-7 |
| DOI | |
| Status | Udgivet - 2008 |
| Begivenhed | ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation - San Francisco, Calif., USA Varighed: 7 jan. 2008 → 9 jan. 2008 |
Konference
| Konference | ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation |
|---|---|
| Land | USA |
| By | San Francisco, Calif. |
| Periode | 07/01/2008 → 09/01/2008 |
ID: 9296246