6533b852fe1ef96bd12aaac1

RESEARCH PRODUCT

Graph-grammar semantics of a higher-order programming language for distributed systems

Klaus BarthelmannGeorg Schied

subject

Graph rewritingTheoretical computer scienceComputer scienceProgramming languageDistributed computingcomputer.software_genreAbstract semantic graphOperational semanticsAction semanticsDenotational semanticsWell-founded semanticsComputer Science::Programming LanguagescomputerFailure semanticsProgramming language theory

description

We will consider a new tiny, yet powerful, programming language for distributed systems, called DHOP, which has its operational semantics given as algebraic graph rewrite rules in a certain category of labeled graphs. Our approach allows to separate actions which affect several processes from local changes such as variable bindings. We also sketch how to derive an implementation from this specification.

yearjournalcountryeditionlanguage
1994-01-01
https://doi.org/10.1007/3-540-57787-4_5