Parallel dynamic semantics of sequential programs with speculative and incremental computation

DOI10.1007/BF02366540MaRDI QIDQ1364092zbMATH OpenFDO

Authors A. B. Godlevskij

Publication date 25 May 1998

Published in Cybernetics and Systems Analysis (Search for Journal in Brave)

zbMATH Keywords

extended PD-semanticsparallelization algorithm

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• Algebra of algorithms and dynamic parallel execution of sequential programs
• Parallélisation sémantique
• scientific article; zbMATH DE number 3924127
• scientific article; zbMATH DE number 278828

Cites work

• scientific article; zbMATH DE number 3502789 (Why is no real title available?)
• scientific article; zbMATH DE number 1263301 (Why is no real title available?)
• scientific article; zbMATH DE number 236855 (Why is no real title available?)
• scientific article; zbMATH DE number 3299786 (Why is no real title available?)
• Computations in APS
• Conditional rewriting logic as a unified model of concurrency
• History and basic features of the critical-pair/completion procedure
• Mixed computation: potential applications and problems for study
• Parallel computation of Gröbner bases on distributed memory machines
• Strategy-accurate parallel Buchberger algorithms

Cited in

(5)

• scientific article; zbMATH DE number 1975595 (Why is no real title available?)
• Parallélisation sémantique
• Extended dynamic state and instances spawning model in IPCL
• Algebra of algorithms and dynamic parallel execution of sequential programs
• Non-speculative and upward invocation of continuations in a parallel language

Describes a project that uses

Uses Software

• APS-1
• APS

This page was built for publication: Parallel dynamic semantics of sequential programs with speculative and incremental computation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1364092)