- Strictness Analysis - a Practical Approach Chris Clack Simon L. Peyton Jones Wed 19 March 2014
- Lazy type inference and program analysis Chris Hankin Daniel Le Métayer Wed 19 March 2014
- An inductive approach to finding fixpoints in abstract interpretation N. Jagger Wed 19 March 2014
- Strictness analysis for higher-order functions Geoffrey L. Burn Chris Hankin Samson Abramsky Wed 19 March 2014
- Model Checking Fixed Point Logic with Chop Martin Lange Colin Stirling Wed 19 March 2014
- A Modal Fixpoint Logic with Chop Markus Muller-Olm Wed 19 March 2014
- A Higher Order Modal Fixed Point Logic Mahesh Viswanathan Ramesh Viswanathan Mon 17 March 2014
- Extended Set Constraints and Tree Grammar Abstraction of Programs Mads Rosendahl John P. Gallagher Sat 15 March 2014
- Simple Driving Techniques Mads Rosendahl Sat 15 March 2014
- Demand-Driven Higher-Order Fixpoint Iteration Mads Rosendahl Sat 15 March 2014
- Efficient strictness analysis of Haskell KristianDamm Jensen Peter Hjæresen Mads Rosendahl Sat 15 March 2014
- The Discoveries of Continuations John C. Reynolds Fri 14 March 2014
- Synthesis from Component Libraries Yoad Lustig Moshe Y. Vardi Fri 14 March 2014
- Quantitative Monadic Second-Order Logic Stephan Kreutzer Cristian Riveros Thu 13 March 2014
- Zero-Reachability in Probabilistic Multi-Counter Automata Tomáš Brázdil Stefan Kiefer Antonín Kučera Petr Novotný Joost-Pieter Katoen Wed 12 March 2014
- Minimizing Running Costs in Consumption Systems Tomáš Brázdil David Klaška Antonín Kučera Petr Novotný Wed 12 March 2014
- One-Counter Stochastic Games Tomás Brázdil Václav Brozek Kousha Etessami Wed 12 March 2014
- Approximate fixed points in abstract interpretation Chris Hankin Sebastian Hunt Wed 12 March 2014
- Approximating Term Rewriting Systems: A Horn Clause Specification and Its Implementation John P. Gallagher Mads Rosendahl Wed 12 March 2014
- Finiteness Conditions for Fixed Point Iteration Flemming Nielson Hanne Riis Nielson Wed 12 March 2014
Library Size: 13G (12984 entries),
Last Updated: Apr 23, 2026, 21:48:37,
Build Time: N/A
