Showing 3,201 - 3,210 results of 3,265 for search '"Programming Language."', query time: 0.03s Refine Results
  1. 3201

    A structured TCP in standard ML. by Biagioni, Edoardo

    Article

    A structured TCP in standard ML.
  2. 3202

    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. 3203

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

    Published in Journal of the ACM
    Article

    Register-machine based processes.
  4. 3204

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

    Article

    Objective viewpoint JDBC - Java database connectivity.
  5. 3205

    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. 3206

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

    Article

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

    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. 3208

    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. 3209

    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. 3210

    Representation-independent program analysis. by Strout, Michelle Mills

    Article

    Representation-independent program analysis.

Search Tools: