The following pages link to (Q2723916):
Displayed 4 items.
- Fast offline partial evaluation of logic programs (Q2437798) (← links)
- State space analysis of Petri nets with relation-algebraic methods (Q2518607) (← links)
- Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation (Q3003492) (← links)
- Analysis of Linear Hybrid Systems in CLP (Q3617430) (← links)