| a |
| abstract interpretation | Parametric Strategy Iteration |
| amortized analysis | Towards an amortized type system for JavaScript |
| c |
| constraint | A refutation procedure for proving satisfiability of constraint specifications on XML documents |
| Coq | Machine Learning of Coq Proof Guidance: First Experiments |
| d |
| doxastic logic | PDT Logic for Stream Reasoning in Multi-agent Systems |
| e |
| epistemic logic | PDT Logic for Stream Reasoning in Multi-agent Systems |
| f |
| formal mathematics | Machine Learning of Coq Proof Guidance: First Experiments |
| i |
| interactive theorem proving | Machine Learning of Coq Proof Guidance: First Experiments |
| j |
| JavaScript type system | Towards an amortized type system for JavaScript |
| m |
| machine learning | Machine Learning of Coq Proof Guidance: First Experiments |
| mobile applications | Towards an amortized type system for JavaScript |
| p |
| parametric program analysis | Parametric Strategy Iteration |
| probabilistic logic | PDT Logic for Stream Reasoning in Multi-agent Systems |
| proof advice | Machine Learning of Coq Proof Guidance: First Experiments |
| r |
| Refutation procedure | A refutation procedure for proving satisfiability of constraint specifications on XML documents |
| resource bounds | Towards an amortized type system for JavaScript |
| resource usage | Towards an amortized type system for JavaScript |
| s |
| strategy iteration | Parametric Strategy Iteration |
| Stream Reasoning | PDT Logic for Stream Reasoning in Multi-agent Systems |
| t |
| temporal logic | PDT Logic for Stream Reasoning in Multi-agent Systems |
| type system | Towards an amortized type system for JavaScript |
| type theory | Machine Learning of Coq Proof Guidance: First Experiments |
| x |
| XML document | A refutation procedure for proving satisfiability of constraint specifications on XML documents |
| XPath pattern | A refutation procedure for proving satisfiability of constraint specifications on XML documents |
