Search Results - "Programming Language Implementation"

  • Showing 1 - 8 results of 8
Refine Results
  1. 1
    Cover Image

    Natlog: a Lightweight Logic Programming Language with a Neuro-symbolic Touch by Tarau, Paul

    ISSN: 2075-2180, 2075-2180
    Published: 17.09.2021
    Get full text
    Journal Article
    Save to List
    Saved in:
  2. 2
    Cover Image

    Deep specification and proof preservation for the CoqTL transformation language by Cheng, Zheng, Tisi, Massimo

    ISSN: 1619-1366, 1619-1374
    Published: Berlin/Heidelberg Springer Berlin Heidelberg 01.10.2022
    Published in Software and systems modeling (01.10.2022)
    “…Executable engines for relational model-transformation languages evolve continuously because of language extension, performance improvement and bug fixes…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  3. 3
    Cover Image

    Quantifying and evaluating the space overhead for alternative C++ memory layouts by Sweeney, Peter F., Burke, Michael

    ISSN: 0038-0644, 1097-024X
    Published: Chichester, UK John Wiley & Sons, Ltd 01.06.2003
    Published in Software, practice & experience (01.06.2003)
    “…This paper develops a formalism that precisely characterizes when class tables are required for C++ memory layouts. A memory layout is a particular choice of…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  4. 4
    Cover Image

    The development of the HiPE system: design and experience report by Johansson, Erik, Pettersson, Mikael, Sagonas, Konstantinos, Lindgren, Thomas

    ISSN: 1433-2779, 1433-2787, 1433-2787
    Published: Heidelberg Springer Nature B.V 01.08.2003
    “…The concurrent functional programming language Erlang has been designed to ease the development of large-scale distributed soft real-time control applications…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  5. 5
    Cover Image

    Compiler to interpreter: experiences with a distributed programming language by Gebala, Robert M., McNamee, Carole M., Olsson, Ronald A.

    ISSN: 0038-0644, 1097-024X
    Published: Chichester, UK John Wiley & Sons, Ltd 25.07.2001
    Published in Software, practice & experience (25.07.2001)
    “…One interpretive approach for handling concurrency is to provide an interpreter instance for each executing language‐level process. Such an approach has mainly…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  6. 6
    Cover Image

    Implementing Dynamic-Cut in TOY by Caballero, R., García-Ruiz, Y.

    ISSN: 1571-0661, 1571-0661
    Published: Elsevier B.V 01.06.2007
    “…This paper presents the integration of the optimization known as dynamic cut within the functional-logic system TOY. The implementation automatically detects…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  7. 7
    Cover Image

    On Legality Assertions in Euclid by Wortman, D.B.

    ISSN: 0098-5589, 1939-3520
    Published: New York IEEE 01.07.1979
    Published in IEEE transactions on software engineering (01.07.1979)
    “…The design of the programming language Euclid requires that a compiler for the language produce legality assertions to aid in verification of programs written…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  8. 8
    Cover Image

    An object model for dynamic mixins by Burton, Eden, Sekerinski, Emil

    ISSN: 1477-8424, 1873-6866
    Published: Elsevier Ltd 01.01.2018
    Published in Computer languages, systems & structures (01.01.2018)
    “…•A statically typed language called mix is defined for dynamic mixin based development.•An object model used for its implementation avoids name lookup for…”
    Get full text
    Journal Article
    Save to List
    Saved in:

Search Tools: