Skip to search formSkip to main contentSkip to account menu

Shared Variables

Known as: APL Shared Variables, Shared variable 
Shared Variables are a feature of the programming language APL which allows APL programs running on mainframe computers to communicate with other… 
Wikipedia (opens in a new tab)

Related topics

Related topics

11 relations
.NET FrameworkAPLActiveXDatabase

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
Shared Memory Concurrent System Verification using Kronecker Algebra
The verification of multithreaded software is still a challenge. This comes mainly from the fact that the number of thread… 
Highly Cited
2009
Highly Cited
2009
2 Challenges and Experiences in Formal Development of Onboard Software
Recently, Space Systems Finland has undertaken formal Even t B development of a part of on-board software for the BepiColombo spa… 
2005
2005
Identification and Counter Abstraction for Full Virtual Symmetry
Symmetry reduction is an effective approach for dealing with the state explosion problem: when applicable, it enables exponential… 
Highly Cited
2002
Highly Cited
2002
Optimization-Oriented Global Constraints
In this paper, we propose a way of exploiting Operations Research techniques within global constraints for cost-based domain… 
2002
2002
A Notation and Logic for Mobile Computing
We define a concurrent mobile system as one where independently executing components may migrate through some space during the… 
Highly Cited
1998
Highly Cited
1998
Reasoning about implicit invocation
Implicit invocation [SN92, GN91] has become an important architectural style for large-scale system design and evolution. This… 
1997
1997
Compositional Inductive Verification of Duration Properties of Real-Time Systems
This paper proposes a method for formal real-time systems development. At high level a system is modelled as a conventional… 
1995
1995
Constructing a configurable group RPC service
Current Remote Procedure Call (RPC) services implement a variety of semantics, with many of the differences related to how… 
1994
1994
The Charm Parallel Programming Language and System: Part I - Description of Language Features
A load cell has a ring shaped deformation element with a triangular cross section, the apex of the cross section extending… 
Highly Cited
1979
Highly Cited
1979
Distributed Simulation of Networks
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)