Login / Signup

DRFX: a simple and efficient memory model for concurrent programming languages.

Daniel MarinoAbhayendra SinghTodd D. MillsteinMadanlal MusuvathiSatish Narayanasamy
Published in: PLDI (2010)
Keyphrases
  • programming language
  • high level
  • object oriented
  • conceptual model
  • formal model
  • artificial intelligence
  • data structure
  • relational databases
  • software engineering
  • specification language
  • denotational semantics