scientific article

zbMATH Open0765.68019MaRDI QIDQ4038656FDOQ4038656

Anders Bondorf

Publication date: 18 May 1993

Title of this publication is not available (Why is that?)

Recommendations

• Automatic autoprojection of higher order recursive equations
• Automatic autoprojection of recursive equations with global variables and abstract data types
• Automatic construction of systems of recurrence relations
• scientific article; zbMATH DE number 3928187
• scientific article; zbMATH DE number 992825
• scientific article; zbMATH DE number 780744
• Higher-order automatic differentiation of mathematical functions
• scientific article; zbMATH DE number 434847
• scientific article; zbMATH DE number 7566054
• Publication:3474197

zbMATH Keywords

partial evaluationbinding time analysisself-applicationsemantics directed compiler generation

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

Cited In (5)

• A partial evaluator for a parallel lambda language
• Semantics-directed compilation of nonlinear patterns
• Automatic binding time analysis for a typed \(\lambda\)-calculus
• Title not available (Why is that?)
• Safety analysis versus type inference for partial types

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