Introducing concurrency in sequential Java via laws

DOI10.1016/j.ipl.2010.11.004zbMath1260.68077OpenAlexW2056327145MaRDI QIDQ1944054

Alexandre Mota, Rafael Duarte, Augusto Sampaio

Publication date: 4 April 2013

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

Full work available at URL: https://doi.org/10.1016/j.ipl.2010.11.004

zbMATH Keywords

performance evaluationparallel processingformal methodsconcurrencyprogram correctness

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Uses Software

• NINJA
• Java Grande

Cites Work

• Run-time support for the automatic parallelization of Java programs
• A constructive approach to hardware/software partitioning

This page was built for publication: Introducing concurrency in sequential Java via laws