Automated Translation of Occam to a Concurrent Logic Language.
Matthew M. HuntbachPublished in: LOPSTR (1991)
Keyphrases
- concurrent programming
- target language
- formal language
- machine translation system
- programming language
- proof theory
- comparable corpora
- language resources
- dynamic logic
- classical logic
- predicate calculus
- linear temporal logic
- formal theory
- machine translation
- parallel corpus
- lambda calculus
- modal operators
- concurrent programs
- cross language information retrieval
- intuitionistic logic
- database language
- natural language
- bilingual dictionaries
- mathematical theory
- logic programming
- language learning
- modal logic
- fully automated
- operational semantics
- source language
- computational linguistics
- order sorted
- formal logic
- highly expressive
- agent programming
- semi automated
- specification language
- nonmonotonic logics
- conditional logic
- natural deduction
- computer algebra
- translation model
- deontic logic
- cross lingual
- relational structures
- logic programming language
- fixed point semantics
- model theoretic