The temporal semantics of concurrent programs

2005 ◽  
pp. 1-20 ◽  
Author(s):  
Amir Pnueli
Keyword(s):  
Concurrent Programs ◽  
Temporal Semantics

Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs

2021 ◽  
Vol 178 (3) ◽  
pp. 229-266
Author(s):  
Ivan Lanese ◽  
Adrián Palacios ◽  
Germán Vidal
Keyword(s):  
Programming Language ◽  
Message Passing ◽  
Concurrent Programming ◽  
Concurrent Systems ◽  
Concurrent Programs ◽  
Unified Framework ◽  
Innovative Technique ◽  
Dual Notion

Causal-consistent reversible debugging is an innovative technique for debugging concurrent systems. It allows one to go back in the execution focusing on the actions that most likely caused a visible misbehavior. When such an action is selected, the debugger undoes it, including all and only its consequences. This operation is called a causal-consistent rollback. In this way, the user can avoid being distracted by the actions of other, unrelated processes. In this work, we introduce its dual notion: causal-consistent replay. We allow the user to record an execution of a running program and, in contrast to traditional replay debuggers, to reproduce a visible misbehavior inside the debugger including all and only its causes. Furthermore, we present a unified framework that combines both causal-consistent replay and causal-consistent rollback. Although most of the ideas that we present are rather general, we focus on a popular functional and concurrent programming language based on message passing: Erlang.

scholarly journals Mechanized verification of fine-grained concurrent programs

2015 ◽  
Vol 50 (6) ◽  
pp. 77-87 ◽  
Author(s):  
Ilya Sergey ◽  
Aleksandar Nanevski ◽  
Anindya Banerjee
Keyword(s):  
Concurrent Programs ◽  
Fine Grained ◽  
Mechanized Verification

A generic approach to the static analysis of concurrent programs with procedures

2003 ◽  
Vol 38 (1) ◽  
pp. 62-73 ◽  
Author(s):  
Ahmed Bouajjani ◽  
Javier Esparza ◽  
Tayssir Touili
Keyword(s):  
Static Analysis ◽  
Concurrent Programs

Temporal comparisons, historical semantics of interaction and ‘post-war consensus’ in British Parliament: Studying time references in a deliberative environment

2021 ◽  
pp. 0961463X2110212
Author(s):  
Kirill Postoutenko ◽  
Olga Sabelfeld
Keyword(s):  
House Of Commons ◽  
Temporal Semantics ◽  
Sociopolitical Environment ◽  
Social Time ◽  
Semantics And Pragmatics ◽  
Historical Semantics ◽  
History Of ◽  
History Of Concepts ◽  
The Government ◽  
Post War

This article aims to demonstrate that the transition from the mainstream narrative to the interactional history of concepts promises tangible benefits for scholars of social time in general and temporal comparisons in particular. It is shown that the traditionally close alignment of narration with the production of historical consciousness at various levels hinders the study of time as a semantic variable perpetually contested, amended and upheld across society. Alternatively, the references to time made in public settings, allowing for more or less instant reactions (turn-taking) as well as expression of dissenting opinions (stance-taking), offer a much more representative palette of temporal semantics and pragmatics in a given sociopolitical environment. In a particularly intriguing case, the essentially deliberative venue where contestation is supported by both institutional arrangements and political reasons (British House of Commons) is put to test under circumstances commonly known as ‘the post-war consensus’ – the unspoken convention directing opposing political parties to suspend stance-taking regarding the past actions of the government during WWII, its immediate aftermath and its future prospects. As a reliable indicator of this arrangement, the contestation of temporal comparisons between relevant pasts and futures is tested in oppositions reflecting party allegiances (Conservatives vs. Labour vs. Liberals) and executive functions (government vs. opposition) between 1946 and 1952. It is shown that, notwithstanding the prevalence of non-contested statements aimed at preserving interactional coherence and pragmatic functionality of the setting, the moderately active contestation of the adversary’s temporal comparisons in the House of Commons at that time helped all parties, albeit to a different degree, to shape their own political and institutional roles as well as to delegitimize their respective adversaries.

Sign in / Sign up

Export Citation Format

Share Document