FermaT

TwitterFacebook
Get flash to fully experience Pearltrees
SCM is a Scheme implementation conforming to Revised 5 Report on the Algorithmic Language Scheme and the IEEE P1178 specification * . Scm is written in C and runs under Amiga, Atari-ST, GNU/Linux, MacOS, MS-DOS, MS-Vista, MS-Windows, OS/2, NOS/VE, Unicos, VMS, Unix and similar systems. SCM includes Hobbit, the Scheme-to-C compiler originally written by Tanel Tammet. http://people.csail.mit.edu/jaffer/SCM.html

The SCM Implementation of Scheme

What is WPBL? "WPBL is a private block list consisting of IP addresses which connected to members' systems and delivered unsolicited bulk mail (spam)." The list is designed to be useful and effective when used by WPBL members, but may not be suitable for other uses.

WPBL - Weighted Private Block List

http://wpbl.pc9.org/

Formal methods - Formal Methods Wiki

http://formalmethods.wikia.com/wiki/Formal_methods Formal methods are mathematical techniques for developing computer-based software and hardware systems.
http://www.cse.dmu.ac.uk/STRL/ The Software Technology Research Laboratory, at De Montfort University , was set up to study, analyse and advance formal approaches to the specification, design and the evolution of computing systems with emphasis being placed on those which are used in critical applications.

Software Technology Research Laboratory

You can specify any of the bible, book, chapter or a list or range of verse and/or one or more patterns.

Software written by Martin Ward

http://www.cse.dmu.ac.uk/~mward/martin/software/index.html
[Note: the thesis was originally written using a now-obsolete proprietary word processor called Qed. I have converted the files to a crude LaTeX representation of the original using a perl script. These LaTeX files were used to generate the PostScript and PDF files.] http://www.cse.dmu.ac.uk/~mward/martin/thesis/

Martin Ward's DPhil Thesis

http://www.cse.dmu.ac.uk/~mward/fermat.html The left window shows the parse tree for the current program, the middle window shows the pretty-printed WSL code and the right window shows the transformation catalogue.

FermaT