DETERMIN: inferring likely deterministic specifications of multithreaded programs.
Jacob BurnimKoushik SenPublished in: ICSE (1) (2010)
Keyphrases
- recursive programs
- control flow
- turing machine
- database languages
- high level
- logic programs
- formal specification
- computer programs
- black box
- provably correct
- specification language
- delay insensitive
- multi user
- finite state machines
- intermediate level
- automatic programming
- parallel processing
- fixpoint semantics
- artificial intelligence