Using hybrid (Lisp) functions in ASF+SDF specifications

[koorn@fwi.uva.nl (Wilco Koorn)]

Hi Jawad,

Subject: hybrid specs in ASF+SDF


First of all, please pose your "centaur questions" in English.....

About your question: ("How do I use hybrid functions in ASF+SDF?")

I think the best thing to do is to look at an example. A hybrid specification
of computations on things like integers and reals is contained in what we
call the 'numerical package' by Arie van Deursen. It contains:
	- Integers, Hybrid Integers, Reals, Hybrid Reals, and Rationals
	- Documentation describing background, explanation, etc.
The package is available by ftp.
cite:      ftp.cwi.nl
directory: pub/gipe/spec
file:      numbers.tar

For any questions about the package, contact Arie (arie@cwi.nl).

The general principles of integrating hybrid functions and non-hybrid functions 
are described in Pum's PhD thesis, ftp-able from the same cite, dir. pub/gipe, 
file Wal91.ps.Z
For any questions about theoretical issues, contact Pum Walters (pum@cwi.nl).


Bye, Wilco.