Back to Results
First PageMeta Content
Logic in computer science / Programming language semantics / Models of computation / Causality / Determinism / Philosophy of science / Operational semantics / NP / Parallel computing / Theoretical computer science / Applied mathematics / Programming language theory


2nd Wkshp. on Determinism & Correctness in Parallel Programming (WoDet), Newport Beach, CA, Mar[removed]Toward a Formal Semantic Framework for Deterministic Parallel Programming ∗ Michael L. Scott
Add to Reading List

Document Date: 2011-04-01 17:50:55

Open Document

File Size: 137,96 KB

Share Result on Facebook

City

Newport Beach / /

/

Facility

Michael L. Scott Li Lu University of Rochester / /

IndustryTerm

computing / /

Organization

National Science Foundation / University of Rochester / /

Person

Michael L. Scott / /

Position

programmer / /

ProgrammingLanguage

Java / C++ / /

ProvinceOrState

California / /

Technology

virtual machine / Java / /

SocialTag