scientific article; zbMATH DE number 1022228

MaRDI QIDQ4339951zbMATH OpenFDO

Authors A. C. Reeves

Publication date 1 October 1998

Full work available at URL https://eudml.org/doc/193050

zbMATH Keywords

category theorylanguage processorsself-interpreter

Mathematics Subject Classification ID

Special categories (18B99) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)

Recommendations

• A sketch-based technique for the derivation of self-interpreters
• scientific article; zbMATH DE number 3952011
• Sketches and computation – I: basic definitions and static evaluation
• A formalism for the specification of essentially-algebraic structures in 2-categories

Cites work

• A generalization of the concept of sketch
• A partial evaluator, and its use as a programming tool
• Algebras with a Scheme of Operators
• An algebraic model for programming languages
• Can programming be liberated from the von Neumann style?
• Categorical aspects of data type constructors
• Compiler Writing System for Attribute Grammars
• CONTEXT-FREE ALGEBRAS
• Deriving a compiler from an operational semantics written in VDL
• scientific article; zbMATH DE number 3817948 (Why is no real title available?)
• scientific article; zbMATH DE number 3904807 (Why is no real title available?)
• scientific article; zbMATH DE number 3940700 (Why is no real title available?)
• scientific article; zbMATH DE number 3943000 (Why is no real title available?)
• scientific article; zbMATH DE number 3955174 (Why is no real title available?)
• scientific article; zbMATH DE number 3955179 (Why is no real title available?)
• scientific article; zbMATH DE number 3960977 (Why is no real title available?)
• scientific article; zbMATH DE number 4012855 (Why is no real title available?)
• scientific article; zbMATH DE number 4035191 (Why is no real title available?)
• scientific article; zbMATH DE number 4050960 (Why is no real title available?)
• scientific article; zbMATH DE number 4050967 (Why is no real title available?)
• scientific article; zbMATH DE number 4099537 (Why is no real title available?)
• scientific article; zbMATH DE number 3757683 (Why is no real title available?)
• scientific article; zbMATH DE number 3793435 (Why is no real title available?)
• scientific article; zbMATH DE number 30668 (Why is no real title available?)
• scientific article; zbMATH DE number 42475 (Why is no real title available?)
• scientific article; zbMATH DE number 46995 (Why is no real title available?)
• scientific article; zbMATH DE number 177776 (Why is no real title available?)
• scientific article; zbMATH DE number 193170 (Why is no real title available?)
• scientific article; zbMATH DE number 3485184 (Why is no real title available?)
• scientific article; zbMATH DE number 3524712 (Why is no real title available?)
• scientific article; zbMATH DE number 3529402 (Why is no real title available?)
• scientific article; zbMATH DE number 3613290 (Why is no real title available?)
• scientific article; zbMATH DE number 3616640 (Why is no real title available?)
• scientific article; zbMATH DE number 3640912 (Why is no real title available?)
• scientific article; zbMATH DE number 4003500 (Why is no real title available?)
• scientific article; zbMATH DE number 3798996 (Why is no real title available?)
• scientific article; zbMATH DE number 3801532 (Why is no real title available?)
• scientific article; zbMATH DE number 3895265 (Why is no real title available?)
• scientific article; zbMATH DE number 3251440 (Why is no real title available?)
• scientific article; zbMATH DE number 3311793 (Why is no real title available?)
• scientific article; zbMATH DE number 3332526 (Why is no real title available?)
• scientific article; zbMATH DE number 3342643 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• scientific article; zbMATH DE number 3423547 (Why is no real title available?)
• Mixed computation: potential applications and problems for study
• On the partial computation principle
• Projection Factorisations in Partial Evaluation
• The concept of a supercompiler
• The mobile programming system
• Topoi. The categorial analysis of logic. Rev. ed
• Universal algebra in a closed category

Cited in

(1)

• A sketch-based technique for the derivation of self-interpreters

Describes a project that uses

Uses Software

• YACC
• Refal

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