Stein Krogdahl

Publication Activity (10 Years)

Years Active: 1973-2013
Publications (10 Years): 0

Top Topics

Software Package

Graph Transformation

Top Venues

LNCS Trans. Aspect Oriented Softw. Dev.

Softw. Syst. Model.

Publications

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