- Exact flow analysis Christian Mossin Mon 28 January 2013
- Complexity of Model Checking Recursion Schemes for Fragments of the Modal Mu-Calculus Naoki Kobayashi C.-H. Luke Ong Mon 28 January 2013
- Environmental bisimulations for higher-order languages Davide Sangiorgi Naoki Kobayashi Eijiro Sumii Mon 28 January 2013
- A Practical Linear Time Algorithm for Trivial Automata Model Checking of Higher-Order Recursion Schemes Naoki Kobayashi Mon 28 January 2013
- Untyped Recursion Schemes and Infinite Intersection Types Takeshi Tsukada Naoki Kobayashi Mon 28 January 2013
- Types and Recursion Schemes for Higher-Order Program Verification Naoki Kobayashi Mon 28 January 2013
- Complexity of Model Checking Recursion Schemes for Fragments of the Modal Mu-Calculus Naoki Kobayashi C. Ong Mon 28 January 2013
- Program certification by higher-order model checking Naoki Kobayashi Mon 28 January 2013
- Verifying higher-order functional programs with pattern-matching algebraic data types C.-H. Luke Ong Steven James Ramsay Mon 28 January 2013
- A finite semantics of simply-typed lambda terms for infinite runs of automata Klaus Aehlig Mon 28 January 2013
- Model-checking higher-order functions Naoki Kobayashi Mon 28 January 2013
- Resource usage analysis Atsushi Igarashi Naoki Kobayashi Mon 28 January 2013
- Types and higher-order recursion schemes for verification of higher-order programs Naoki Kobayashi Mon 28 January 2013
- Programming languages, natural languages, and mathematics Peter Naur Sun 27 January 2013
- Flow diagrams, turing machines and languages with only two formation rules Corrado Bøhm Giuseppe Jacopini Sun 27 January 2013
- Abstract Interpretation Frameworks Patrick Cousot Radhia Cousot Sat 26 January 2013
- Understanding code mobility G.P. Picco Thu 24 January 2013
- Is Code Still Moving Around Looking Back at a Decade of Code Mobility Antonio Carzaniga Gian Pietro Picco Giovanni Vigna Thu 24 January 2013
- A New Approach to Abstract Syntax with Variable Binding Murdoch J. Gabbay Andrew M. Pitts Tue 22 January 2013
- Adding Nesting Structure to Words Rajeev Alur P. Madhusudan Tue 22 January 2013
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
