Esprit project # 881 — Forfun Formal Description of Digital and Analog Systems by means of Functional Languages
Publisher
Springer Netherlands
Reference17 articles.
1. J. Backus, “Can programming be liberated from the von Neumann style? A functional style and its algebra of programs”. Comm. ACM 21, 8, pp. 613–641 (Aug. 1978)
2. R.S. Bird, P. Wadler, Introduction to Functional Programming. Prentice-Hall (UK), Hemel Hempstead (1988)
3. R. Boute, “System semantics and formal circuit description”. IEEE Trans. Circ. and Syst., CAS-33, 12, pp. 1219–1231 (Dec. 1986)
4. R. Boute, “System semantics: principles, applications and implementation”. ACM Trans. Prog. Lang, and Syst. 10, 1, pp. 118–155 (Jan. 1988)
5. R. Boute, “System and semantic aspects of formal system description”,Microprocessing and Microprogramming 27, 1-5, pp. 155–162 (Sept. 1989)