C. Schurmann, R. Fontana, and Y. Liao. Delphin: Functional programming with deductive systems. Available at http://cs-www.cs.yale.edu/homes/carsten/, 2002. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Twelf - Schürmann (2002) Self-citation (Schurmann) (Correct)
No context found.
Carsten Schurmann, Richard Fontana, and Yu Liao. Delphin: Functional programming with deductive systems. Submitted, 2002. 6
A Coverage Checking Algorithm for LF - Schürmann, Pfenning (2003) (5 citations) Self-citation (Schurmann) (Correct)
.... functions defined by pattern matching are strictly more expressive than schemata of primitive recursion [9] In addition to coverage checking, proof verification requires termination analysis which we do not consider here, but has previously been treated [19, 17] Related is the work on Delphin [22] where functions may be defined by pattern matching over LF terms in their full generality. Verifying that such functions represent correct proofs requires coverage checking. In the context of the Twelf system [16] coverage checking is used to verify that a given logic program covers all cases ....
C. Schurmann, R. Fontana, and Y. Liao. Delphin: Functional programming with deductive systems. Draft.
A Coverage Checking Algorithm for LF - Schürmann, Pfenning (2003) (5 citations) Self-citation (Schurmann) (Correct)
.... functions defined by pattern matching are strictly more expressive than schemata of primitive recursion [10] In addition to coverage checking proof verification requires termination analysis which we do not consider here, but has previously been treated [22, 20] Related is the work on Delphin [26] where functions may be defined by pattern matching over LF terms in their full generality. Verifying that such functions represent correct proofs requires coverage checking. In the context of the Twelf system [19] coverage checking is used to verify that a given logic program covers all cases ....
C. Schurmann, R. Fontana, and Y. Liao. Delphin: Functional programming with deductive systems. Draft.
Nominal Logic Programming - Cheney (2004) (Correct)
No context found.
C. Schurmann, R. Fontana, and Y. Liao. Delphin: Functional programming with deductive systems. Available at http://cs-www.cs.yale.edu/homes/carsten/, 2002.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC