scientific article; zbMATH DE number 1953285

MaRDI QIDQ4414738zbMATH OpenFDO

Authors Yoshihiko Futamura, Zenjiro Konishi, Robert Glück

Publication date 27 July 2003

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:

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