Stein Krogdahl

27 papers A* 1B 1C 2Journal 12Unranked 10
YearRankTypeTitle / Venue / Authors
2013 J jnl
A collection operator for graph transformation.
Softw. Syst. Model.
Roy Grønmo, Stein Krogdahl, Birger Møller-Pedersen
2012 — conf
Adaptable generic programming with required type specifications and package templates.
AOSD
Eyvind W. Axelsen, Stein Krogdahl
2012 J jnl
Challenges in the Design of the Package Template Mechanism.
LNCS Trans. Aspect Oriented Softw. Dev.
Eyvind W. Axelsen, Fredrik Sørensen, Stein Krogdahl, Birger Møller-Pedersen
2012 B conf
Package templates: a definition by semantics-preserving source-to-source transformations to efficient Java code.
GPCE
Eyvind W. Axelsen, Stein Krogdahl
2011 — conf
Advancing generic metamodels.
SPLASH Workshops
Henning Berg, Birger Møller-Pedersen, Stein Krogdahl
2010 C conf
Controlling dynamic module composition through an extensible meta-level API.
DLS
Eyvind W. Axelsen, Stein Krogdahl, Birger Møller-Pedersen
2009 — conf
A Collection Operator for Graph Transformation.
ICMT@TOOLS
Roy Grønmo, Stein Krogdahl, Birger Møller-Pedersen
2009 — conf
A reusable observer pattern implementation using package templates.
ACP4IS@AOSD
Eyvind W. Axelsen, Fredrik Sørensen, Stein Krogdahl
2009 J jnl
Exploring the Use of Package Templates for Flexible Re-use of Collections of Related Classes.
J. Object Technol.
Stein Krogdahl, Birger Møller-Pedersen, Fredrik Sørensen
2009 C conf
Groovy package templates: supporting reuse and runtime adaption of class hierarchies.
DLS
Eyvind W. Axelsen, Stein Krogdahl
2008 — conf
A Semantics-Based Aspect Language for Interactions with the Arbitrary Events Symbol.
ECMDA-FA
Roy Grønmo, Fredrik Sørensen, Birger Møller-Pedersen, Stein Krogdahl
2008 — conf
Semantics-Based Weaving of UML Sequence Diagrams.
ICMT@TOOLS
Roy Grønmo, Fredrik Sørensen, Birger Møller-Pedersen, Stein Krogdahl
2004 — conf
A Bibliography of Ole-Johan Dahl.
Essays in Memory of Ole-Johan Dahl
Olaf Owe, Stein Krogdahl, Tom Lyche
2004 — conf
A Biography of Ole-Johan Dahl.
Essays in Memory of Ole-Johan Dahl
Olaf Owe, Stein Krogdahl, Tom Lyche
2004 — ed.
From Object-Orientation to Formal Methods, Essays in Memory of Ole-Johan Dahl
Essays in Memory of Ole-Johan Dahl
Olaf Owe, Stein Krogdahl, Tom Lyche
2003 — conf
The Birth of Simula.
History of Nordic Computing
Stein Krogdahl
2002 J jnl
On Verification of Parallel Message-Passing Processes.
Formal Aspects Comput.
Stein Krogdahl, Olav Lysne
1997 J jnl
Verifying a Distributed List System: A Case History.
Formal Aspects Comput.
Stein Krogdahl, Olav Lysne
1992 J jnl
An Inequality on Paths in a Grid.
J. Comb. Theory A
István Beck, Stein Krogdahl
1991 — conf
A Linked List Cache Coherence Protocol: Verifying the Bottom Layer.
IPPS
Stein Gjessing, Stein Krogdahl, Ellen Munthe-Kaas
1991 A* conf
A Top Down Approach to the Formal Specification of SCI Cache Coherence.
CAV
Stein Gjessing, Stein Krogdahl, Ellen Munthe-Kaas
1991 J jnl
On log concave sequences.
Discret. Math.
István Beck, Stein Krogdahl
1988 J jnl
A Select and Insert Sorting Algorithm.
BIT
István Beck, Stein Krogdahl
1986 J jnl
Ada, as Seen from Simula.
Softw. Pract. Exp.
Stein Krogdahl, K. A. Olsen
1985 J jnl
Multiple Inheritance in SIMULA-like Languages.
BIT
Stein Krogdahl
1977 J jnl
The dependence graph for bases in matroids.
Discret. Math.
Stein Krogdahl
1973 J jnl
A Dynamic Storage Allocation Problem.
Inf. Process. Lett.
Stein Krogdahl