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

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

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

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

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

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

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

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

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

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

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

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

Engineering Grammar-based Type Checking for Graph Rewriting Languages by Yamamoto, Naoki, Ueda, Kazunori

“…The ability to handle evolving graph structures is important both for programming languages and modeling languages…”
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

Leafy Automata for Higher-Order Concurrency by Dixon, Alex, Lazić, Ranko, Murawski, Andrzej S, Walukiewicz, Igor

“…Finitary Idealized Concurrent Algol (FICA) is a prototypical programming language combining functional, imperative, and concurrent computation…”
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

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

The Promises of Functional Programming by Hinsen, Konrad

“… However, mastering it requires some effort. This article's purpose is to explain what functional programming is and how it differs from traditional imperative programming…”
Get full text