Výsledky vyhledávání - programming language implementation
-
1
A high-level programming-language implementation of topology optimization applied to steady-state Navier-Stokes flow
ISSN: 0029-5981, 1097-0207Vydáno: Chichester, UK John Wiley & Sons, Ltd 12.02.2006Vydáno v International journal for numerical methods in engineering (12.02.2006)“…We present a versatile high‐level programming‐language implementation of non‐linear topology optimization…”
Získat plný text
Journal Article -
2
Bousi∼Prolog: Design and implementation of a proximity-based fuzzy logic programming language
ISSN: 0957-4174, 1873-6793Vydáno: Elsevier Ltd 01.03.2023Vydáno v Expert systems with applications (01.03.2023)“…The fuzzy logic programming language Bousi∼Prolog extends Prolog with a weak unification algorithm based on proximity relations and truth degree annotations…”
Získat plný text
Journal Article -
3
A high-level programming language implementation of topology optimization applied to the acoustic-structure interaction problem
ISSN: 1615-147X, 1615-1488Vydáno: Berlin/Heidelberg Springer Berlin Heidelberg 01.12.2021Vydáno v Structural and multidisciplinary optimization (01.12.2021)“…An effective and straightforward method to implement topology optimization using high-level programming is presented…”
Získat plný text
Journal Article -
4
Programming language implementations for context-oriented self-adaptive systems
ISSN: 0950-5849, 1873-6025Vydáno: Elsevier B.V 01.03.2022Vydáno v Information and software technology (01.03.2022)“… 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…”
Získat plný text
Journal Article -
5
Feature-Sensitive Coverage for Conformance Testing of Programming Language Implementations
ISSN: 2475-1421, 2475-1421Vydáno: New York, NY, USA ACM 06.06.2023Vydáno v Proceedings of ACM on programming languages (06.06.2023)“…The conformance testing of programming language implementations is crucial to support correct and consistent execution environments…”
Získat plný text
Journal Article -
6
Idris, a general-purpose dependently typed programming language: Design and implementation
ISSN: 0956-7968, 1469-7653Vydáno: Cambridge, UK Cambridge University Press 01.09.2013Vydáno v Journal of functional programming (01.09.2013)“… In this paper, I describe the implementation of Idris, a new dependently typed functional programming language…”
Získat plný text
Journal Article -
7
Parametric Processes for the Implementation of HBIM—Visual Programming Language for the Digitisation of the Index of Masonry Quality
ISSN: 2220-9964, 2220-9964Vydáno: Basel MDPI AG 01.02.2022Vydáno v ISPRS international journal of geo-information (01.02.2022)“… 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…”
Získat plný text
Journal Article -
8
ROOT RNTuple implementation in Julia programming language
ISSN: 2100-014X, 2101-6275, 2100-014XVydáno: Les Ulis EDP Sciences 01.01.2025Vydáno v EPJ Web of conferences (01.01.2025)“…RNTuple is the upcoming primary data storage solution at the Large Hadron Collider (LHC) experiments and other high-energy physics (HEP) experiments going…”
Získat plný text
Journal Article Konferenční příspěvek -
9
Live Robot Programming: The language, its implementation, and robot API independence
ISSN: 0167-6423, 1872-7964Vydáno: Elsevier B.V 01.01.2017Vydáno v Science of computer programming (01.01.2017)“… In contrast, Live Programming tightens the feedback loop, minimizing the cognitive distance…”
Získat plný text
Journal Article -
10
The Fork95 parallel programming language: Design, implementation, application
ISSN: 0885-7458, 1573-7640Vydáno: New York, NY Plenum Press 01.02.1997Vydáno v International journal of parallel programming (01.02.1997)“…Fork95 is an imperative parallel programming language intended to express algorithms for synchronous shared memory machines (PRAM…”
Získat plný text
Journal Article -
11
Analysis of Q# Programming Language Capabilities through Implementation of a Random Number Generation Program
ISSN: 2706-5847, 2707-9619Vydáno: Zhytomyr Polytechnic State University 01.06.2024Vydáno v Tehnìčna ìnženerìâ (01.06.2024)“…This paper analyzes the capabilities of the Q# programming language through the implementation of a random number generation program…”
Získat plný text
Journal Article -
12
Towards the Design and Implementation of a Programming Language (Beex)
ISSN: 2289-8522, 2180-0650Vydáno: 01.07.2022Vydáno v International Journal of Software Engineering and Computer Systems (Pahang) (01.07.2022)“…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…”
Získat plný text
Journal Article -
13
Natlog: a Lightweight Logic Programming Language with a Neuro-symbolic Touch
ISSN: 2075-2180, 2075-2180Vydáno: 17.09.2021Vydáno v Electronic proceedings in theoretical computer science (17.09.2021)Získat plný text
Journal Article -
14
Quantum Approximate Optimization Algorithm for the Max-Cut Problem: JavaScript Programming Language Implementation
ISSN: 2199-8876Vydáno: Anhalt University of Applied Sciences 01.11.2024Vydáno v Proceedings of the International Conference on Applied Innovations in IT (01.11.2024)“…) 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…”
Získat plný text
Journal Article -
15
Abstract machines for programming language implementation
ISSN: 0167-739X, 1872-7115Vydáno: Elsevier B.V 2000Vydáno v Future generation computer systems (2000)“… language implementations, relatively little work has been done to design abstract machines in a systematic fashion…”
Získat plný text
Journal Article -
16
Are We There Yet? Simple Language Implementation Techniques for the 21st Century : PROGRAMMING LANGUAGES
ISSN: 0740-7459Vydáno: Los Alamitos, CA IEEE Computer Society 2014Vydáno v IEEE software (2014)Získat plný text
Journal Article -
17
From model to implementation: a network algorithm programming language
ISSN: 1674-733X, 1869-1919Vydáno: Beijing Science China Press 01.07.2020Vydáno v Science China. Information sciences (01.07.2020)“… By deriving motivation from industry practice, we define a novel network algorithm programming language (NAPL…”
Získat plný text
Journal Article -
18
Deep specification and proof preservation for the CoqTL transformation language
ISSN: 1619-1366, 1619-1374Vydáno: Berlin/Heidelberg Springer Berlin Heidelberg 01.10.2022Vydáno v 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…”
Získat plný text
Journal Article -
19
On the implementation of the probabilistic logic programming language ProbLog
ISSN: 1471-0684, 1475-3081Vydáno: Cambridge, UK Cambridge University Press 01.03.2011Vydáno v Theory and practice of logic programming (01.03.2011)“… Different kinds of queries can be posed to ProbLog programs. We introduce algorithms that allow the efficient execution of these queries, discuss their implementation…”
Získat plný text
Journal Article -
20
The O++ database programming language: implementation and experience
ISBN: 0818635703, 9780818635700Vydáno: IEEE Comput. Soc. Press 1993Vydáno v Data Engineering, 9th International Conference (ICDE '93) (1993)“… Ode is defined, queried and manipulated using the database programming language O++, which is based on C++. The O…”
Získat plný text
Konferenční příspěvek

