Stein Krogdahl

According to our database, Stein Krogdahl authored at least 25 papers between 1973 and 2013.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2013

A collection operator for graph transformation.

Roy Grønmo, Stein Krogdahl, Birger Møller-Pedersen

Softw. Syst. Model., 2013

2012

Challenges in the Design of the Package Template Mechanism.

Eyvind W. Axelsen, Fredrik Sørensen, Stein Krogdahl, Birger Møller-Pedersen

LNCS Trans. Aspect Oriented Softw. Dev., 2012

Package templates: a definition by semantics-preserving source-to-source transformations to efficient Java code.

Eyvind W. Axelsen, Stein Krogdahl

Proceedings of the Generative Programming and Component Engineering, 2012

Adaptable generic programming with required type specifications and package templates.

Eyvind W. Axelsen, Stein Krogdahl

Proceedings of the 11th International Conference on Aspect-oriented Software Development, 2012

2011

Advancing generic metamodels.

Henning Berg, Birger Møller-Pedersen, Stein Krogdahl

Proceedings of the SPLASH'11 Workshops, 2011

2010

Controlling dynamic module composition through an extensible meta-level API.

Eyvind W. Axelsen, Stein Krogdahl, Birger Møller-Pedersen

Proceedings of the 6th Symposium on Dynamic Languages, 2010

2009

Exploring the Use of Package Templates for Flexible Re-use of Collections of Related Classes.

Stein Krogdahl, Birger Møller-Pedersen, Fredrik Sørensen

J. Object Technol., 2009

Groovy package templates: supporting reuse and runtime adaption of class hierarchies.

Eyvind W. Axelsen, Stein Krogdahl

Proceedings of the 5th Symposium on Dynamic Languages, 2009

A reusable observer pattern implementation using package templates.

Eyvind W. Axelsen, Fredrik Sørensen, Stein Krogdahl

Proceedings of the ACP4IS@AOSD 2009: Proceedings of the 8th workshop on Aspects, 2009

2008

Semantics-Based Weaving of UML Sequence Diagrams.

Roy Grønmo, Fredrik Sørensen, Birger Møller-Pedersen, Stein Krogdahl

Proceedings of the Theory and Practice of Model Transformations, 2008

A Semantics-Based Aspect Language for Interactions with the Arbitrary Events Symbol.

Roy Grønmo, Fredrik Sørensen, Birger Møller-Pedersen, Stein Krogdahl

Proceedings of the Model Driven Architecture, 2008

2004

A Bibliography of Ole-Johan Dahl.

Olaf Owe, Stein Krogdahl, Tom Lyche

Proceedings of the From Object-Orientation to Formal Methods, 2004

A Biography of Ole-Johan Dahl.

Olaf Owe, Stein Krogdahl, Tom Lyche

Proceedings of the From Object-Orientation to Formal Methods, 2004

2003

The Birth of Simula.

Stein Krogdahl

Proceedings of the History of Nordic Computing, 2003

2002

On Verification of Parallel Message-Passing Processes.

Stein Krogdahl, Olav Lysne

Formal Aspects Comput., 2002

1997

Verifying a Distributed List System: A Case History.

Stein Krogdahl, Olav Lysne

Formal Aspects Comput., 1997

1992

An Inequality on Paths in a Grid.

István Beck, Stein Krogdahl

J. Comb. Theory A, 1992

1991

On log concave sequences.

István Beck, Stein Krogdahl

Discret. Math., 1991

A Linked List Cache Coherence Protocol: Verifying the Bottom Layer.

Stein Gjessing, Stein Krogdahl, Ellen Munthe-Kaas

Proceedings of the Fifth International Parallel Processing Symposium, Proceedings, Anaheim, California, USA, April 30, 1991

A Top Down Approach to the Formal Specification of SCI Cache Coherence.

Stein Gjessing, Stein Krogdahl, Ellen Munthe-Kaas

Proceedings of the Computer Aided Verification, 3rd International Workshop, 1991

1988

A Select and Insert Sorting Algorithm.

István Beck, Stein Krogdahl

BIT, 1988

1986

Ada, as Seen from Simula.

Stein Krogdahl, K. A. Olsen

Softw. Pract. Exp., 1986

1985

Multiple Inheritance in SIMULA-like Languages.

Stein Krogdahl

BIT, 1985

1977

The dependence graph for bases in matroids.

Stein Krogdahl

Discret. Math., 1977

1973

A Dynamic Storage Allocation Problem.

Stein Krogdahl

Inf. Process. Lett., 1973