Showing 1 - 4 results of 4 for search '"Semantics of Programming Languages."', query time: 0.02s Refine Results
  1. 1

    A specification language for coordinated objects. by Ciobanu, Gabriel

    Article

    A specification language for coordinated objects.
  2. 2

    Evaluating and tuning a static analysis to find null pointer bugs. by Hovemeyer, David

    Article

    Evaluating and tuning a static analysis to find null pointer bugs.
  3. 3

    Register-machine based processes. by Bergstra, Jan A.

    Published in Journal of the ACM
    Article

    Register-machine based processes.
  4. 4

    Refining code-design mapping with flow analysis. by Zhang, Xiaofang

    Article

    Refining code-design mapping with flow analysis.

Search Tools: