Automated termination analysis for logic programs with cut
- 期刊名称Theory and Practice of Logic Programming
- 作者SCHNEIDER-KAMP, PETER; GIESL, JÜRGEN; STRÖDER, THOMAS; SEREBRENIK, ALEXANDER; THIEMANN, RENÉ
- 卷第10卷
- 印刷ISSN1471-0684
- 电子ISSN1475-3081
- 文件大小582.29KB
- 发表时间2010-7
- DOI10.1017/s1471068410000165
- 页码365-381
Monotonic Abstraction in Parameterized VerificationParosh Aziz Abdulla; Giorgio Delzanno; Ahmed Rezine · 2008
Proofs as computations in linear logicGiorgio Delzanno; Maurizio Martelli · 2001
Constraint-based deductive model checkingGiorgio Delzanno; Andreas Podelski · 2001
Reachability problems in BioAmbientsGiorgio Delzanno; Gianluigi Zavattaro · 2012
PREFACEDELZANNO, GIORGIO; POTAPOV, IGOR · International Journal of Foundations of Computer Science · 2013
Model checking linear logic specificationsBOZZANO, MARCO; DELZANNO, GIORGIO; MARTELLI, MAURIZIO · Theory and Practice of Logic Programming · 2004
Parameterized verificationAbdulla, Parosh A.; Delzanno, Giorgio · International Journal on Software Tools for Technology Transfer · 2016
Deciding Reachability in Mobile Ambients with Name RestrictionGiorgio Delzanno; Roberto Montagna · 2009
SWI-PrologWIELEMAKER, JAN; SCHRIJVERS, TOM; TRISKA, MARKUS; LAGER, TORBJÖRN · Theory and Practice of Logic Programming · 2012
Probabilistic reasoning with answer setsBARAL, CHITTA; GELFOND, MICHAEL; RUSHTON, NELSON · Theory and Practice of Logic Programming · 2009
The YAP Prolog systemCOSTA, VÍTOR SANTOS; ROCHA, RICARDO; DAMAS, LUÍS · Theory and Practice of Logic Programming · 2012
Viterbi training in PRISMSATO, TAISUKE; KUBOTA, KEIICHI · Theory and Practice of Logic Programming · 2015
Unfolding for CHR programsGABBRIELLI, MAURIZIO; MEO, MARIA CHIARA; TACCHELLA, PAOLO; WIKLICKY, HERBERT · Theory and Practice of Logic Programming · 2015
Delimited continuations for prologSCHRIJVERS, TOM; DEMOEN, BART; DESOUTER, BENOIT; WIELEMAKER, JAN · Theory and Practice of Logic Programming · 2013
Greedy algorithms in DatalogGRECO, SERGIO; ZANIOLO, CARLO · Theory and Practice of Logic Programming · 2001
A tribute to Alain ColmerauerCOHEN, JACQUES · Theory and Practice of Logic Programming · 2001