Search Results - "interpreter"

Refine Results
  1. 1541
  2. 1542
  3. 1543

    Programming Languages and Systems 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023,...

    Published 2023
    Table of Contents: “…Logics for extensional, locally complete analysis via domain refinements -- Clustered Relational Thread-Modular Abstract Interpretation with Local Traces -- Adversarial Reachability for Program-level Security Analysis -- Automated Grading of Regular Expressions -- Builtin Types viewed as Inductive Families -- Pragmatic Gradual Polymorphism with References -- Modal crash types for intermittent computing -- Gradual Tensor Shape Checking -- A Type System for Effect Handlers and Dynamic Labels -- Interpreting Knowledge-based Programs -- Contextual Modal Type Theory with Polymorphic Contexts -- A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests -- Quorum Tree Abstractions of Consensus Protocols -- MAG π : Types for Failure-Prone Communication -- System $Fˆ\mu \omega$ with Context-free Session Types -- Safe Session-Based Concurrency with Shared Linear State -- Bunched Fuzz: Sensitivity for Vector Metrics -- Fast and Correct Gradient-Based Optimisation for Probabilistic Programmingvia Smoothing -- Type-safe Quantum Programming in Idris -- Automatic Alignment in Higher-Order Probabilistic Programming Languages.…”
    Link to Metadata
    Electronic eBook
  4. 1544

    XcalableMP PGAS Programming Language From Programming Model to Applications /

    Published 2021
    Subjects: “…Compilers and Interpreters.…”
    Link to Metadata
    Electronic eBook
  5. 1545

    Eva - A Novel by Carry van Bruggen Translated and with a Commentary by Jane Fenoulhet by Bruggen, Carry van

    Published 2019
    Subjects: “…Translation & interpretation bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  6. 1546
  7. 1547

    Traduire les philosophes by Olivier Bloch

    Published 2000
    Subjects: “…interprétation…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  8. 1548

    Informatica umanistica Risorse e strumenti per lo studio del lessico dei beni culturali

    Published 2017
    Subjects: “…Translation & interpretation bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  9. 1549

    Teoria e ricerca sull'apprendimento del tedesco L2 Manuale per insegnanti in formazione by Ballestracci, Sabrina

    Published 2017
    Subjects: “…Translation & interpretation bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  10. 1550

    Le droit, l'informatique et l'arbitraire

    Published 1991
    Subjects: “…interprétation…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  11. 1551

    La traducción inversa y su didáctica con soporte lexicográfico by Peñín Fernández, Natalia

    Published 2023
    Subjects: “…Translation & interpretation bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  12. 1552
  13. 1553

    Informatica umanistica Risorse e strumenti per lo studio del lessico dei beni culturali

    Published 2017
    Subjects: “…Translation & interpretation bicssc…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
  14. 1554
  15. 1555
  16. 1556
  17. 1557
  18. 1558
  19. 1559
  20. 1560