Statically Allocated Systems

This page was intended to look at wider aspects of statically allocated systems, but has become subverted a little into SAFL and hardware applications (keep checking for a forthcoming paper on a statically allocated version of Odersky's Funnel language though, and note the ESOP'02 paper "Finite-control mobile ambients" by Charatonik, Gordon and Talbot):

Here is a fuller list of Mycroft's publications and Mycroft's home page.

Here are the SPACE'01 slides.

Here is the current version of a draft paper ``Statically Allocated Prolog -- Hardware Byrd Boxes'', presented at UPM Madrid on its 25th anniverary.

Here are various SAFL papers in chronological order; this work was done in collaboration with Richard Sharp.
Suggested ordering: start with the CHARME'01 invited paper (the last one); for a bigger language (SAFL+) see the other CHARME'01 paper; for Co-design see the TACAS'01 paper; for compilation details see the AT\&T report or the SAS'01 paper for scheduling issues; and for background theory see the ICALP'00 paper.

Mycroft, A. and Sharp, R.W. The FLaSH Project: Resource-aware Synthesis of Declarative Specifications. [as PDF].
Proceedings of the International Workshop on Logic Synthesis 2000.
Mycroft, A. and Sharp, R.W. A Statically Allocated Parallel Functional Language. [as PDF].
Lecture Notes in Computer Science: Proc.\ 27th ICALP, vol.~1853, Springer-Verlag, 2000.
Sharp, R.W. and Mycroft, A. The FLaSH Compiler: Efficient Circuits from Functional Specifications. [as PDF].
Technical Report tr.2000.3, AT\&T Laboratories Cambridge.
Mycroft, A. and Sharp, R.W. Hardware/Software Co-Design using a Functional Language. [as PDF].
Lecture Notes in Computer Science: Proc.\ TACAS~2001---Tools and Algorithms for the Construction and Analysis of Systems. vol.~2031, Springer-Verlag, 2001. Slides. Preliminary version appeared as Computer Laboratory Technical Report 503, 2000.
Sharp, R.W. and Mycroft, A. Soft Scheduling for Hardware. [as PDF].
Lecture Notes in Computer Science: Proc.\ SAS'01, vol.~2126, Springer-Verlag, 2001.
Sharp, R.W. and Mycroft, A. A Higher-Level Language for Hardware Synthesis. [as PDF].
Lecture Notes in Computer Science: Proc.\ CHARME'01, vol.~2144, Springer-Verlag, 2001.
Mycroft, A. and Sharp, R.W. Hardware Synthesis using SAFL and Application to Processor Design (invited talk). [as PDF].
Lecture Notes in Computer Science: Proc.\ CHARME'01, vol.~2144, Springer-Verlag, 2001.
Slides.