equal
deleted
inserted
replaced
281 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
281 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
282 <B>G4ip</B> An implementation of G4ip using the imperative language Pizza can be found |
282 <B>G4ip</B> An implementation of G4ip using the imperative language Pizza can be found |
283 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Prover/index.html">here</A>. |
283 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Prover/index.html">here</A>. |
284 <A HREF="http://pizzacompiler.sourceforge.net">Pizza</A>, written around 1996, is a conservative |
284 <A HREF="http://pizzacompiler.sourceforge.net">Pizza</A>, written around 1996, is a conservative |
285 extension of Java and a precursor of Scala. My implementation illustrates the technique of |
285 extension of Java and a precursor of Scala. My implementation illustrates the technique of |
286 proof seach using success continuations. |
286 success continuations in proof search. |
287 </TD> |
287 </TD> |
288 </TR> |
288 </TR> |
289 |
289 |
290 |
290 |
291 </TABLE> |
291 </TABLE> |
292 <P><!-- Created: Tue Mar 4 00:23:25 GMT 1997 --> |
292 <P><!-- Created: Tue Mar 4 00:23:25 GMT 1997 --> |
293 <!-- hhmts start --> |
293 <!-- hhmts start --> |
294 Last modified: Fri Jan 6 18:44:12 GMT 2012 |
294 Last modified: Fri Jan 6 18:44:51 GMT 2012 |
295 <!-- hhmts end --> |
295 <!-- hhmts end --> |
296 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
296 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
297 |
297 |
298 </BODY> |
298 </BODY> |
299 </HTML> |
299 </HTML> |