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: Kraan:Ina
Contributed to:
1995
1994
1993
19921991Wrote 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.