Compiler verification meets cross-language linking via data abstraction.
Peng WangSantiago CuellarAdam ChlipalaPublished in: OOPSLA (2014)
Keyphrases
- cross language
- data abstraction
- programming language
- text retrieval
- question answering
- information access
- database management
- document collections
- document retrieval
- object oriented
- formal specification
- text categorization
- abstract data types
- model checking
- cross lingual
- cross language information retrieval
- conceptual modeling
- object oriented databases
- general purpose
- software engineering
- information systems
- high level
- information retrieval systems