Different Maps for Different Uses. A Program Transformation for Intermediate Verification Languages.
Daniel DietschMatthias HeizmannJochen HoenickeAlexander NutzAndreas PodelskiPublished in: CoRR (2019)
Keyphrases
- intermediate representations
- symbolic execution
- computer programs
- expressive power
- hardware designs
- static analysis
- model checking
- multi lingual
- cross lingual
- formal verification
- java bytecode
- case study
- language independent
- programming language
- databases
- programming environment
- english text
- high level
- concurrent systems
- programs written
- information retrieval