Mixed computation: potential applications and problems for study

DOI10.1016/0304-3975(82)90111-6zbMath0495.68011OpenAlexW2067693540MaRDI QIDQ1169808

Andrei P. Ershov

Publication date: 1982

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(82)90111-6

zbMATH Keywords

developmentprogram transformationcomputability theorypartial evaluationmanipulationprogram executioncompilation and interpretationprocessing of an incomplete informationtransformational machine

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) General topics in the theory of software (68N01)

Related Items (17)

Partial evaluation and \(\omega\)-completeness of algebraic specifications ⋮ Transformation methods and tools for design of efficient and reliable programs ⋮ Annotated bibliography on partial evaluation and mixed computation ⋮ Mixed computation of Prolog programs ⋮ Partial evaluation of metaprograms in a ``multiple worlds logic language ⋮ Parallel dynamic semantics of sequential programs with speculative and incremental computation ⋮ Explanation-based generalisation \(=\) partial evaluation ⋮ Mixed computation and compilation: New approaches to old problems ⋮ An algebra of mixed computation ⋮ Static semantics, types, and binding time analysis ⋮ Using transformations in the implementation of higher-order functions ⋮ How to invent a Prolog machine ⋮ Unnamed Item ⋮ Polyvariant mixed computation for analyzer programs ⋮ Essence of generalized partial computation ⋮ Which data types have \(\omega\)-complete initial algebra specifications? ⋮ The GST load balancing algorithm for parallel and distributed systems

Uses Software

• Refal

Cites Work

• The logic-termal equivalence is polynomial-time decidable
• A system which automatically improves programs
• A partial evaluator, and its use as a programming tool
• On the partial computation principle
• Äquivalente Transformationen für Flußdiagramme
• A synthesis of several sorting algorithms
• On Interpreter-Oriented Definitions of Programming Languages
• ALPHA—An Automatic Programming System of High Efficiency
• Incremental Computation
• Tree-Manipulating Systems and Church-Rosser Theorems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Mixed computation: potential applications and problems for study