
G
Get flash to fully experience Pearltrees
GPP - nothingisreal.com
On this page I offer programs developed by me as Share or Freeware for " downloading". If you should have questions, criticism or suggestions to the programs, then you can achieve me under the following E-Mail address. Much fun! My E-Mail address: windkraft@hotmail.com Table of contents: Gofolio 2.0 - the programming language for the ATARI portfolio
GOLDSPRAY
You need 3 files: Regrettably, Gödel is not supported for MS-DOS or Microsoft Windows (TM), and there are no plans for this to change in the near future. If you have a PC, and you want to try Gödel, it is recommended that you consider installing Linux . Corin Gurr has developed a S elf A pplicable G ödel (Partial) E valuator, called SAGE for short. SAGE is particularily good at specialising meta-programs. Once you have a working Gödel system, you can experiment with SAGE by downloading goedel-sage.tar.Z (200KB). Corin's thesis on SAGE may also be of interest.
The Goedel Programming Language
GOO
GOO is a new type-based prefix syntaxed language that is simple, powerful and extensible. GOO is an acronym for G eneric O bject O rientator. GOO supercedes preproto . GOO 's manual ( htm pdf ) and mail and news . Why GOO is especially object-oriented.Minigrace « A Graceful Blog
Numerous approaches to the problem of determining the correctness of computer programs have been proposed and implemented, such as dynamic and static type checking. Static typing enables earlier error checking and more efficient execution in many programs, while dynamic type systems allow for greater expressiveness and flexibility. This project presents a type system, hybrid typing, and a programming language utilizing it, Gnarly, that negotiate the space between static and dynamic typing by allowing the programmer to select which typing paradigm he or she wishes to use at the level of individual terms rather than entire languages. Furthermore, any program in Gnarly that is entirely static is provably type safe, and therefore is inherently more trustworthy than it would be otherwise.

