Automated Program Synthesis for Java Programming Language.
Mait HarfKristiina KindelVahur KotkasPeep KüngasEnn TyuguPublished in: Ershov Memorial Conference (2001)
Keyphrases
- programming language
- program synthesis
- object oriented
- general purpose
- high level
- object oriented programming
- logic programming
- strongly typed
- software engineering
- programming environment
- database languages
- java language
- data model
- computer programs
- object oriented concepts
- inductive logic programming
- high level programming language
- concurrent programming
- open source
- database systems
- database language
- abstract data types
- specification language
- knowledge base
- data mining