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 × Hungary
Collaborated with:
A.Bundy D.A.Basin P.Baumann G.A.Wiggins B.L.Richards A.Smaill J.Hesketh
Talks about:
logic (5) synthesi (3) program (3) proof (3) framework (1) construct (1) transfom (1) sequent (1) mollusc (1) general (1)

Person: Ina Kraan

DBLP DBLP: Kraan:Ina

Contributed to:

KBSE 19951995
CADE 19941994
ICLP 19931993
LOPSTR 19921992
LOPSTR 19911991

Wrote 5 papers:

KBSE-1995-KraanB #case study #framework #logic #tool support #verification
Logical Frameworks as a Basis for Verification Tools: A Case Study (IK, PB), pp. 36–43.
CADE-1994-RichardsKSW #logic #named
Mollusc: A General Proof-Development Shell for Sequent-Based Logics (BLR, IK, AS, GAW), pp. 826–830.
ICLP-1993-KraanBB #logic programming #reasoning #synthesis
Middle-Out Reasoning for Logic Program Synthesis (IK, DAB, AB), pp. 441–455.
LOPSTR-1992-KraanBB #logic programming #proving #synthesis #theorem proving
Logic Program Synthesis via Proof Planning (IK, DAB, AB), pp. 1–14.
LOPSTR-1991-WigginsBKH #induction #logic programming #proving #source code #synthesis
Synthesis and Transfomation of Logic Programs from Constructive, Inductive Proof (GAW, AB, IK, JH), pp. 27–45.

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.