Graph-Grammar Semantics of a Higher-Order Programming Language for Distributed Systems.
Klaus BarthelmannGeorg SchiedPublished in: Dagstuhl Seminar on Graph Transformations in Computer Science (1993)
Keyphrases
- distributed systems
- programming language
- graph grammars
- higher order
- denotational semantics
- lambda calculus
- specification language
- programming language constructs
- general purpose
- object oriented
- computer programs
- context sensitive
- message passing
- distributed environment
- strongly typed
- domain specific languages
- software engineering
- high level
- conditional random fields
- operating system
- mobile agents
- context free
- semantic information
- distributed database systems
- pairwise
- formal semantics
- artificial intelligence
- data model
- operational semantics
- parameter learning
- markov random field
- peer to peer
- object oriented databases
- machine learning