Skip to main content

and
  1. No Access

    Chapter and Conference Paper

    Models and transformations for nondeterministic extensions of functional programming

    Linguistic support of parallelism and program transformation systems both implicitly involve nondeterminism. As a result, referentially transparent languages are insufficiently expressive for these application...

    Thomas J. Myers, A. Toni Cohen in Foundations of Software Technology and The… (1984)