Dangos 1 - 4 canlyniadau o 4 ar gyfer chwilio '"Semantics of programming languages."', amser ymholiad: 0.02e Mireinio'r Canlyniadau
  1. 1

    A specification language for coordinated objects. gan Ciobanu, Gabriel

    Erthygl

    A specification language for coordinated objects.
  2. 2

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

    Erthygl

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

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

    Cyhoeddwyd yn Journal of the ACM
    Erthygl

    Register-machine based processes.
  4. 4

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

    Erthygl

    Refining code-design mapping with flow analysis.

Offerynnau Chwilio: