Search
Search Constraints
You searched for: Author/Creator GARCIA-CONTRERAS, ISABEL- GARCIA-CONTRERAS, ISABEL [remove] 2
- 005.115 2
- Artificial intelligence -- Computer programs -- Periodicals 2
- Constraint programming (Computer science) -- Periodicals 2
- Logic programming -- Periodicals 2
- On-the-fly assertion checking -- program development environments -- static analysis -- abstract interpretation -- incremental analysis -- logic and constraint programming 1
- program analysis -- incremental analysis -- modular analysis -- constrained Horn clauses -- abstract interpretation -- fixpoint algorithms -- logic and constraint programming 1