The SCM Implementation of Scheme. SCM is a Scheme implementation conforming to Revised5 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. Hobbit generates C files whose binaries can be dynamically or statically linked with a SCM executable. SCM includes linkable modules for sequence-comparison, arrays, records, and byte-number conversions; and modules for POSIX system calls and network-sockets, readline, ncurses, and Xlib. On some platforms SCM supports unexec (developed for Emacs and bash), which dumps a executable image from a running SCM. SCM requires the SLIB Scheme Library. News Quick Start x86 MS-Windows Obtain slib-3b4-1.exe (1.1.MB) and run. i686 GNU/Linux with RPM Obtain slib-3b4-1.noarch.rpm (760.kB) and scm-5f1-1.i686.rpm (960.kB) and install. Miscellany. WPBL - Weighted Private Block List. Formal methods - Formal Methods Wiki. Formal methods are mathematical techniques for developing computer-based software and hardware systems.
Please update this page or add a new page if you know of relevant online information not included here or would like to maintain information on a particular topic. Use the comp.specification.misc newsgroup, for general formal methods queries. Please link to if you create a permanent hyperlink to this website. In case of problems, please contact Jonathan Bowen. Introduction This document contains some pointers to information on Formal Methods↑, useful for mathematically describing and reasoning about computer-based systems, available around the world on the World Wide Web (WWW). Indicates new entries. indicates a (subjectively!) Selected resources This space will be used to indicate selected new entries and developments in these formal methods pages. Individual notations, methods and tools. Software Technology Research Laboratory. Software written by Martin Ward.
[Home] [Publications] [Software] [G.K.
Chesterton] [GKC books] [GKC pictures] Contents FermaT See separate page. Bible Reference Download A perl script to look up Bible references and search for verses. Usage: ref [bible] [book] [chapter:[verse[-verse|,verse]]] {/pattern/in}* You can specify any of the bible, book, chapter or a list or range of verse and/or one or more patterns. Examples: ref John 3:16 print this famous verse ref all John 3:16 print this verse from every available bible ref jn 3: print all of chapter 3 of John's gospel ref 3:16 list chapter 3 verse 16 in each book that has one ref 3 john print a whole book ref 3 john 2 some books don't have chapter divisions ref AV 1 jn /Jesus/ list verses in 1 John in the AV which contain Jesus ref RSV /Jesus wept/ find the shortest verse in the RSV!
Bible etext files formatted for ref (download and unzip to the BIBLES directory): Kansas City Tape Decoder Download These defaults can be changed via the options. The options are: Martin Ward's DPhil Thesis. Proving Program Refinements and Transformations Martin Ward, DPhil Thesis, Oxford University, 1989 [Home] [Publications] [Software] [G.K.
Chesterton] [GKC books] [GKC pictures] Click on each heading to download a gzippedPostScript file with the full text of the chapter. [Note: the thesis was originally written using a now-obsolete proprietary word processor called Qed. Abstract In this thesis we develop a theory of program refinement and equivalence which can be used to develop practical tools for program development, analysis and modification.
The kernel language is extended by means of ``definitional transformations'' which define new concepts in terms of those already present. Title Page (PDF) Introduction (PDF) FermaT. [Home] [Publications] [Software] [G.K.
Chesterton] [GKC books] [GKC pictures] The FermaT Maintenance Environment Download fme.tar.gz (5.0 MB) The FermaT Maintenance Environment is an interactive front-end to the FermaT Program Transformation System (see below). Click here for a screenshot. Click here for the tutorial. 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. Linux Users You will need a recent version of java installed, see if necessary. Unpack the downloaded archive with the command: