dblp.uni-trier.dewww.uni-trier.de

Rogardt Heldal

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
9EERogardt Heldal, Jenny Samuelsson, Ola Sundin: Scenario Explorer: Interactive Visualization of Use Cases. ICPC 2007: 241-252
2004
8EEMartin Giese, Rogardt Heldal: From Informal to Formal Specifications in UML. UML 2004: 197-211
2003
7EERogardt Heldal, Fredrik Hultin: Bridging Model-Based and Language-Based Security. ESORICS 2003: 235-252
2001
6EERogardt Heldal, John Hughes: Binding-Time Analysis for Polymorphic Types. Ershov Memorial Conference 2001: 191-204
2000
5EERogardt Heldal, John Hughes: Extending a partial evaluator which supports separate compilation. Theor. Comput. Sci. 248(1-2): 99-145 (2000)
1997
4EERogardt Heldal, John Hughes: Partial Evaluation and Separate Compilation. PEPM 1997: 1-11
3 Dirk Dussart, Rogardt Heldal, John Hughes: Module-Sensitive Program Specialisation. PLDI 1997: 206-214
1992
2 Rogardt Heldal, Carsten Kehler Holst, Philip Wadler: Functional Programming, Glasgow 1991, Proceedings of the 1991 Glasgow Workshop on Functional Programming, Portree, Isle of Skye, 12-14 August 1991 Springer 1992
1991
1 Rogardt Heldal: Generating More Practical Compilers by Partial Evaluation. Functional Programming 1991: 158-163

Coauthor Index

1Dirk Dussart [3]
2Martin Giese [8]
3Carsten Kehler Holst [2]
4John Hughes [3] [4] [5] [6]
5Fredrik Hultin [7]
6Jenny Samuelsson [9]
7Ola Sundin [9]
8Philip Wadler [2]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)