- Oracle-guided component-based program synthesis Susmit Jha Sumit Gulwani Sanjit A. Seshia Ashish Tiwari Fri 02 March 2012
- Maintaining knowledge about temporal intervals James F. Allen Fri 02 March 2012
- Functional database query languages as typed lambda calculi of fixed order (extended abstract) Gerd G. Hillebrand Paris C. Kanellakis Fri 02 March 2012
- Rewrite-based verification of XML updates Florent Jacquemard Michael Rusinowitch Fri 02 March 2012
- Fifteen years after DSC and WLSS2 what parallel computations I do today Erich L. Kaltofen Fri 02 March 2012
- Parallel sparse polynomial interpolation over finite fields Seyed Mohammad Mahdi Javadi Michael Monagan Fri 02 March 2012
- Complexity of creative telescoping for bivariate rational functions Alin Bostan Shaoshi Chen Frédéric Chyzak Ziming Li Fri 02 March 2012
- Minimizing reference count updating with deferred and anchored pointers for functional data structures Henry G. Baker Fri 02 March 2012
- Symbolic PathFinder Corina S. Păsăreanu Neha Rungta Fri 02 March 2012
- The impact of higher-order state and control effects on local relational reasoning Derek Dreyer Georg Neis Lars Birkedal Fri 02 March 2012
- Rethinking supercompilation Neil Mitchell Fri 02 March 2012
- Program verification through characteristic formulae Arthur Charguéraud Fri 02 March 2012
- VeriML Antonis Stampoulis Zhong Shao Fri 02 March 2012
- Hereditary substitutions for simple types, formalized Chantal Keller Thorsten Altenkirch Fri 02 March 2012
- Monadic second order logic on graphs with local cardinality constraints Stefan Szeider Fri 02 March 2012
- The failure detector abstraction Felix C. Freiling Rachid Guerraoui Petr Kuznetsov Fri 02 March 2012
- Factor Sviatoslav Pestov Daniel Ehrenberg Joe Groff Fri 02 March 2012
- UML in action Bernhard K. Aichernig Harald Brandl Elisabeth Jöbstl Willibald Krenn Fri 02 March 2012
- Practical affine types Jesse A. Tov Riccardo Pucella Fri 02 March 2012
- Fresh-register automata Nikos Tzevelekos Fri 02 March 2012
Library Size: 13G (12943 entries),
Last Updated: Apr 05, 2026, 21:58:59,
Build Time: N/A
