- Towards a scalable software model checker for higher-order programs Ryosuke Sato Hiroshi Unno Naoki Kobayashi Tue 16 April 2013
- Hypercoherences: a strongly stable model of linear logic Thomas Ehrhard Tue 16 April 2013
- Model-Checking Higher-Order Programs with Recursive Types Naoki Kobayashi Atsushi Igarashi Tue 16 April 2013
- Approximate comparison of distance automata Thomas Colcombet Laure Daviaud Tue 16 April 2013
- Improving the lazy Krivine machine Daniel P. Friedman Abdulaziz Ghuloum Jeremy G. Siek Onnie Lynn Winebarger Tue 16 April 2013
- Classical logic, continuation semantics and abstract machines Th. Streicher B. Reus Tue 16 April 2013
- From Continuation Passing Style to Krivine's Abstract Machine Peter Selinger Tue 16 April 2013
- From Mathematics to Abstract Machine: A formal derivation of an executable Krivine machine Wouter Swierstra Tue 16 April 2013
- Explaining the lazy Krivine machine using explicit substitution and addresses Frédéric Lang Tue 16 April 2013
- The next 700 Krivine Machines Rémi Douence Pascal Fradet Tue 16 April 2013
- Boehm trees, Krivine machine and the taylor expansion of lambda-terms Thomas Ehrhard Laurent Regnier Tue 16 April 2013
- Model-Checking LTL with Regular Valuations for Pushdown Systems Javier Esparza Antonín Kucera Stefan Schwoon Thu 11 April 2013
- Sequentiality and strong stability A. Bucciarelli T. Ehrhard Thu 11 April 2013
- A probabilistic PDL Dexter Kozen Tue 09 April 2013
- Bottom-up beats top-down for datalog J. D. Ullman Tue 09 April 2013
- Tree regular model checking: A simulation-based approach Parosh Aziz Abdulla Axel Legay Julien d'Orso Ahmed Rezine Tue 09 April 2013
- Backward and forward bisimulation minimisation of tree automata Johanna Høgberg Andreas Maletti Jonathan May Tue 09 April 2013
- Bisimulation Minimization of Tree Automata ParoshAziz Abdulla Lisa Kaati Johanna Høgberg Tue 09 April 2013
- Computing simulations over tree automata: efficient techniques for reducing tree automata Parosh A. Abdulla Ahmed Bouajjani Lukáš Holík Lisa Kaati Tomáš Vojnar Tue 09 April 2013
- A Uniform (Bi-)Simulation-Based Framework for Reducing Tree Automata Parosh A. Abdulla Lukas Holik Lisa Kaati Tomas Vojnar Tue 09 April 2013
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
