Výsledky vyhľadávania - "programming language implementation"

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

Získať plný text

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

“…Executable engines for relational model-transformation languages evolve continuously because of language extension, performance improvement and bug fixes…”
Získať plný text

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

“…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…”
Získať plný text

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

“…The concurrent functional programming language Erlang has been designed to ease the development of large-scale distributed soft real-time control applications…”
Získať plný text

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

“…One interpretive approach for handling concurrency is to provide an interpreter instance for each executing language‐level process. Such an approach has mainly…”
Získať plný text

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

“…This paper presents the integration of the optimization known as dynamic cut within the functional-logic system TOY. The implementation automatically detects…”
Získať plný text

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

“…The design of the programming language Euclid requires that a compiler for the language produce legality assertions to aid in verification of programs written…”
Získať plný text

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

“…•A statically typed language called mix is defined for dynamic mixin based development.•An object model used for its implementation avoids name lookup for…”
Získať plný text