scientific article; zbMATH DE number 1022228

zbMath0896.68094MaRDI QIDQ4339951

A. C. Reeves

Publication date: 1 October 1998

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

category theorylanguage processorsself-interpreter

Mathematics Subject Classification ID

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

Uses Software

• YACC
• Refal

Cites Work

• Topoi. The categorial analysis of logic. Rev. ed
• A generalization of the concept of sketch
• Categorical aspects of data type constructors
• Universal algebra in a closed category
• Mixed computation: potential applications and problems for study
• A partial evaluator, and its use as a programming tool
• On the partial computation principle
• The concept of a supercompiler
• An algebraic model for programming languages
• Projection Factorisations in Partial Evaluation
• CONTEXT-FREE ALGEBRAS
• Compiler Writing System for Attribute Grammars
• Can programming be liberated from the von Neumann style?
• Deriving a compiler from an operational semantics written in VDL
• The mobile programming system
• Algebras with a Scheme of Operators
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item