Formalizing the Notion of Implementation

[Francois-Rene Rideau]

Dear Tunespeople,

I'm sorry that the only thing I've come up during my silence
is this petty article that I submit to your attention:
	"Formalizing the Notion of Implementation"
temporarily available FYI at
	http://www.tunes.org/~fare/tmp/implement1.ps

For those of you who're developing low-level platforms,
the property I will insist on, for it all too often lacks
from other generic low-level platforms, is SOUNDNESS:
the ability to "synchronize" the state of low-level threads
into a "stable" state compatible with high-level semantics.

Please send comments to me: anything that could make the article
more readable, more interesting, more accurate, more comprehensive,
more aware of other researches (the bibliography is lacking), etc.

PS: My next article will be on reflection and universal systems,
so as to clarify my position as to claiming that "C" was not
a universal programming language in many regards.
Indeed, I recently contacted a reknown researcher,
asking him about the existence of universal systems in his field of study,
and was greeted kindly but with lack of understanding as regards
the notion of reflection, expressiveness, and universality alike.
So don't you be sad if you have difficulties at understanding :)

PPS: those of you having studied ASM (abstract state machines),
Abstract Interpretation, or whatever, can you give tell me
which paper to cite, and whom to contact?

Regards,

[ "Faré" | VN: Уng-Vû Bân | Join the TUNES project!   http://www.tunes.org/  ]
[ FR: François-René Rideau | TUNES is a Useful, Nevertheless Expedient System ]
[ Reflection&Cybernethics  | Project for  a Free Reflective  Computing System ]
Faith, n:
	That quality which enables us to believe what we know to be untrue.