Search Results - concurrent programming language implementation
-
1
Compiler to interpreter: experiences with a distributed programming language
ISSN: 0038-0644, 1097-024XPublished: Chichester, UK John Wiley & Sons, Ltd 25.07.2001Published in Software, practice & experience (25.07.2001)“… Such an approach has mainly been applied to concurrent implementations of logic and functional languages…”
Get full text
Journal Article -
2
Advanced control‐flow and concurrency in C
ISSN: 0038-0644, 1097-024XPublished: Bognor Regis Wiley Subscription Services, Inc 01.05.2021Published in Software, practice & experience (01.05.2021)“…Summary C∀ is a polymorphic, nonobject‐oriented, concurrent, backwards compatible extension of the C programming language…”
Get full text
Journal Article -
3
Implementation issues in concurrent programming languages: A framework for thread specialization
ISBN: 0599618957, 9780599618954Published: ProQuest Dissertations & Theses 01.01.1999“… Programming languages with semantic support for concurrency—such as SR, Java, Modula-3, and Ada…”
Get full text
Dissertation -
4
A comparison of three programming languages for a full-fledged next-generation sequencing tool
ISSN: 1471-2105, 1471-2105Published: London BioMed Central 03.06.2019Published in BMC bioinformatics (03.06.2019)“… We therefore investigated three alternative programming languages: Go and Java using a concurrent, parallel garbage collector on the one hand, and C++…”
Get full text
Journal Article -
5
Integrating Logic Rules with Everything Else, Seamlessly
ISSN: 1471-0684, 1475-3081Published: Cambridge Cambridge University Press 01.07.2023Published in Theory and practice of logic programming (01.07.2023)“… We have defined a formal semantics of the language, implemented a prototype compiler that builds on an object-oriented language that supports concurrent and distributed programming and on an…”
Get full text
Journal Article -
6
User accessible reply capabilities in invoking and servicing operations
ISSN: 1532-0626, 1532-0634Published: Blackwell Publishing Ltd 10.12.2015Published in Concurrency and computation (10.12.2015)“…Summary Many message passing languages and packages include some form of synchronous invocation…”
Get full text
Journal Article -
7
A Concurrent Object-Oriented Programming Language and its Distributed Implementation
ISBN: 9780818621130, 0818621133Published: IEEE 1990Published in Proceedings of the Fifth Distributed Memory Computing Conference : April 8-12, 1990, Charleston, South Carolina (1990)Get full text
Conference Proceeding -
8
Term graph rewriting as a specification and implementation framework for concurrent object-oriented programming languages
ISBN: 0818671777, 9780818671777Published: IEEE 1995Published in 1995 programming models for massively parallel computers : proceedings, October 9-12, 1995, Berlin, Germany (1995)“… of reference in the design and implementation of declarative and semi-declarative programming languages especially suited for distributed architectures…”
Get full text
Conference Proceeding -
9
Using Category Theory to Verify Implementation Against Design in Concurrent Systems
ISSN: 1877-0509, 1877-0509Published: Elsevier B.V 2015Published in Procedia computer science (2015)“…The research has shown that process-oriented programming languages provide a suitable means for developing concurrent systems…”
Get full text
Journal Article -
10
SIR: inter-program concurrency support for SR programs
ISSN: 1477-8424, 1873-6866Published: Elsevier Ltd 01.12.2002Published in Computer languages, systems & structures (01.12.2002)“…This paper presents synchronizing interoperable resources (SIR). SIR extends to multi-program environments the concurrent communication mechanisms in the SR concurrent programming language…”
Get full text
Journal Article -
11
Balinda C++: run-time support for concurrent object-oriented language
ISBN: 0769502318, 9780769502311ISSN: 1087-4089Published: IEEE 1999Published in Proceedings / International Symposium on Parallel Architectures, Algorithms, and Networks (ISPAN) (1999)“…Run-time systems are critical to the implementation of concurrent object oriented programming languages…”
Get full text
Conference Proceeding Journal Article -
12
An implementation of the SANE Virtual Processor using POSIX threads
ISSN: 1383-7621, 1873-6165Published: Amsterdam Elsevier B.V 01.03.2009Published in Journal of systems architecture (01.03.2009)“…The SANE Virtual Processor (SVP) is an abstract concurrent programming model that is both deadlock free and supports efficient implementation…”
Get full text
Journal Article -
13
Sleptsov Net Computing resolves problems of modern supercomputing revealed by Jack Dongarra in his Turing Award talk in November 2022
ISSN: 1744-5760, 1744-5779Published: Abingdon Taylor & Francis 04.07.2023Published in International journal of parallel, emergent and distributed systems (04.07.2023)“…% for the best supercomputer Frontier. Born in Ukraine paradigm of Sleptsov net computing resolves this problem with the computing memory hardware implementation of an entirely graphical language of concurrent programming supplied…”
Get full text
Journal Article -
14
Inter-entry selection control mechanisms: Implementation and evaluation
ISSN: 0096-0551Published: Oxford Elsevier Ltd 01.12.1996Published in Computer languages (01.12.1996)“…Inter-process communication is achieved in many concurrent programming languages through message entries…”
Get full text
Journal Article -
15
Reversing an imperative concurrent programming language
ISSN: 0167-6423, 1872-7964Published: Elsevier B.V 01.11.2022Published in Science of computer programming (01.11.2022)“…). •Reversal of a concurrent imperative programming language that stores minimal data to undo irreversible steps…”
Get full text
Journal Article -
16
RJ: a Java package providing JR-like concurrent programming
ISSN: 0038-0644, 1097-024XPublished: Bognor Regis Blackwell Publishing Ltd 01.05.2016Published in Software, practice & experience (01.05.2016)“…Summary The JR concurrent programming language extends Java with a richer concurrency model, by adding several new types and statements…”
Get full text
Journal Article -
17
Statistical software for analyzing the health effects of multiple concurrent exposures via Bayesian kernel machine regression
ISSN: 1476-069X, 1476-069XPublished: London BioMed Central 20.08.2018Published in Environmental health (20.08.2018)“…Background Estimating the health effects of multi-pollutant mixtures is of increasing interest in environmental epidemiology. Recently, a new approach for…”
Get full text
Journal Article -
18
The deevolution of concurrent logic programming languages
ISSN: 0743-1066, 1873-5789Published: New-York, NY Elsevier Inc 01.05.1995Published in The journal of logic programming (01.05.1995)“…This article surveys the field of implementation of concurrent logic programming languages…”
Get full text
Journal Article -
19
Programming Parallelism on FPGAs with Eclat
ISSN: 0885-7458, 1573-7640Published: New York Springer US 01.08.2025Published in International journal of parallel programming (01.08.2025)“…Eclat is a general-purpose OCaml -like programming language with synchronous semantics for designing reactive hardware applications on FPGAs…”
Get full text
Journal Article -
20
Pict correctness revisited
ISSN: 0304-3975, 1879-2294Published: Elsevier B.V 06.02.2009Published in Theoretical computer science (06.02.2009)“… -calculus terms are specified via an abstract machine. An important property of any concurrent programming language implementation is the fair execution of threads…”
Get full text
Journal Article

