论文信息 - Timber: A Programming Language for Real-Time Embedded Systems

Timber: A Programming Language for Real-Time Embedded Systems

This paper provides a detailed but informal survey of the Timber programming language and its characteristic features. The exposition is mostly based on code samples rather than formal semantic techniques. However, we do introduce the semantic model that underlies one of Timber''s main contributions: the way that time in integrated into the language.

[1] Leslie Lamport,et al. Time, clocks, and the ordering of events in a distributed system , 1978, CACM.

[2] A. P. Black. Object identity , 1993, Proceedings Third International Workshop on Object Orientation in Operating Systems.

[3] Arvind Malhotra,et al. Xml schema part 2: datatypes , 1999 .

[4] Simon L. Peyton Jones,et al. Type Classes in Haskell , 1994, ESOP.

[5] Mark P. Jones. A system of constructor classes: overloading and implicit higher-order polymorphism , 1993, FPCA '93.

[6] Luca Cardelli,et al. On understanding types, data abstraction, and polymorphism , 1985, CSUR.

[7] Gérard Berry,et al. The foundations of Esterel , 2000, Proof, Language, and Interaction.

[8] Andrew P. Black,et al. Emerald: A general‐purpose programming language , 1990, Softw. Pract. Exp..

[9] Robin Milner,et al. Definition of standard ML , 1990 .

[10] Simon L. Peyton Jones,et al. Report on the programming language Haskell: a non-strict, purely functional language version 1.2 , 1992, SIGP.

[11] Randall B. Smith,et al. Self: The power of simplicity , 1987, OOPSLA 1987.

[12] Johan Nordlander,et al. Reactive Objects and Functional Programming , 1999 .

[13] Ralf Hinze,et al. Haskell 98 — A Non−strict‚ Purely Functional Language , 1999 .

[14] G. Plotkin,et al. Proof, language, and interaction: essays in honour of Robin Milner , 2000 .

[15] Gérard Berry,et al. The chemical abstract machine , 1989, POPL '90.