Toon 35.231 - 35.240 resultaten van 35.964 Voor zoekopdracht '"Languages."', zoektijd: 0,09s Verfijn jouw resultaten
  1. 35231

    Static analysis in datalog extensions. door Halevy, Alon Y.

    Gepubliceerd in Journal of the ACM
    Artikel

    Static analysis in datalog extensions.
  2. 35232

    Logics with aggregate operators. door Hella, Lauri

    Gepubliceerd in Journal of the ACM
    Artikel

    Logics with aggregate operators.
  3. 35233

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

    Artikel

    Objective viewpoint JDBC - Java database connectivity.
  4. 35234

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

    Gepubliceerd in Software engineering notes.
    Artikel

    Classboxes an experiment in modeling compositional abstractions using explicit contexts.
  5. 35235

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

    Gepubliceerd in Software engineering notes.
    Artikel

    A specification-based approach to reasoning about pointers.
  6. 35236

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

    Gepubliceerd in Software engineering notes.
    Artikel

    Non-null references by default in the Java modeling language.
  7. 35237

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

    Gepubliceerd in Software engineering notes.
    Artikel

    Specification and design of component-based coordination systems by integrating coordination patterns.
  8. 35238

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

    Gepubliceerd in Software engineering notes.
    Artikel

    SableSpMT a software framework for analysing speculative multithreading in Java.
  9. 35239

    Representation-independent program analysis. door Strout, Michelle Mills

    Gepubliceerd in Software engineering notes.
    Artikel

    Representation-independent program analysis.
  10. 35240

    LANCET a nifty code editing tool. door Van Put, Ludo

    Gepubliceerd in Software engineering notes.
    Artikel

    LANCET a nifty code editing tool.

Zoekinstrumenten: