equal
deleted
inserted
replaced
375 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
375 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
376 <B>G4ip</B> An implementation of G4ip using the imperative language Pizza can be found |
376 <B>G4ip</B> An implementation of G4ip using the imperative language Pizza can be found |
377 <A HREF="https://nms.kcl.ac.uk/christian.urban/Prover/index.html">here</A>. |
377 <A HREF="https://nms.kcl.ac.uk/christian.urban/Prover/index.html">here</A>. |
378 <A HREF="http://pizzacompiler.sourceforge.net">Pizza</A>, written around 1996, is a conservative |
378 <A HREF="http://pizzacompiler.sourceforge.net">Pizza</A>, written around 1996, is a conservative |
379 extension of Java and a precursor of Scala. My implementation illustrates the technique of |
379 extension of Java and a precursor of Scala. My implementation illustrates the technique of |
380 success continuations in proof search. |
380 success continuations in proof search. <B>Update</B> This ancient work inspired |
|
381 <A HREF="http://rosien.net/">Adam Rosien</A> to re-surrect some parts of it in |
|
382 <A HREF="https://github.com/arosien/sequentish/blob/master/src/main/scala/net/rosien/sequentish/LJT.scala">Scala</A> [<A HREF="https://arosien.github.io/sequentish/">github</A>, |
|
383 <A HREF="https://arosien.github.io/sequentish/slides.html#/1">slides</A>] |
381 </TD> |
384 </TD> |
382 </TR> |
385 </TR> |
383 |
386 |
384 |
387 |
385 </TABLE> |
388 </TABLE> |