Search Results - Imperative Concurrent Programming Language

Reversing an imperative concurrent programming language by Hoey, James, Ulidowski, Irek

“…). •Reversal of a concurrent imperative programming language that stores minimal data to undo irreversible steps…”
Get full text

Reversing an Imperative Concurrent Programming Language by Hoey, James, Ulidowski, Irek

“…We introduce a method of reversing the execution of imperative concurrent programs…”
Get full text

Non-Blocking Concurrent Imperative Programming with Session Types by Silva, Miguel, Florido, Mário, Pfenning, Frank

“…Concurrent C0 is an imperative programming language in the C family with session-typed message-passing concurrency…”
Get full text

Mechanized relational verification of concurrent programs with continuations by Timany, Amin, Birkedal, Lars

“…Concurrent higher-order imperative programming languages with continuations are very flexible and allow for the implementation of sophisticated programming patterns…”
Get full text

Non-Blocking Concurrent Imperative Programming with Session Types by Silva, Miguel, Florido, Mário, Pfenning, Frank

“…Concurrent C0 is an imperative programming language in the C family with session-typed message-passing concurrency…”
Get full text

Relational programming with memoization and negation / Реляционное программирование с мемоизацией и отрицанием by Moiseenko, Evgenii A, Podkopaev, Anton V

“… In order to take advantages of the relational interpreter, the developer needs to define the semantics of the programming language as a relation…”
Get full text

ConCodeIt! A Comparison of Concurrency Interfaces in Block-Based Visual Robot Programming by Chung, Michael Jae-Yoon, Nakura, Mino, Neti, Sai Harshita, Lu, Anthony, Hummel, Elana, Cakmak, Maya

“… In this paper, we explore extensions to block-based visual languages to enable programming of concurrent behavior with (1…”
Get full text

Non-Blocking Concurrent Imperative Programming with Session Types by da Silva, Miguel Eduardo Pinto

“…Concurrent C0 is an imperative programming language in the C family with sessiontyped message-passing concurrency…”
Get full text

Leafy automata for higher-order concurrency

Get full text

Modular termination verification with a higher-order concurrent separation logic (Intermediate report) by Fasse, Justus, Jacobs, Bart

“…We report on intermediate results of our research on reasoning about liveness properties in addition to deep correctness properties for an imperative, concurrent programming language with a higher-order store…”
Get full text

A Framework for Concurrent Imperative Programming by Stephan van Staden

“…The proposed framework provides a general model of concurrent imperative programming…”
Get full text

Reversible debugging of concurrent Erlang programs: Supporting imperative primitives by Lami, Pietro, Lanese, Ivan, Stefani, Jean-Bernard, Sacerdoti Coen, Claudio, Fabbretti, Giovanni

“… This approach has been put into practice in CauDEr, a Causal-consistent reversible Debugger for the Erlang programming language…”
Get full text

An Abstract Analysis Framework for Synchronous Concurrent Languages based on source–to–source Transformation by Alpuente, M., Gallardo, M.M., Pimentel, E., Villanueva, A.

“…A pretty wide range of concurrent programming languages have been developed over the years…”
Get full text

Portable Programming with RAPID by Angstadt, Kevin, Wadden, Jack, Weimer, Westley, Skadron, Kevin

“… We present RAPID, a high-level programming language and combined imperative and declarative model for functionally- and performance-portable execution of sequential pattern-matching applications…”
Get full text

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

“… This paper describes the use of this approach in constructing an interpreter for an imperative, distributed programming language from an existing compiler and run…”
Get full text

Tableaux for constructive concurrent dynamic logic by Wijesekera, Duminda, Nerode, Anil

“…This is the first paper on constructive concurrent dynamic logic (CCDL). For the first time, either for concurrent or sequential dynamic logic, we give…”
Get full text

Addressing Logical Deadlocks Through Task-Parallel Language Design by Voss, Caleb

“… Viewing high-level task-parallel programming as the successor to low-level concurrent programming, it is imperative that language features offer both flexibility to avoid over-synchronization…”
Get full text

Design of A Concurrent Caml Light: ACCL by Merah, E., Chaoui, A.

“…In this paper we propose an extension of the functional programming language Caml Light called ACCL for A Concurrent Caml Light which aims to encompass functional, imperative and concurrent…”
Get full text

Performance evaluation of programming languages by Singh, Priya, Shukla, Satyam, Chandra, Subhash, Dixit, Vimal

“…In the world of computer, languages used for the purpose of communication are known as programming languages…”
Get full text

A Model of Cooperative Threads by Abadi, Martín, Plotkin, Gordon D

“…We develop a model of concurrent imperative programming with threads. We focus on a small imperative language with cooperative threads which execute without interruption until they terminate or explicitly yield control…”
Get full text