scientific article; zbMATH DE number 1942456

MaRDI QIDQ4409156zbMATH OpenFDO

Authors Olivier Danvy, Ulrik Pagh Schultz

Publication date 30 June 2003

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

Mathematics Subject Classification ID

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

Recommendations

• Lambda-lifting in quadratic time
• scientific article; zbMATH DE number 1953273
• Polynomial Time in the Parametric Lambda Calculus.
• Quadratic-time certificates in linear algebra
• An LLL algorithm with quadratic complexity
• Towards faster polynomial-time lattice reduction
• Quadratic-Time Algorithms for Normal Elements
• Computing Jacobi's theta in quasi-linear time
• scientific article; zbMATH DE number 786149

Cited in

(6)

• Lambda-dropping: Transforming recursive equations into programs with block structure
• Continuation-passing C, compiling threads to events through continuations
• Lambda-lifting in quadratic time
• scientific article; zbMATH DE number 3907750 (Why is no real title available?)
• Specification and correctness of lambda lifting This material is based upon work supported by the National Science Foundation under Grant No. 9900918.
• scientific article; zbMATH DE number 2080287 (Why is no real title available?)

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 Q4409156)