scientific article; zbMATH DE number 3943000

MaRDI QIDQ3713574zbMATH OpenFDO

Authors Valentin Turchin

Publication date 1986

zbMATH Keywords

compiler generatorsdrivingequivalence transformationprogram transformationrefalsupercompilation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Symbolic computation and algebraic computation (68W30)

Recommendations

• The concept of a supercompiler
• Supercompilation for datatypes
• A positive supercompiler
• scientific article; zbMATH DE number 1630107
• Supercompilation for Martin-Lof's type theory

Cited in

(15)

• Higher-level supercompilation as a metasystem transition
• A formal development of an efficient supercombination compiler
• scientific article; zbMATH DE number 1630107 (Why is no real title available?)
• Narrowing and rewriting logic: from foundations to applications
• Supercompilation for Martin-Lof's type theory
• Extracting the essence of distillation
• Certifying supercompilation for Martin-Löf's type theory
• Supercompilation for datatypes
• Multi-result supercompilation as branching growth of the penultimate level in metasystem transitions
• The concept of a supercompiler
• scientific article; zbMATH DE number 140244 (Why is no real title available?)
• A positive supercompiler
• scientific article; zbMATH DE number 1022228 (Why is no real title available?)
• Earman and Norton on Supertasks that Generate Indeterminism
• The next 700 program transformers

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