Abstract
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.
| Original language | English |
|---|---|
| Title of host publication | 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 |
| Editors | Robert Glück, Oege de Moor |
| Number of pages | 9 |
| Publisher | Association for Computing Machinery |
| Publication date | 2008 |
| Pages | 21-29 |
| ISBN (Print) | 978-1-59593-977-7 |
| DOIs | |
| Publication status | Published - 2008 |
| Event | ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation - San Francisco, Calif., United States Duration: 7 Jan 2008 → 9 Jan 2008 |
Conference
| Conference | ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation |
|---|---|
| Country/Territory | United States |
| City | San Francisco, Calif. |
| Period | 07/01/2008 → 09/01/2008 |