Reconstructing sequential behavior from parallel behavior projections

DOI10.1016/0020-0190(83)90052-2zbMath0577.68037OpenAlexW1979611815MaRDI QIDQ1065542

Mark Weiser

Publication date: 1983

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(83)90052-2

zbMATH Keywords

regular expressionsparallelizationparallel processingprogram slicingdata-flow slicesProgram Regular Expressionsslicing algorithm

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

Related Items (1)

An approach for extracting code fragments that implement functionality from source programs

Cites Work

• Unnamed Item
• Program Slicing
• A Unified Approach to Path Problems
• The ILLIAC IV Computer

This page was built for publication: Reconstructing sequential behavior from parallel behavior projections