Related publications

Peter A. Jonsson and Johan Nordlander, Taming Code Explosion in Supercompilation. In 20th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM), Austin, TX, Jan 2011.

Martin Kero, Pawel Pietrzak, and Johan Nordlander, Live Heap Space Bounds for Real-Time Systems. In 8th Asian Symposium on Programming Languages and Systems (APLAS), Shanghai, China, Nov 2010.

Martin Kero, Garbage Collection for Reactive Real-Time Systems, Doctoral thesis, Luleå University of Technology, October 2010.

Martin Kero and Simon Aittamaa, Scheduling garbage collection in real-time systems . In 8th IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis (CODES/ISSS), New York, NY, Oct 2010.

Peter A. Jonsson and Johan Nordlander, Positive Supercompilation for a Higher Order Call-By-Value Language. In Logical Methods in Computer Science, Vol. 6 (3:5) 2010, pp. 1-39.

Peter A. Jonsson and Johan Nordlander, Strengthening Supercompilation For Call-By-Value Languages. In Second International Workshop on Metacomputation (META), Pereslavl-Zalessky, Russia, July 2010.

Peter A. Jonsson and Johan Nordlander, Positive Supercompilation for a Higher Order Call-By-Value Language. In 36th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), Savannah, GA, 2009.

Johan Nordlander, Magnus Carlsson, and Andy Gill, Unrestricted Pure Call-By-Value Recursion. In ACM SIGPLAN Workshop on ML, Victoria, BC, 2008.

Martin Kero, Johan Nordlander, and Per Lindgren, A Correct and Useful Incremental Copying Garbage Collector. In IEEE International Symposium on Memory Management (ISMM), Montreal, QB, 2007.

Johan Nordlander, Mark P. Jones, Magnus Carlsson, and Jan Jonsson, Programming with Time-Constrained Reactions. Technical report, Luleå University of Technology, 2005.

Magnus Carlsson, Johan Nordlander, and Dick Kieburtz, The Semantic Layers of Timber. In First Asian Symposium on Programming Languages and Systems (APLAS), Beijing, China, 2003.

Mark P. Jones, Magnus Carlsson, and Johan Nordlander, Composed, and in Control: Programming the Timbere Robot. Technical Report. Department of Computer Science & Engineering, OGI School of Science & Engineering at OHSU, September 2002.

Johan Nordlander, Mark P. Jones, Magnus Carlsson, Dick Kieburtz, and Andrew P. Black, Reactive Objects. In Fifth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2002), Arlington, VA, 2002

Andrew P. Black, Magnus Carlsson, Mark P. Jones, Dick Kieburtz, and Johan Nordlander, Timber: a Programming Language for Real-Time Embedded Systems. Technical report CSE-02-002, Oregon Health & Science University, 2002.

Johan Nordlander, Polymorphic Subtyping in O'Haskell. In Science of Computer Programming, 43(2-3), 2002.

Johan Nordlander, Reactive Objects and Functional Programming. Doctoral thesis, Chalmers University of Technology, 1999.