Suchergebnisse - Imperative Concurrent Programming Language

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

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

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

“… We introduce a method of reversing the execution of imperative concurrent programs …”
Volltext

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

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

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

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

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

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

Relational programming with memoization and negation / Реляционное программирование с мемоизацией и отрицанием von 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 …”
Volltext

ConCodeIt! A Comparison of Concurrency Interfaces in Block-Based Visual Robot Programming von 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 …”
Volltext

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

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

Leafy automata for higher-order concurrency

Volltext

Modular termination verification with a higher-order concurrent separation logic (Intermediate report) von 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 …”
Volltext

A Framework for Concurrent Imperative Programming von Stephan van Staden

“… The proposed framework provides a general model of concurrent imperative programming …”
Volltext

Reversible debugging of concurrent Erlang programs: Supporting imperative primitives von 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 …”
Volltext

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

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

Portable Programming with RAPID von 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 …”
Volltext

Compiler to interpreter: experiences with a distributed programming language von 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 …”
Volltext

Tableaux for constructive concurrent dynamic logic von 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 …”
Volltext

Addressing Logical Deadlocks Through Task-Parallel Language Design von 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 …”
Volltext

Design of A Concurrent Caml Light: ACCL von 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 …”
Volltext

Performance evaluation of programming languages von 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 …”
Volltext

A Model of Cooperative Threads von 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 …”
Volltext