Run-Time Semantics of a Language for Programming Social Processes.
Juan Manuel SerranoSergio SaugarPublished in: CLIMA (2008)
Keyphrases
- programming language
- denotational semantics
- specification language
- logical language
- object oriented programming
- oriented programming
- intended meaning
- highly expressive
- programming environment
- logic programming
- operational semantics
- programming language constructs
- logic programming language
- model theoretic
- definition language
- social networks
- formal language
- formal semantics
- natural language
- dynamic logic
- speech acts
- programs written
- scripting language
- formal languages
- conditional logic
- computer programs
- concurrent programming
- conceptual graphs
- action language
- java programming
- social interaction
- owl ontologies
- collective learning
- communication patterns
- default reasoning
- fixed point semantics
- object oriented
- semantic information
- disjunctive logic programming
- semantically equivalent
- language learning
- conceptual model
- predicate calculus
- dynamic aspects
- process model
- functional language
- closed world
- computer programming
- rule language