- Constructive design of a hierarchy of semantics of a transition system by abstract interpretation Patrick Cousot Wed 30 January 2013
- Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic Edmund M. Clarke E. Allen Emerson Wed 30 January 2013
- The worst-case execution-time problem---overview of methods and survey of tools Reinhard Wilhelm Jakob Engblom Andreas Ermedahl Niklas Holsti Stephan Thesing David Whalley Guillem Bernat Christian Ferdinand Reinhold Heckmann Tulika Mitra Frank Mueller Isabelle Puaut Peter Puschner Jan Staschulat Per Stenstrøm Wed 30 January 2013
- Counterexample-guided abstraction refinement for symbolic model checking Edmund Clarke Orna Grumberg Somesh Jha Yuan Lu Helmut Veith Wed 30 January 2013
- Types, abstraction, and parametric polymorphism, part 2 QingMing Ma John Reynolds Wed 30 January 2013
- Types, Abstraction and Parametric Polymorphism John C. Reynolds Wed 30 January 2013
- Continuity analysis of programs Swarat Chaudhuri Sumit Gulwani Roberto Lublinerman Wed 30 January 2013
- Software model checking Ranjit Jhala Rupak Majumdar Wed 30 January 2013
- Generalising monads to arrows John Hughes Wed 30 January 2013
- Chain-complete posets and directed sets with applications George Markowsky Wed 30 January 2013
- Call-by-Name, Call-by-Value and the lambda-Calculus Gordon Plotkin Wed 30 January 2013
- A type system equivalent to a model checker Mayur Naik Jens Palsberg Wed 30 January 2013
- Programming with Intersection Types and Bounded Polymorphism Benjamin Pierce Wed 30 January 2013
- Intersection types and bounded polymorphism Benjamin C. Pierce Wed 30 January 2013
- Type inference with expansion variables and intersection types in system E and an exact correspondence with -reduction Sébastien Carlier J. B. Wells Wed 30 January 2013
- System E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types Sébastien Carlier Jeff Polakow J. Wells A. Kfoury Wed 30 January 2013
- Principality and type inference for intersection types using expansion variables A. J. Kfoury J. B. Wells Wed 30 January 2013
- Model Checking Liveness Properties of Higher-Order Functional Programs M. Lester R. Neatherway C. -H. L. Ong S. Ramsay Wed 30 January 2013
- Tractable Constraints in Finite Semilattices Jakob Rehof Torben Æ. Mogensen Wed 30 January 2013
- Higher-order multi-parameter tree transducers and recursion schemes for program verification Naoki Kobayashi Naoshi Tabuchi Hiroshi Unno Wed 30 January 2013
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
