Semi-Inversion of Functional Parameters

Torben Ægidius Mogensen

doi:10.1145/1328408.1328413

Semi-Inversion of Functional Parameters

4 Citationer (Scopus)

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.

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	https://doi.org/10.1145/1328408.1328413
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/Område	USA
By	San Francisco, Calif.
Periode	07/01/2008 → 09/01/2008

Adgang til dokumentet

10.1145/1328408.1328413

Citationsformater

Semi-Inversion of Functional Parameters. / Mogensen, Torben Ægidius.
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. red. / Robert Glück; Oege de Moor. Association for Computing Machinery, 2008. s. 21-29.

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

Mogensen, TÆ 2008, Semi-Inversion of Functional Parameters. i R Glück & O de Moor (red), 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. Association for Computing Machinery, s. 21-29, ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, San Francisco, Calif., USA, 07/01/2008. https://doi.org/10.1145/1328408.1328413

@inproceedings{9b3fb910d03d11dd9473000ea68e967b,

title = "Semi-Inversion of Functional Parameters",

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{\o}rsteordens funktionssprog. Vi udvider nu med funktionelle parametre. ",

author = "Mogensen, {Torben {\AE}gidius}",

year = "2008",

doi = "10.1145/1328408.1328413",

language = "English",

isbn = "978-1-59593-977-7",

pages = "21--29",

editor = "Robert Gl{\"u}ck and {de Moor}, Oege",

booktitle = "PEPM'08",

publisher = "Association for Computing Machinery",

note = "ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation ; Conference date: 07-01-2008 Through 09-01-2008",

}

TY - GEN

T1 - Semi-Inversion of Functional Parameters

AU - Mogensen, Torben Ægidius

PY - 2008

Y1 - 2008

N2 - 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.

AB - 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.

U2 - 10.1145/1328408.1328413

DO - 10.1145/1328408.1328413

M3 - Article in proceedings

SN - 978-1-59593-977-7

SP - 21

EP - 29

BT - PEPM'08

A2 - Glück, Robert

A2 - de Moor, Oege

PB - Association for Computing Machinery

T2 - ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation

Y2 - 7 January 2008 through 9 January 2008

ER -