BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Spain
2 × Japan
2 × USA
Collaborated with:
A.King S.Blazy J.Brauer
Talks about:
prolog (3) semant (2) determinaci (1) increment (1) existenti (1) interpol (1) revisit (1) quantif (1) program (1) equival (1)

Person: Jael Kriener

DBLP DBLP: Kriener:Jael

Contributed to:

FLOPS 20142014
PPDP 20132013
FLOPS 20122012
CAV 20112011
ICLP 20112011
ICLP 20112011

Wrote 6 papers:

FLOPS-2014-KrienerK #prolog #revisited #semantics
Semantics for Prolog with Cut — Revisited (JK, AK), pp. 270–284.
PPDP-2013-KrienerKB #coq #prolog #proving #semantics
Proofs you can believe in: proving equivalences between Prolog semantics in Coq (JK, AK, SB), pp. 37–48.
FLOPS-2012-KrienerK
Mutual Exclusion by Interpolation (JK, AK), pp. 182–196.
CAV-2011-BrauerKK #incremental #quantifier #satisfiability
Existential Quantification as Incremental SAT (JB, AK, JK), pp. 191–207.
ICLP-2011-Kriener #logic programming #reasoning #source code
Correct Reasoning about Logic Programs (JK), pp. 280–283.
ICLP-J-2011-KrienerK #named #prolog
RedAlert: Determinacy inference for Prolog (JK, AK), pp. 537–553.

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.