Multithreaded PreScheme 
Author Message
 Multithreaded PreScheme

I am pleased to announce the availability of a technical report titled

A Verified Compiler for Multithreaded PreScheme


William M. Farmer and John D. Ramsdell




Multithreaded PreScheme is a systems programming language for
high-assurance systems.  It is based on Vlisp PreScheme, a systems
programming language dialect of Scheme developed by the Vlisp project.
Multithreaded PreScheme is an extension of Vlisp PreScheme which
allows programs with more than one thread of control.  This document
describes the language and also a verified compiler which generates
code for MIPS-based architectures.  The two major contributions
described in this report are a proof of the correctness of code
generated for execution in the presence of multiple threads, and a new
code generator that produces substantially faster code than that
produced by the verified compiler for Vlisp PreScheme.


Tue, 28 Jul 1998 03:00:00 GMT  
 [ 1 post ] 

 Relevant Pages 

1. A multithreaded generic server for Dolphin ST

2. How to write a multithreaded web server?

3. Books about SAS/C and multithreaded programming.

4. Multithreaded DLL in LabView 6

5. Q: Multithreaded interpreters?

6. multithreaded interpereter?

7. ISE Eiffel 4.1 - Multithreaded

8. PSI-0.02 - Persistent Multithreaded CGI for Apache

9. Multithreaded Schemes and thread-local values

10. Multithreaded/Embedded Ruby?

11. Q: Multithreaded interpreters?

12. Multithreaded socket code. Request for Comments


Powered by phpBB® Forum Software