Výsledky vyhľadávania - Imperative Concurrent Programming Language

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

“…). •Reversal of a concurrent imperative programming language that stores minimal data to undo irreversible steps…”
Získať plný text

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

“…We introduce a method of reversing the execution of imperative concurrent programs…”
Získať plný text

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

“…Concurrent C0 is an imperative programming language in the C family with session-typed message-passing concurrency…”
Získať plný text

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

“…Concurrent higher-order imperative programming languages with continuations are very flexible and allow for the implementation of sophisticated programming patterns…”
Získať plný text

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

“…Concurrent C0 is an imperative programming language in the C family with session-typed message-passing concurrency…”
Získať plný text

Relational programming with memoization and negation / Реляционное программирование с мемоизацией и отрицанием Autor 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…”
Získať plný text

ConCodeIt! A Comparison of Concurrency Interfaces in Block-Based Visual Robot Programming Autor 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…”
Získať plný text

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

“…Concurrent C0 is an imperative programming language in the C family with sessiontyped message-passing concurrency…”
Získať plný text

Leafy automata for higher-order concurrency

Získať plný text

Modular termination verification with a higher-order concurrent separation logic (Intermediate report) Autor 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…”
Získať plný text

A Framework for Concurrent Imperative Programming Autor Stephan van Staden

“…The proposed framework provides a general model of concurrent imperative programming…”
Získať plný text

Reversible debugging of concurrent Erlang programs: Supporting imperative primitives Autor 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…”
Získať plný text

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

“…A pretty wide range of concurrent programming languages have been developed over the years…”
Získať plný text

Portable Programming with RAPID Autor 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…”
Získať plný text

Compiler to interpreter: experiences with a distributed programming language Autor 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…”
Získať plný text

Tableaux for constructive concurrent dynamic logic Autor 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…”
Získať plný text

Addressing Logical Deadlocks Through Task-Parallel Language Design Autor 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…”
Získať plný text

Design of A Concurrent Caml Light: ACCL Autor 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…”
Získať plný text

Performance evaluation of programming languages Autor 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…”
Získať plný text

A Model of Cooperative Threads Autor 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…”
Získať plný text