The semantic layers of timber

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2895, Issue , 2003, Pages 339-356

  Carlsson, Magnus ^a   Nordlander, Johan ^b   Kieburtz, Dick ^a  

^a OREGON HEALTH AND SCIENCE UNIVERSITY   (United States)

^b LULEÅ UNIVERSITY OF TECHNOLOGY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; COMPUTATIONAL LINGUISTICS; DIFFERENTIATION (CALCULUS); INTERACTIVE COMPUTER SYSTEMS; OBJECT ORIENTED PROGRAMMING; SCHEDULING; SEMANTICS; TIMBER;

CONCURRENT OBJECTS; DRIVEN SCHEDULING; FUNCTIONAL LANGUAGES; LAMBDA CALCULUS; MESSAGE ORDERING; REAL TIME BEHAVIOR; SCHEDULING THEORY; TRANSITION SEMANTICS;

REAL TIME SYSTEMS;

EID: 0345445930     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-40018-9_22     Document Type: Article

References (25)

1. J. Armstrong, R. Virding, C. Wikström, and M. Williams. Concurrent Programming in Erlang. Prentice Hall, 1996.
2. A. Benveniste, P. Caspi, S. A. Edwards, N. Halbwachs, P. Le Guernic, and R. de Simone. The synchronous languages 12 years later. Proceedings of the IEEE, 91(1), January 2003.
3. M. Dertouzos. Control Robotics: the Procedural Control of Physical Processes. Information Processing, 74, 1974.
4. L. Erkök and J. Launchbury. Recursive monadic bindings. In Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming, ICFP'00, pages 174-185. ACM Press, September 2000.
5. T. A. Henzinger and C. M. Kirsch. The embedded machine: Predictable, portable real-time code. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2002.
6. J. Hughes and L. Pareto. Recursion and dynamic data-structures in bounded space: Towards embedded ML programming. In International Conference on Functional Programming, pages 70-81, 1999.
7. ∼mpj/timbot/ComposedAndInControl.pdf, 2002.
8. S. L. P. Jones, A. Reid, F. Henderson, C. A. R. Hoare, and S. Marlow. A semantics for imprecise exceptions. In SIGPLAN Conference on Programming Language Design and Implementation, pages 25-36, 1999.
9. R. Kieburtz. Real-time reactive programming for embedded controllers, ftp://cse.ogi.edu/pub/pacsoft/papers/timed.ps, 2001.
10. R. Milner, M. Tofte, and R. Harper. The Definition of Standard ML. MIT Press, 1990.
11. E. Moggi and A. Sabry. An abstract monadic semantics for value recursion. In Workshop on Fixed Points in Computer Science, 2003.
12. J. Nordlander. Reactive Objects and Functional Programming. Phd thesis, Department of Computer Science, Chalmers University of Technology, Gothenburg, 1999.
13. J. Nordlander. Polymorphic subtyping in O'Haskell. Science of Computer Programming, 43(2-3), 2002.
14. J. Nordlander and M. Carlsson. Reactive Objects in a Functional Language - An escape from the evil "I". In Proceedings of the Haskell Workshop, Amsterdam, Holland, 1997.
15. J. Nordlander, M. Jones, M. Carlsson, D. Kieburtz, and A. Black. Reactive objects. In The Fifth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2002), 2002.
16. S. Peyton Jones, A. Cordon, and S. Finne. Concurrent Haskell. In ACM Principles of Programming Languages, pages 295-308, St Petersburg, FL, Jan. 1996. ACM Press.
17. S. Peyton Jones et al. Report on the programming language Haskell 98, a non-strict, purely functional language, http://haskell.org, February 1999.
18. A. Reb n Portillo, K. Hammond, H.-W. Loidl, and P. Vasconcelos. Granularity analysis using automatic size and time cost inference. In Proceedings of IFL '02-Implementation of Functional Languages. Springer Verlag, September 2002.
19. A. Sabry. What is a Purely Functional Language? Journal of Functional Programming, 8(1):1-22, 1998.
20. A. Serjantov, P. Sewell, and K. Wansbrough. The UDP Calculus: Rigorous Semantics for Real Networking. In Theoretical Aspects of Computer Software, 4th International Symposium, TAGS 2001, Sendai, Japan, Oct 2001.
21. J. Stankovich, editor. Deadline Scheduling for Real-time Systems, EDF and Related Algorithms. Kluwer, 1998.
22. ∼truve/NewH.ps.
23. M. Wallace and C. Runciman. Lambdas in the liftshaft - functional programming and an embedded architecture. In Functional Programming Languages and Computer Architecture, pages 249-258, 1995.
24. Z. Wan, W. Taha, and P. Hudak. Real-time FRP. In International Conference on Functional Programming (ICFP '01), Florence, Italy, September 2001.
25. K. Wansbrough, M. Norrish, P. Sewell, and A. Serjantov. Timing UDP: mechanized semantics for sockets, threads and failures. In 11th European Symposium on Programming, ESOP 2002, Grenoble, France, April 2002.