M. Wallace and C. Runciman. Extending a Functional Programming System for Embedded Applications. Software: Practice & Experience, 25(1), January 1995. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Research Topics for Graduate Students - Science, York (1994) (Correct)
....Extensions and Generalisations of Functional Programming Few functional languages allow the expression of solutions to real time control problems; still fewer are implemented. We have an experimental system for programming real time applications, using a process extension of a functional language [112, 113, 111]. A variant of the same system supports another current investigation: the use of functional languages to program graphical interaction [90, 89] There is plenty of scope for future research into extensions of functional languages to include concurrent processes. Another interest is the connection ....
Wallace, M. and Runciman, C. Extending a Functional Programming System for Embedded Applications. Software---Practice and Experience, 25(1) pp. 73--96, 1995.
Towards Formally Verifiable WCET Analysis for a.. - Hammond.. Self-citation (Wallace) (Correct)
No context found.
M. Wallace and C. Runciman. Extending a Functional Programming System for Embedded Applications. Software: Practice & Experience, 25(1), January 1995.
Type-Checked Message-Passing between Functional Processes - Wallace, Runciman (1994) (5 citations) Self-citation (Wallace Runciman) (Correct)
....instance AddressFor Request where address (GoToFloor ab n) Lift ab instance AddressFor Service where address (DoneFloor ab n) Buttons ab This example is a simplified fragment from an Embedded Gofer program. Embedded Gofer is an extension of Gofer directed at programming embedded systems [12]. Research on embedded applications was the original motivation for the current work on communicating functional processes. 4 Specialised classes of process 4.1 Flat specialisation Having provided a class which defines the basic process I O operations, it is possible to go on to define more ....
Malcolm Wallace and Colin Runciman, Extending a functional programming system for embedded applications, Software Practice and Experience, 25(1), January 1995.
Hume: A Domain-Specific Language for Real-Time Embedded Systems - Hammond, Michaelson (2003) (1 citation) (Correct)
No context found.
M. Wallace and C. Runciman, "Extending a Functional Programming System for Embedded Applications", Software: Practice & Experience, 25(1), January 1995.
Predictable Space Behaviour in FSM-Hume - Hammond, Michaelson (2003) (Correct)
No context found.
M. Wallace and C. Runciman, \Extending a Functional Programming System for Embedded Applications", Software: Practice & Experience, 25(1), January 1995.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC