BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × India
1 × Italy
1 × Spain
1 × The Netherlands
2 × Poland
Collaborated with:
M.Alpuente D.Romero M.Falaschi F.Frechina J.Sapiña J.Espert M.Baggi F.J.Correa
Talks about:
rewrit (5) logic (4) theori (3) trace (3) specif (2) slice (2) web (2) methodolog (1) transform (1) framework (1)

Person: Demis Ballis

DBLP DBLP: Ballis:Demis

Contributed to:

ESOP 20132013
FM 20122012
CADE 20112011
PEPM 20102010
FM 20092009
SEFM 20062006
ESOP 20032003

Wrote 7 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.
CADE-2011-AlpuenteBER #logic #slicing
Backward Trace Slicing for Rewriting Logic Theories (MA, DB, JE, DR), pp. 34–48.
PEPM-2010-AlpuenteBBF #framework
A fold/unfold transformation framework for rewrite theories extended to CCT (MA, DB, MB, MF), pp. 43–52.
FM-2009-AlpuenteBR #logic #specification #verification #web
Specification and Verification of Web Applications in Rewriting Logic (MA, DB, DR), pp. 790–805.
SEFM-2006-AlpuenteBFR #automation
A Semi-Automatic Methodology for Repairing FaultyWeb Sites (MA, DB, MF, DR), pp. 31–40.
ESOP-2003-AlpuenteBCF #functional #logic programming #source code
Correction of Functional Logic Programs (MA, DB, FJC, MF), pp. 54–68.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.