scholarly journals Joyce—A Programming Language for Distributed Systems

1987 ◽  
pp. 464-492
Author(s):  
Per Brinch Hansen
Keyword(s):  
Distributed Systems ◽  
Programming Language

scholarly journals Defining a general object model of distributed systems entities in Java

2003 ◽  
Vol 16 (2) ◽  
pp. 185-194
Author(s):  
Nenad Jovanovic ◽  
Ranko Popovic ◽  
Zoran Jovanovic
Keyword(s):  
Distributed Systems ◽  
Programming Language ◽  
Message Passing ◽  
Present Model ◽  
Heterogeneous Systems ◽  
Object Model ◽  
Java Programming ◽  
Xml Document ◽  
General Object ◽  
Model Components

This paper deals with modeling and simulation of distributed systems in Java programming language. Distributed systems consist of components which communicate and coordinate their actions by passing messages. Components of distributed systems which define some functionality are entities determined with static attributes. The paper presents general model for modeling in Java environment entities distributed systems communicate using message passing protocol. We described a way to present model components and their functional links in a form of an XML document. A model can be executed as an application and (or) an applet. Presented model can be used for modeling heterogeneous systems.

scholarly journals Gobra: Modular Specification and Verification of Go Programs

2021 ◽  
pp. 367-379
Author(s):  
Felix A. Wolf ◽  
Linard Arquint ◽  
Martin Clochard ◽  
Wytse Oortwijn ◽  
João C. Pereira ◽  
...  
Keyword(s):  
Distributed Systems ◽  
Programming Language ◽  
Message Passing ◽  
Safety Data ◽  
Separation Logic ◽  
Data Race ◽  
Static Verification ◽  
Crash Safety ◽  
Concurrent And Distributed Systems ◽  
Systems Programming

AbstractGo is an increasingly-popular systems programming language targeting, especially, concurrent and distributed systems. Go differentiates itself from other imperative languages by offering structural subtyping and lightweight concurrency through goroutines with message-passing communication. This combination of features poses interesting challenges for static verification, most prominently the combination of a mutable heap and advanced concurrency primitives.We present Gobra, a modular, deductive program verifier for Go that proves memory safety, crash safety, data-race freedom, and user-provided specifications. Gobra is based on separation logic and supports a large subset of Go. Its implementation translates an annotated Go program into the Viper intermediate verification language and uses an existing SMT-based verification backend to compute and discharge proof obligations.

A Programming Language for Distributed Systems

1986 ◽  
Vol 19 (6) ◽  
pp. 109-112
Author(s):  
J.A. Cerrada ◽  
M. Collado
Keyword(s):  
Distributed Systems ◽  
Programming Language

scholarly journals On implicit multiparadigmality of parallel programming

2021 ◽  
Author(s):  
Lidia Vasiljevna Gorodnyaya
Keyword(s):  
Parallel Computing ◽  
Distributed Systems ◽  
Parallel Programming ◽  
Programming Language ◽  
Paradigmatic Analysis ◽  
Similarities And Differences ◽  
Parallel Programming Language

The report is devoted to the results of a paradigmatic analysis of problems, means and methods of organizing parallel computing and multi-threaded programs for multiprocessor complexes and distributed systems. Paradigmatic analysis of programming language and systems allows decomposing the complexity of the tasks being solved into autonomously developed components, assessing their similarities and differences, which must be taken into account when predicting the course of application processes, as well as when planning the study and organizing the development of programs. A variety of paradigmatic characteristics inherent in the preparation and debugging of long-lived parallel computing programs are shown. A sketch of a multi-paradigm parallel programming language for educational purposes is presented.

Sign in / Sign up

Export Citation Format

Share Document