- Functional Pearl: Lazy Least Fixed Points in ML François Pottier Thu 20 March 2014
- Higher-order strictness analysis over non-flat domains C. Ernoult Thu 20 March 2014
- Strictness Detection in Non-flat Domains John Hughes Thu 20 March 2014
- Layered Fixed Point Logic Piotr Filipiuk Flemming Nielson Hanne Riis Nielson Thu 20 March 2014
- On the Design of Generic Abstract Interpretation Frameworks Baudouin Le Charlier Pascal Van Hentenryck Thu 20 March 2014
- Bottom-up computation of recursive programs Gérard Berry Thu 20 March 2014
- Magic Sets and Other Strange Ways to Implement Logic Programs (Extended Abstract) Francois Bancilhon David Maier Yehoshua Sagiv Jeffrey D Ullman Thu 20 March 2014
- Semantics-based Dataflow Analysis of Logic Programs Kim Marriott Harald Sondergaard Thu 20 March 2014
- A Policy Iteration Algorithm for Computing Fixed Points in Static Analysis of Programs A. Costan S. Gaubert E. Goubault M. Martel S. Putot Thu 20 March 2014
- Time Stamps for Fixed-Point Approximation Daniel Damian Thu 20 March 2014
- A Universal Top-Down Fixpoint Algorithm Baudouin L Charlier Pascal Van Hentenryck Thu 20 March 2014
- Model Checking the First-order Fragment of Higher-order Fixpoint Logic Roland Axelsson Martin Lange Wed 19 March 2014
- The Alternation Hierarchy in Fixpoint Logic with Chop is Strict Too Martin Lange Wed 19 March 2014
- Model-Checking Process Equivalences Martin Lange Etienne Lozes Manuel Vargas Guzmán Wed 19 March 2014
- Model-Checking the Higher-Dimensional Modal mu-Calculus Martin Lange Etienne Lozes Wed 19 March 2014
- Finding Fixpoints on Function Spaces Jonathan Joung Paul Hudak Wed 19 March 2014
- Strictness Analysis on Non-flat Domains Philip Wadler Wed 19 March 2014
- Efficient strictness analysis of Haskell in Haskell using abstract reduction Marko Schutz Manfred Schmidt-Schauß Sven Eric Panitz Wed 19 March 2014
- Abstract interpretation using attribute grammars Mads Rosendahl Wed 19 March 2014
- Automatic Complexity Analysis Mads Rosendahl Wed 19 March 2014
Library Size: 13G (12984 entries),
Last Updated: Apr 23, 2026, 21:48:37,
Build Time: N/A
