Goedel info needed 
Author Message
 Goedel info needed

I will be doing a presentation on the Goedel system.  I would like any
information on paradigms, syntax, abstract data types, data control, etc.
Small demonstration programs will be useful as well as an executable,
if possible.

Unfortunately, the talk is scheduled for Wed, Feb. 10, so you can disregard
this after that date.

Thanks,
Michael

--
_______________________________________________________________________________
Michael Panek               |\ /| | |\\\  |    /---- |\ /| | |     |\\\\ /----

Let's interface!            |   | | |///  |    ----/ |   | | |//// |//// ----/



Fri, 28 Jul 1995 12:08:16 GMT  
 
 [ 1 post ] 

 Relevant Pages 

1. Goedel info needed

2. Goedel language available

3. Goedel & programming languages

4. Goedel

5. Goedel Programming Language

6. ?gggerman doc's around the GOEDEL-language?

7. GOEDEL-WORKSHOP

8. Goedel-Workshop

9. Goedel release 1.4 now available

10. A Self-Applicable Partial Evaluator for Goedel

11. Goedel workshop

12. Goedel & SICStus Prolog

 

 
Powered by phpBB® Forum Software