FSM-Hume: Programming resource-limited systems using bounded automata

Proceedings of the ACM Symposium on Applied Computing

Volumn 2, Issue , 2004, Pages 1455-1461

  Michaelson, Greg ^a   Hammond, Kevin ^b   Serot, Jocelyn ^c  

^a HERIOT WATT UNIVERSITY   (United Kingdom)

^b UNIVERSITY OF ST ANDREWS   (United Kingdom)

^c UNIVERSITÉ CLERMONT AUVERGNE   (France)

Author keywords

Finite state automata; Functional language; Multi process simulation

Indexed keywords

BOOLEAN ALGEBRA; COMPUTATIONAL METHODS; COMPUTER SIMULATION; CONCURRENT ENGINEERING; CONSTRAINT THEORY; EMBEDDED SYSTEMS; FINITE AUTOMATA; REAL TIME SYSTEMS; SYSTEMS ANALYSIS; VECTORS;

FUNCTIONAL LANGUAGES; LINEAR BOUNDED AUTOMATA; MULTI-PROCESS SIMULATION; REAL-TIME SIMULATIONS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 2442528883     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (15)

1. T. Amnell, E. Fersman, L. Mokrushin, P. Pettersson, and W. Yi. Times: A tool for modelling and implementation of embedded systems. In Proc. 8th Intl. Conf. on Tools and Algs. for the Construction and Analysis of Systems, pages 460-464. Springer-Verlag LNCS 2280, 2002.
2. G. Berry. The Foundations of Esterel. In Proof, Language, and Interaction. MIT Press, 2000.
3. W. S. Brainerd and L. H. Landweber. Theory of Computation. Wiley, 1974.
4. K. Hammond and G. Michaelson. Predictable Space Behaviour in FSM-Hume. In Proc. 2002 Intl. Workshop on Implementation of Functional Languages (IFL '02), Madrid, Spain. Springer-Verlag LNCS 2670, Sep. 2002.
5. K. Hammond and G. Michaelson. Hume: a Domain-Specific Language for Real-Time Embedded Systems. In Proc. 2003 Intl. Conf. on Generative Programming and Component Engineering, - GPCE 2003, Erfurt, Germany, pages 37-56. Springer-Verlag LNCS 2830, Sep. 2003.
6. K. Hammond and P. Vasconcelos. Inferring Costs for Recursive, Polymorphic and Higher-Order Programs. In submitted to 2004 European Symp. on Programming (ESOP 2004), 2004.
7. D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8(3):231-274, June 1987.
8. M. Hofmann. A type system for bounded space and functional in-place update. In European Symposium on Programming (ESOP 2000). Springer-Verlag LNCS, 2000.
9. G. J. Holzmann. The Spin Model Checker: Primer and Reference Manual. Addison-Wesley, 2004.
10. J. E. Hopcroft and J. D. Ullman. Formal Langs, and their Relation to Automata. Addison-Wesley, 1969.
11. T. Hune, K. G. Larsen, and P. Pettersson. Guided Synthesis of Control Programs Using UPPAAL. In Proc. IEEE ICDCS Intl. Workshop on Distributed Systems Verification and Validation, pages E15-E22, 2000.
12. A. Jeffrey and I. Wakeman. A survey of semantic techniques for active networks, 1997. http://www.cogs.susx.ac.uk/users/ianw/papers/an-survey.ps.gz.
13. M. Tofte and J.-P. Talpin. Region-based memory management. Information and Computation, 132(2):109-176, 1 Feb. 1997.
14. Z. Wan, W. Taha, and P. Hudak. Real-time FRP. In Intl. Conf. on Functional Programming (ICFP '01), Florence, Italy, September 2001. ACM.
15. Z. Wan, W. Taha, and P. Hudak. Event-driven FRP. In Proc. 4th. Intl. Symp. on Practical Aspects of Declarative Languages (PAUL '02). ACM, Jan 2002.