Infinite state model checking by abstract interpretation and program specialisation (2000)

Cached

Download Links

by Michael Leuschel , Thierry Massart
Venue:Logic-Based Program Synthesis and Transformation. Proceedings of LOPSTR’99, LNCS 1817
Citations:55 - 24 self

Active Bibliography

28 Homeomorphic embedding for online termination of symbolic methods – Michael Leuschel - 2002
26 Solving Coverability Problems of Petri Nets by Partial Deduction – Michael Leuschel, Helko Lehmann - 2000
26 Coverability of reset Petri nets and other well-structured transition systems by partial deduction – Michael Leuschel, Helko Lehmann - 2000
54 Logic program specialisation through partial deduction: Control issues – Michael Leuschel, Maurice Bruynooghe - 2002
42 Conjunctive Partial Deduction: Foundations, Control, Algorithms, and Experiments – Danny De Schreye, Robert Glück, Jesper Jørgensen, Michael Leuschel, Bern Martens, Morten Heine Sørensen - 1999
5 Partial Deduction System – Michael Leuschel - 1997
5 Logic programming and partial deduction for the verification of reactive systems: An experimental evaluation – Michael Leuschel, Thierry Massart - 2002
12 A Constraint-based Partial Evaluator for Functional Logic Programs and its Application – Laura Lafave - 1998
15 A Polyvariant Binding-Time Analysis for Off-line Partial Deduction – Maurice Bruynooghe, Michael Leuschel, Konstantinos Sagonas - 1998
4 Supervising Offline Partial Evaluation of Logic Programs using Online Techniques – Michael Leuschel, Stephen-john Craig, Dan Elphick - 2006
41 Offline specialisation in Prolog using a hand-written compiler generator – Michael Leuschel, Jesper Jørgensen - 2004
16 Efficient Local Unfolding with Ancestor Stacks for Full Prolog – Germán Puebla, Elvira Albert, Manuel Hermenegildo - 2005
5 Poly-Controlled Partial Evaluation in Practice – Claudio Ochoa - 2007
6 Sonic partial deduction – Jonathan Martin, Michael Leuschel - 1998
Type-based Homeomorphic Embedding for Online Termination – Elvira Albert, John Gallagher
3 Bottom-up Specialisation of Logic Programs – Wim Vanhoof, Danny De Schreye, Bern Martens - 1998
2 Extending Homeomorphic Embedding in the Context of Logic Programming – Michael Leuschel - 1997
A Partial Evaluation Tool for Multi-Paradigm Declarative Languages – German Vidal - 2002
8 Abstract conjunctive partial deduction using regular types and its application to model checking – Michael Leuschel, Stefan Gruner - 2001