Add to ORKGThis paper presents two new graph-theoretical program representations which can be used to represent control flows and/or data flows in concurrent programs as well as sequential programs. The paper also shows some possible applications of the representations in software engineering
The semantics of programming languages lack a formal, standardized specification lan-guage. We focus...
In this paper we propose a visual language CFSL for specifying control flow semantics of programming...
Abstract. We define a novel formulation of dataflow analysis for concurrent programs, where the flow...
AbstractAn applicative language is introduced for representing concurrent programs and communicating...
This article contains a brief description of existing graphical methods for presenting multithreaded...
This paper presents a novel method for the analysis and representation of parallel program with MPI....
This paper presents some basic techniques for representation and analysis of software. We use the te...
The control flow of programs can be represented by directed graphs. In this paper we provide a unifo...
technical reportA procedural parallel process representation, known as data-driven nets is described...
This article contains a brief description of existing graphical methods for presenting multithreaded...
We propose the use of graph grammars as a theory to organize programming of highly-concurrent system...
AbstractWe give two presentations of the semantics of programs: a categorical semantics based on Pow...
AbstractA simple programming language for the description of networks of loosely coupled, communicat...
We introduce the resource calculus, a string diagrammatic language for concurrent systems. Significa...
Abstract: In this paper, functioning and interaction of distributed devices and concurrent algorithm...
The semantics of programming languages lack a formal, standardized specification lan-guage. We focus...
In this paper we propose a visual language CFSL for specifying control flow semantics of programming...
Abstract. We define a novel formulation of dataflow analysis for concurrent programs, where the flow...
AbstractAn applicative language is introduced for representing concurrent programs and communicating...
This article contains a brief description of existing graphical methods for presenting multithreaded...
This paper presents a novel method for the analysis and representation of parallel program with MPI....
This paper presents some basic techniques for representation and analysis of software. We use the te...
The control flow of programs can be represented by directed graphs. In this paper we provide a unifo...
technical reportA procedural parallel process representation, known as data-driven nets is described...
This article contains a brief description of existing graphical methods for presenting multithreaded...
We propose the use of graph grammars as a theory to organize programming of highly-concurrent system...
AbstractWe give two presentations of the semantics of programs: a categorical semantics based on Pow...
AbstractA simple programming language for the description of networks of loosely coupled, communicat...
We introduce the resource calculus, a string diagrammatic language for concurrent systems. Significa...
Abstract: In this paper, functioning and interaction of distributed devices and concurrent algorithm...
The semantics of programming languages lack a formal, standardized specification lan-guage. We focus...
In this paper we propose a visual language CFSL for specifying control flow semantics of programming...
Abstract. We define a novel formulation of dataflow analysis for concurrent programs, where the flow...