Stein Krogdahl - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 26 from 26

2013

A collection operator for graph transformationRoy Grønmo, Stein Krogdahl, Birger Møller-Pedersen. SoSyM, 12(1):121-144, 2013. [doi]

2012

Adaptable generic programming with required type specifications and package templatesEyvind W. Axelsen, Stein Krogdahl. AOSD 2012: 83-94 [doi]

Package templates: a definition by semantics-preserving source-to-source transformations to efficient Java codeEyvind W. Axelsen, Stein Krogdahl. GPCE 2012: 50-59 [doi]

Challenges in the Design of the Package Template MechanismEyvind W. Axelsen, Fredrik Sørensen, Stein Krogdahl, Birger Møller-Pedersen. TAOSD, 9:268-305, 2012. [doi]

2011

Advancing generic metamodelsHenning Berg, Birger Møller-Pedersen, Stein Krogdahl. OOPSLA 2011: 19-24 [doi]

2010

Controlling dynamic module composition through an extensible meta-level APIEyvind W. Axelsen, Stein Krogdahl, Birger Møller-Pedersen. DLS 2010: 81-96 [doi]

2009

2008

Semantics-Based Weaving of UML Sequence DiagramsRoy Grønmo, Fredrik Sørensen, Birger Møller-Pedersen, Stein Krogdahl. ICMT 2008: 122-136 [doi]

A Semantics-Based Aspect Language for Interactions with the Arbitrary Events SymbolRoy Grønmo, Fredrik Sørensen, Birger Møller-Pedersen, Stein Krogdahl. ECMDA-FA 2008: 262-277 [doi]

2004

A Biography of Ole-Johan DahlOlaf Owe, Stein Krogdahl, Tom Lyche. BIRTHDAY 2004: 1-7 [doi]

A Bibliography of Ole-Johan DahlOlaf Owe, Stein Krogdahl, Tom Lyche. BIRTHDAY 2004: 8-14 [doi]

2003

The Birth of SimulaStein Krogdahl. hinc 2005: 261-275 [doi]

2002

On Verification of Parallel Message-Passing ProcessesStein Krogdahl, Olav Lysne. fac, 13(6):471-492, 2002. [doi]

1997

Verifying a Distributed List System: A Case HistoryStein Krogdahl, Olav Lysne. fac, 9(1):98-118, 1997.

1992

An Inequality on Paths in a GridIstván Beck, Stein Krogdahl. JCT, 61(2):295-301, 1992.

1991

On log concave sequencesIstván Beck, Stein Krogdahl. DM, 94(2):141-145, 1991. [doi]

A Linked List Cache Coherence Protocol: Verifying the Bottom LayerStein Gjessing, Stein Krogdahl, Ellen Munthe-Kaas. ipps 1991: 324-329

A Top Down Approach to the Formal Specification of SCI Cache CoherenceStein Gjessing, Stein Krogdahl, Ellen Munthe-Kaas. cav 1992: 83-91

1988

A Select and Insert Sorting AlgorithmIstván Beck, Stein Krogdahl. bit, 28(4):726-735, 1988.

1986

Ada, as Seen from SimulaStein Krogdahl, K. A. Olsen. SPE, 16(8):689-700, 1986.

1985

Multiple Inheritance in SIMULA-like LanguagesStein Krogdahl. bit, 25(2):318-326, 1985.

1977

The dependence graph for bases in matroidsStein Krogdahl. DM, 19(1):47-59, 1977. [doi]

1973

A Dynamic Storage Allocation ProblemStein Krogdahl. ipl, 2(4):96-99, 1973.

Sign in or sign up to see more results.

runs on WebDSL