Search Results - programming language implementation

A high-level programming-language implementation of topology optimization applied to steady-state Navier-Stokes flow by Olesen, Laurits Højgaard, Okkels, Fridolin, Bruus, Henrik

“…We present a versatile high‐level programming‐language implementation of non‐linear topology optimization…”
Get full text

Bousi∼Prolog: Design and implementation of a proximity-based fuzzy logic programming language by Julián-Iranzo, Pascual, Sáenz-Pérez, Fernando

“…The fuzzy logic programming language Bousi∼Prolog extends Prolog with a weak unification algorithm based on proximity relations and truth degree annotations…”
Get full text

A high-level programming language implementation of topology optimization applied to the acoustic-structure interaction problem by Kook, Junghwan, Chang, Jin Hyun

“…An effective and straightforward method to implement topology optimization using high-level programming is presented…”
Get full text

Programming language implementations for context-oriented self-adaptive systems by Cardozo, Nicolás, Mens, Kim

“… as between the components providing adaptations. We use three implementation techniques for context-oriented programming languages to assess their appropriateness to foster self-adaptive systems…”
Get full text

Feature-Sensitive Coverage for Conformance Testing of Programming Language Implementations by Park, Jihyeok, Youn, Dongjun, Lee, Kanguk, Ryu, Sukyoung

“…The conformance testing of programming language implementations is crucial to support correct and consistent execution environments…”
Get full text

Idris, a general-purpose dependently typed programming language: Design and implementation by BRADY, EDWIN

“… In this paper, I describe the implementation of Idris, a new dependently typed functional programming language…”
Get full text

Parametric Processes for the Implementation of HBIM—Visual Programming Language for the Digitisation of the Index of Masonry Quality by Calvano, Michele, Martinelli, Letizia, Calcerano, Filippo, Gigliarelli, Elena

“… The purpose of the research is the development of a digital workflow of parametric modelling for the analysis and conservation of historical buildings, by applying visual programming language (VPL…”
Get full text

ROOT RNTuple implementation in Julia programming language by Ling, Jerry, Gál, Tamás

“…RNTuple is the upcoming primary data storage solution at the Large Hadron Collider (LHC) experiments and other high-energy physics (HEP) experiments going…”
Get full text

Live Robot Programming: The language, its implementation, and robot API independence by Campusano, Miguel, Fabry, Johan

“… In contrast, Live Programming tightens the feedback loop, minimizing the cognitive distance…”
Get full text

The Fork95 parallel programming language: Design, implementation, application by Keßler, Christoph W., Seidl, Helmut

“…Fork95 is an imperative parallel programming language intended to express algorithms for synchronous shared memory machines (PRAM…”
Get full text

Analysis of Q# Programming Language Capabilities through Implementation of a Random Number Generation Program by D.O. Sapozhnyk

“…This paper analyzes the capabilities of the Q# programming language through the implementation of a random number generation program…”
Get full text

Towards the Design and Implementation of a Programming Language (Beex) by Chete, Fidelis, Ikeh, Obinna

“…Software Engineers, Computer Scientists, and Software Experts alike are faced to decide which programming language is best suited for a certain purpose as the use of programming languages grows…”
Get full text

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

Get full text

Quantum Approximate Optimization Algorithm for the Max-Cut Problem: JavaScript Programming Language Implementation by Dmytro Sapozhnyk

“…) for the Max-Cut problem using the JavaScript programming language. The Max-Cut issue, which involves partitioning the vertices of a graph into two subsets such that the…”
Get full text

Abstract machines for programming language implementation by Diehl, Stephan, Hartel, Pieter, Sestoft, Peter

“… language implementations, relatively little work has been done to design abstract machines in a systematic fashion…”
Get full text

Are We There Yet? Simple Language Implementation Techniques for the 21st Century : PROGRAMMING LANGUAGES by MARR, Stefan, PAPE, Tobias, DE MEUTER, Wolfgang

Get full text

From model to implementation: a network algorithm programming language by Wang, Jian, An, Jie, Chen, Mingshuai, Zhan, Naijun, Wang, Lulin, Zhang, Miaomiao, Gan, Ting

“… By deriving motivation from industry practice, we define a novel network algorithm programming language (NAPL…”
Get full text

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

“…Executable engines for relational model-transformation languages evolve continuously because of language extension, performance improvement and bug fixes…”
Get full text

On the implementation of the probabilistic logic programming language ProbLog by KIMMIG, ANGELIKA, DEMOEN, BART, DE RAEDT, LUC, COSTA, VÍTOR SANTOS, ROCHA, RICARDO

“… Different kinds of queries can be posed to ProbLog programs. We introduce algorithms that allow the efficient execution of these queries, discuss their implementation…”
Get full text

The O++ database programming language: implementation and experience by Agrawal, R., Dar, S., Gehani, N.

“… Ode is defined, queried and manipulated using the database programming language O++, which is based on C++. The O…”
Get full text