WSDFU: Program transformation system based on generalized partial computation

DOI10.1007/3-540-36377-7_16MaRDI QIDQ4414738zbMATH OpenFDO

Authors Yoshihiko Futamura, Zenjiro Konishi, Robert Glück

Publication date 27 July 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2566/25660358.htm

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Program transformation system based on generalized partial computation
• Essence of generalized partial computation
• Generalized partial computation using disunification to solve constraints
• scientific article; zbMATH DE number 1254023
• scientific article; zbMATH DE number 815068

Cited in

(4)

• An investigation of Jones optimality and BTI-universal specializers
• WSDFU
• Program transformation system based on generalized partial computation
• Essence of generalized partial computation

This page was built for publication: WSDFU: Program transformation system based on generalized partial computation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4414738)