Parallel dynamic semantics of sequential programs with speculative and incremental computation

DOI10.1007/BF02366540zbMATH Open0887.68065MaRDI QIDQ1364092FDOQ1364092

A. B. Godlevskij

Publication date: 25 May 1998

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

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

zbMATH Keywords

extended PD-semanticsparallelization algorithm

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Conditional rewriting logic as a unified model of concurrency
• Computations in APS
• Title not available (Why is that?)
• Mixed computation: potential applications and problems for study
• Strategy-accurate parallel Buchberger algorithms
• History and basic features of the critical-pair/completion procedure
• Parallel computation of Gröbner bases on distributed memory machines
• Title not available (Why is that?)

Cited In (4)

• Non-speculative and upward invocation of continuations in a parallel language
• Algebra of algorithms and dynamic parallel execution of sequential programs
• Parallélisation sémantique
• Title not available (Why is that?)

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)