Results 11 to 20 of about 858 (22)
Logic Programming Applications: What Are the Abstractions and Implementations?
, 2018 This article presents an overview of applications of logic programming, classifying them based on the abstractions and implementations of logic languages that support the applications. The three key abstractions are join, recursion, and constraint. Their
Liu, Yanhong A.
core +1 more source
Microgrid - The microthreaded many-core architecture [PDF]
, 2013 Traditional processors use the von Neumann execution model, some other processors in the past have used the dataflow execution model. A combination of von Neuman model and dataflow model is also tried in the past and the resultant model is referred as ...
Uddin, Irfan
core
An Integrated Development Environment for Declarative Multi-Paradigm Programming
, 2001 In this paper we present CIDER (Curry Integrated Development EnviRonment), an analysis and programming environment for the declarative multi-paradigm language Curry.
Hanus, Michael, Koj, Johannes
core +2 more sources
Characterizing traits of coordination
, 2013 How can one recognize coordination languages and technologies? As this report shows, the common approach that contrasts coordination with computation is intellectually unsound: depending on the selected understanding of the word "computation", it either ...
Poss, Raphael 'kena'
core
Thread extraction for polyadic instruction sequences [PDF]
, 2008 In this paper, we study the phenomenon that instruction sequences are split into fragments which somehow produce a joint behaviour. In order to bring this phenomenon better into the picture, we formalize a simple mechanism by which several instruction ...
Bergstra, J. A., Middelburg, C. A.
core +4 more sources
Strategic term rewriting and its application to a VDM-SL to SQL conversion [PDF]
, 2005 We constructed a tool, called VooDooM, which converts datatypes in Vdm-sl into Sql relational data models. The conversion involves transformation of algebraic types to maps and products, and pointer introduction.
Alves, Tiago Miguel Laureano +3 more
core
, 2004 A grammar formalism based upon CHR is proposed analogously to the way Definite Clause Grammars are defined and implemented on top of Prolog. These grammars execute as robust bottom-up parsers with an inherent treatment of ambiguity and a high flexibility
Christiansen, Henning
core
Survey on Combinatorial Register Allocation and Instruction Scheduling
, 2018 Register allocation (mapping variables to processor registers or memory) and instruction scheduling (reordering instructions to increase instruction-level parallelism) are essential tasks for generating efficient assembly code in a compiler.
Lozano, Roberto Castañeda +1 more
core
Verifying Concurrent Stacks by Divergence-Sensitive Bisimulation
The verification of linearizability -- a key correctness criterion for concurrent objects -- is based on trace refinement whose checking is PSPACE-complete. This paper suggests to use \emph{branching} bisimulation instead.
Katoen, Joost-Pieter +2 more
core
Understanding generative AI output with embedding models. [PDF]
Sci AdvVargas M +4 more
europepmc +1 more source