Synchronous Programming with Events and Relations: the SIGNAL Language and Its Semantics.
Albert BenvenistePaul Le GuernicChristian JacquemotPublished in: Sci. Comput. Program. (1991)
Keyphrases
- temporal relations
- programming language
- intended meaning
- conceptual graphs
- specification language
- oriented programming
- logical language
- object oriented programming
- programming language constructs
- highly expressive
- operational semantics
- programming environment
- event condition action
- relational calculus
- language constructs
- relational structures
- logic programming language
- logic programming
- frequency domain
- asynchronous communication
- formal language
- model theoretic
- relational data model
- scripting language
- modal operators
- object oriented
- causal relations
- signal processing
- event detection
- logical structure
- concurrent programming
- formal semantics
- dynamic logic
- formal languages
- algebraic operations
- temporal information
- action language
- word meanings
- semantic information
- java programming
- computer programs
- relational algebra
- conditional logic
- conceptual model
- natural language
- closed world
- lexical semantics
- signal detection
- proof theory
- speech acts
- definition language