Computations in APS

DOI10.1016/0304-3975(93)90343-RzbMath0783.68064OpenAlexW2074329897MaRDI QIDQ1311970

V. Pereyra

Publication date: 19 January 1994

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

Full work available at URL: https://doi.org/10.1016/0304-3975(93)90343-r

zbMATH Keywords

algebraic programming system

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) General topics in the theory of software (68N01)

Related Items (20)

Algebraic programming: Methods and tools ⋮ Basic paradigms of programming ⋮ Parallel dynamic semantics of sequential programs with speculative and incremental computation ⋮ Parallelization of the Buchberger algorithm ⋮ Hardware simulation in distributed computing systems: Methods and tools ⋮ Paradigm of software component dictionaries for software development ⋮ Glushkov's algorithmic algebras and automated parallel computing design ⋮ Glushkov's evidence algorithm ⋮ Unnamed Item ⋮ An automatic method for the dynamic construction of abstractions of states of a formal model ⋮ Parallel inference search in logical calculus based on the algebraic programming system ⋮ Tools for simulation of parallel computations in a system of algebraic programming ⋮ Systems specification by basic protocols ⋮ Translation of algebraic programs into executable codes ⋮ Objects in algebraic programming system ⋮ Implementation of numerical-analytical approximation methods for functions defined by ordinary differential equations ⋮ The development of a partial evaluator for extended lambda calculus ⋮ Theorem proving in a mathematical information environment ⋮ The evidence algorithm and problems of representation and processing of mathematical computer knowledge ⋮ Computations in APS

Uses Software

• APS-1
• APS

Cites Work

• Programming in equational logic: Beyond strong sequentiality
• Rewriting techniques and applications. Bordeaux, France, May 25--27, 1987. Proceedings. (2nd International Conference)
• REVEUR-3: The implementation of a general completion procedure parameterized by built-in theories and strategies
• Computations in APS
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Computations in APS