Travelled to:1 × Denmark
2 × Germany
2 × Switzerland
Collaborated with:R.Grønmo B.Møller-Pedersen E.W.Axelsen F.Sørensen S.Gjessing E.Munthe-Kaas
Talks about:semant (3) transform (2) sourc (2) base (2) arbitrari (1) interact (1) approach (1) templat (1) sequenc (1) preserv (1)
Person: Stein Krogdahl
DBLP: Krogdahl:Stein
Contributed to:
2012
2009
20082008
1991Wrote 5 papers:
- GPCE-2012-AxelsenK #java #performance #semantics #text-to-text
- Package templates: a definition by semantics-preserving source-to-source transformations to efficient Java code (EWA, SK), pp. 50–59.
- ICMT-2009-GronmoKM #graph transformation
- A Collection Operator for Graph Transformation (RG, SK, BMP), pp. 67–82.
- ECMDA-FA-2008-GronmoSMK #aspect-oriented #interactive #semantics
- A Semantics-Based Aspect Language for Interactions with the Arbitrary Events Symbol (RG, FS, BMP, SK), pp. 262–277.
- ICMT-2008-GronmoSMK #diagrams #semantics #sequence chart #uml #weaving
- Semantics-Based Weaving of UML Sequence Diagrams (RG, FS, BMP, SK), pp. 122–136.
- CAV-1991-GjessingKM #approach #specification #top-down
- A Top Down Approach to the Formal Specification of SCI Cache Coherence (SG, SK, EMK), pp. 83–91.