Provably Correct Translation from CafeOBJ into Java.
Jittisak SenachakTakahiro SeinoKazuhiro OgataKokichi FutatsugiPublished in: SEKE (2005)
Keyphrases
- provably correct
- situation calculus
- formal methods
- programming language
- object oriented
- machine translation
- source code
- java programs
- open source
- web applications
- database applications
- object oriented programming
- machine learning
- cross language
- query translation
- development environment
- database programming
- high level