Showing 3,191 - 3,200 results of 3,253 for search '"PROGRAMMING LANGUAGES."', query time: 0.02s Refine Results
  1. 3191

    A structured TCP in standard ML. by Biagioni, Edoardo

    Article

    A structured TCP in standard ML.
  2. 3192

    BPF+ exploiting global data-flow optimization in a generalized packet filter architecture. by Begel, Andrew

    Article

    BPF+ exploiting global data-flow optimization in a generalized packet filter architecture.
  3. 3193

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

    Published in Journal of the ACM
    Article

    Register-machine based processes.
  4. 3194

    Objective viewpoint JDBC - Java database connectivity. by Henry, Kevin

    Article

    Objective viewpoint JDBC - Java database connectivity.
  5. 3195

    Classboxes an experiment in modeling compositional abstractions using explicit contexts. by Lumpe, Markus

    Article

    Classboxes an experiment in modeling compositional abstractions using explicit contexts.
  6. 3196

    A specification-based approach to reasoning about pointers. by Kulczycki, Gregory

    Article

    A specification-based approach to reasoning about pointers.
  7. 3197

    Non-null references by default in the Java modeling language. by Chalin, Patrice

    Article

    Non-null references by default in the Java modeling language.
  8. 3198

    Specification and design of component-based coordination systems by integrating coordination patterns. by Pérez-Serrano, Pedro L.

    Article

    Specification and design of component-based coordination systems by integrating coordination patterns.
  9. 3199

    SableSpMT a software framework for analysing speculative multithreading in Java. by Pickett, Christopher J. F.

    Article

    SableSpMT a software framework for analysing speculative multithreading in Java.
  10. 3200

    Representation-independent program analysis. by Strout, Michelle Mills

    Article

    Representation-independent program analysis.

Search Tools: