DimSum: A Decentralized Approach to Multi-language Semantics and Verification.
Michael SammlerSimon SpiesYoungju SongEmanuele D'OsualdoRobbert KrebbersDeepak GargDerek DreyerPublished in: Proc. ACM Program. Lang. (2023)
Keyphrases
- logical language
- intended meaning
- specification language
- highly expressive
- logic programming language
- operational semantics
- model theoretic
- formal language
- formal semantics
- cooperative
- programming language
- action language
- definition language
- proof theory
- denotational semantics
- deductive databases
- dynamic logic
- formal languages
- language learning
- logic programming
- natural language
- aggregate functions
- fixed point semantics
- semantically equivalent
- conditional logic
- distributed systems
- speech acts
- conceptual graphs
- multi agent
- relational structures
- owl ontologies
- uml class diagrams
- predicate calculus
- model checking
- default reasoning
- description logics
- semantic information
- multiple inheritance
- database query languages
- concurrent systems
- rule language
- language constructs
- modal operators
- agent communication