|
© 1998 IRISA / INRIA - University of Rennes 1
|
Version 1.194
|
Tempo Specializer - Demos
A set of demos is provided with Tempo.
- context-sens: illustrates context-sensitivity of BTA.
- flow-sens: illustrates flow-sensitivity of BTA.
- Interpret: simple imperative interpreters.
- power: a simple basic example to start with.
- return-sens: illustrates return-sensitivity of BTA.
- rpc: Sun RPC implementation (on SunOS5 only).
- bpf: this code is derived from the Stanford/CMU enet packet filter (on SunOS5 only).
- cubic_splines: Glueck's cubic splines computation.
- matmult: matrix product.
- romberg: performs Romberg integration.
- cheb: computes the Chebitchev function.
- FFT: the Fast Fourier Transformation.
- new_printpower: a print with simple formating.
Most of these directories have a read-only sub-directory Source containing the required files. See the README files for more information.
MAIN
TUTOR
USER
REF
INSTALL
FAQ
LIMIT
BUGS
SUPPORT
SML
SUIF
DEMO
CONTRIB
Last modified: Mon May 4 14:22:20 MET DST 1998