GitHub - TimJSwan89/K-Scheme: Definition of Scheme semantics in the K Framework: Recovered an original project from 2007 by {Patrick Meredith, Mark Hills, Grigore Rosu}

TimJSwan89 / K-Scheme Public

Notifications You must be signed in to change notification settings
Fork 0
Star 2

Definition of Scheme semantics in the K Framework: Recovered an original project from 2007 by {Patrick Meredith, Mark Hills, Grigore Rosu}

View license

2 stars 0 forks Branches Tags Activity

Star

Notifications

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
examples		examples
lib		lib
scheme_parser		scheme_parser
LICENSE.TXT		LICENSE.TXT
README.TXT		README.TXT
k-scheme.maude		k-scheme.maude
old-parser.py		old-parser.py

Repository files navigation

*****************************************************************
* K-Scheme README
* http://fsl.cs.uiuc.edu/K-Scheme
*****************************************************************


* Use of the definition itself (the file k-scheme.maude) 
  requries maude (maude.cs.uiuc.edu) to be installed.

* The directory examples contains all the exmaples used online.

* The directory lib contains the library for k-scheme, 
  in the file lib.scm.

* The old parser is available as old-parser.py, it has some bugs
  requiring spaces between certain tokens (such a ',').  Adding
  extra spaces should fix any errors.  It requries python to run

* The new parser is in the directory scheme_parser, it requires
  the ocaml distribution to build.  It is currently setup for
  a native build, it can be changed to use ocaml byte code by
  commenting the proper lines in the Makefile.  See
  scheme_parser/Makefile for more info.

* To run a given program p.scm:
  cat lib.scm p.scm > tmp.0
  scheme_parser/scheme_parser tmp.0 | maude