Travelled to:1 × France
1 × Italy
Collaborated with:M.Alpuente D.Ballis J.Sapiña D.Romero
Talks about:rewrit (2) trace (2) ijulienn (1) julienn (1) analysi (1) theori (1) specif (1) slicer (1) condit (1) slice (1)
Person: Francisco Frechina
DBLP: Frechina:Francisco
Contributed to:
2013
2012Wrote 2 papers:
- ESOP-2013-AlpuenteBFS #analysis #logic #specification
- Slicing-Based Trace Analysis of Rewriting Logic Specifications with iJulienne (MA, DB, FF, JS), pp. 121–124.
- FM-2012-AlpuenteBFR #named #slicing
- Julienne: A Trace Slicer for Conditional Rewrite Theories (MA, DB, FF, DR), pp. 28–32.