Stein Krogdahl

Bilde av Stein Krogdahl
English version of this page
Telefon +47-22852446
Rom 10160
Brukernavn
Besøksadresse Gaustadalléen 23B Ole-Johan Dahls hus 0373 OSLO

Publikasjoner

  • Axelsen, Eyvind Wærsted & Krogdahl, Stein (2013). Package Templates: A Definition by Semantics-Preserving Source-to-Source Transformations to Efficient Java Code. SIGPLAN notices.  ISSN 0362-1340.  48(3), s 50- 59 . doi: 10.1145/2371401.2371409
  • Grønmo, Roy; Krogdahl, Stein & Møller-Pedersen, Birger (2013). A collection operator for graph transformation. Journal of Software and Systems Modeling.  ISSN 1619-1366.  12(1), s 121- 144 . doi: 10.1007/s10270-011-0190-3 Vis sammendrag
  • Axelsen, Eyvind Wærsted & Krogdahl, Stein (2012). Adaptable generic programming with required type specifications and package templates, In Michael Haupt (ed.),  Proceedings of the 11th annual international conference on Aspect-oriented Software Development.  Association for Computing Machinery (ACM).  ISBN 978-1-4503-1092-5.  Paper no. 8.  s 83 - 94
  • Axelsen, Eyvind Wærsted & Krogdahl, Stein (2012). Package templates: a definition by semantics-preserving source-to-source transformations to efficient Java code, In Klaus Ostermann (ed.),  GPCE '12: Proceedings of the 11th International Conference on Generative Programming and Component Engineering.  Association for Computing Machinery (ACM).  ISBN 978-1-4503-1129-8.  Session 2: Generation.  s 50 - 59
  • Axelsen, Eyvind Wærsted; Sørensen, Fredrik; Krogdahl, Stein & Møller-Pedersen, Birger (2012). Challenges in the Design of the Package Template Mechanism. Lecture Notes in Computer Science.  ISSN 0302-9743.  7271, s 268- 305 . doi: 10.1007/978-3-642-35551-6_7
  • Berg, Henning; Møller-Pedersen, Birger & Krogdahl, Stein (2011). Application of Advanced Programming Concepts in Metamodelling, In  Norsk Informatikkonferanse NIK 2011.  Tapir Akademisk Forlag.  ISBN 978-82-519-2843-4.  Application of Advanced Programming Concepts in Metamodelling.  s 207 - 218
  • Axelsen, Eyvind Wærsted; Krogdahl, Stein & Møller-Pedersen, Birger (2010). Controlling Dynamic Module Composition through an Extensible Meta-Level API. SIGPLAN notices.  ISSN 0362-1340.  45(12), s 81- 95
  • Axelsen, Eyvind Wærsted; Krogdahl, Stein & Møller-Pedersen, Birger (2010). Controlling Dynamic Module Composition through an Extensible Meta-Level API, In William D. Clinger (ed.),  Proceedings of the 6th symposium on Dynamic languages.  Association for Computing Machinery (ACM).  ISBN 978-1-4503-0405-4.  SESSION: Experience with dynamic features.  s 81 - 96
  • Sørensen, Fredrik; Axelsen, Eyvind Wærsted & Krogdahl, Stein (2010). Dynamic Composition with Package Templates. CEUR Workshop Proceedings.  ISSN 1613-0073.  564
  • Sørensen, Fredrik; Axelsen, Eyvind Wærsted & Krogdahl, Stein (2010). Reuse and combination with package templates, In 2010 MASPEGHI (ed.),  MASPEGHI '10 Proceedings of the 4th Workshop on MechAnisms for SPEcialization, Generalization and inHerItance.  Association for Computing Machinery (ACM).  ISBN 978-1-4503-0535-8.  Article no 3.
  • Axelsen, Eyvind Wærsted & Krogdahl, Stein (2009). Groovy Package Templates Supporting Reuse and Runtime Adaption of Class Hierarchies. SIGPLAN notices.  ISSN 0362-1340.  44(12), s 15- 26
  • Axelsen, Eyvind Wærsted & Krogdahl, Stein (2009). Groovy package templates: supporting reuse and runtime adaption of class hierarchies, In Noble James (ed.),  Proceedings of the 5th symposium on Dynamic languages.  ACM New York.  ISBN 978-1-60558-769-1.  SESSION: Modularity and extension.  s 15 - 26
  • Axelsen, Eyvind Wærsted & Krogdahl, Stein (2009). Towards Pluggable Design Patterns Utilizing Package Templates, In Trond Aalberg (ed.),  Norsk informatikkonferanse NIK 2009.  Tapir Akademisk Forlag.  ISBN 978-82-519-2491-7.  Utviklingsverktøy- og språk.
  • Axelsen, Eyvind Wærsted; Sørensen, Fredrik & Krogdahl, Stein (2009). A reusable observer pattern implementation using package templates, In Eric Wohlstadter; Lohmann Daniel & Matthews Chris (ed.),  Proceedings of the 8th workshop on Aspects, components, and patterns for infrastructure software.  ACM New York.  ISBN 978-1-60558-450-8.  SESSION: Luring languages and precious patterns.  s 37 - 42
  • Grønmo, Roy; Krogdahl, Stein & Møller-Pedersen, Birger (2009). A Collection Operator for Graph Transformation, In Richard F. Paige (ed.),  Theory and Practice of Model Transformations, Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings.  Springer.  ISBN 978-3-642-02407-8.  artikkel.  s 67 - 82
  • Krogdahl, Stein; Møller-Pedersen, Birger & Sørensen, Fredrik (2009). Exploring the use of Package Templates for flexible re-use of Collections of related Classes. Journal of Object Technology.  ISSN 1660-1769.  8(7), s 59- 85 Vis sammendrag
  • Grønmo, Roy; Sørensen, Fredrik; Møller-Pedersen, Birger & Krogdahl, Stein (2008). A Semantics-Based Aspect Language for Interactions with the Arbitrary Events Symbol, In Ina Schieferdecker & Alan Hartman (ed.),  Model Driven Architecture – Foundations and Applications.  Springer.  ISBN 978-3-540-69095-5.  artikkel.  s 262 - 277
  • Grønmo, Roy; Sørensen, Fredrik; Møller-Pedersen, Birger & Krogdahl, Stein (2008). Semantics-Based Weaving of UML Sequence Diagrams, In Antonio Vallecillo & Alfonso Pierantonio (ed.),  Theory and Practice of Model Transformations, First International Conference, ICMT 2008.  Springer.  ISBN 978-3-540-69926-2.  artikkel.  s 122 - 136
  • Krogdahl, Stein & Sørensen, Fredrik (2007). Generic Packages with Expandable Classes compared with similar approaches, In Frode Eika Sandnes (ed.),  Norsk informatikkonferanse 2007.  Tapir Akademisk Forlag.  ISBN 978-82-519-2272-2.  Paper.
  • Krogdahl, Stein (2005). The Birth of Simula, In Janis Bubenko; John Impagliazzo & Arne Sølvberg (ed.),  History of Nordic Computing.  Springer.  ISBN 0-387-24167-1.  Kapittelnavn: The Birth of Simula.  s 261 - 275
  • Krogdahl, Stein & Lysne, Olav (2002). On verification of parallel message-passing processes. Formal Aspects of Computing.  ISSN 0934-5043.
  • Krogdahl, Stein & Lysne, Olav (2002). On Verification of Parallell Message-Passing Processes. Formal Aspects of Computing.  ISSN 0934-5043.  13, s 471- 492 Vis sammendrag
  • Krogdahl, Stein & Lysne, Olav (1997). Verifying a Distributed List System: A Case History. Formal Aspects of Computing.  ISSN 0934-5043.  9(1), s 98- 118 Vis sammendrag
  • Krogdahl, Stein; Wang, Arne; Piene, Jo & Jensen, Peter (1993). A Module Mechanism for Flexible Code Reuse. A S U Newsletter.  ISSN 1102-593X.  21(2)
  • Beck, Istvan & Krogdahl, Stein (1992). An Inequality on Paths in a Grid. Journal of combinatorial theory. Series A.  ISSN 0097-3165.  61(2), s 295- 301
  • Gjessing, Stein; Krogdahl, Stein & Munthe-Kaas, Ellen (1992). A Top Down Approach to the Formal Specification of SCI Cache Coherence. Lecture Notes in Computer Science.  ISSN 0302-9743.  575
  • Gjessing, Stein; Krogdahl, Stein & Munthe-Kaas, Ellen (1992). A Top Down Approach to the Formal Specification of SCI Cache Coherence, In Kim Guldstrand Larsen & Arne Skou (ed.),  Computer Aided Verification.  Springer.  ISBN 0-387-55179-4.  Kapittel.  s 83 - 91
  • Beck, Istvan & Krogdahl, Stein (1991). On Log Concave Sequence. Discrete Mathematics.  ISSN 0012-365X.  94, s 141- 145
  • Beck, Istvan & Krogdahl, Stein (1988). A Select and Insert Sorting Algorithm. BIT Numerical Mathematics.  ISSN 0006-3835.  28, s 726- 735 Vis sammendrag
  • Krogdahl, Stein & Olsen, Kai A. (1986). Ada, as seen from Simula. Software, Practice & Experience.  ISSN 0038-0644.  16(8), s 689- 700 Vis sammendrag
  • Krogdahl, Stein (1985). Multiple Inheritance in Simula-Like Languages. BIT Numerical Mathematics.  ISSN 0006-3835.  25, s 318- 326 Vis sammendrag
  • Krogdahl, Stein (1978). Verificatin of a Class of Link-Level Protocols. BIT Numerical Mathematics.  ISSN 0006-3835.  18, s 436- 448 Vis sammendrag
  • Krogdahl, Stein (1977). The Dependence Graph for Basis in Matroids. Discrete Mathematics.  ISSN 0012-365X.  19, s 47- 59 Vis sammendrag
  • Krogdahl, Stein (1973). A Dynamic Storage Allocation Problem. Information Processing Letters.  ISSN 0020-0190.  2, s 96- 99

Se alle arbeider i Cristin

  • Owe, Olaf; Krogdahl, Stein & Lyche, Tom (2004). From Object-Orientation to Formal Methods. Essays in Memory of Ole-Johan Dahl. Springer.  ISBN 3-540-21366-X.  388 s.
  • Munthe-Kaas, Ellen; Fallmyr, Terje; Bjørnestad, Solveig; Hadjerrouit, Said; Krogdahl, Stein; Manne, Fredrik; Natvig, Lasse; Stol, Norvald & Yu, Weihai (2000). Norsk Informatikkonferanse NIK'2000. Tapir Akademisk Forlag.  ISBN 82-7314-308-2.  234 s.
  • Krogdahl, Stein (red.) (1997). Norsk informatikkonferanse '97. Tapir Akademisk Forlag.  ISBN 82-519-1361-6.  350 s.
  • Gjessing, Stein & Krogdahl, Stein (1984). Datastart, Maskinarbeidsbok i Turbo-Pascal and Compas-Pascal. Gyldendal Nors Forlag.  ISBN 82-05-15721-9.
  • Gjessing, Stein & Krogdahl, Stein (1984). Maskinarbeidsbok for Compas-Pascal og Turbo-Pascal. Gyldendal Norsk Forlag, NKS.  ISBN 82-05-15721-9.  59 s.

Se alle arbeider i Cristin

  • Krogdahl, Stein & Langmyhr, Dag (2012). Cb og kompilatoren hans -- kompendium for INF2100.
  • Berg, Henning; Møller-Pedersen, Birger & Krogdahl, Stein (2011). Advancing Generic Metamodels. Domain-Specific Modeling (DSM'11), Workshop at SPLASH, Portland USA, 23.10.2011-24.10.2011.
  • Krogdahl, Stein & Langmyhr, Dag (2009). RusC og Rask -- Kompendium til INF2100.
  • Grønmo, Roy; Sørensen, Fredrik; Møller-Pedersen, Birger & Krogdahl, Stein (2008). A Semantics-based Aspect Language for Interactions with the Arbitrary Events Symbol.
  • Grønmo, Roy; Sørensen, Fredrik; Møller-Pedersen, Birger & Krogdahl, Stein (2008). Semantics-based Weaving of UML Sequence Diagrams.
  • Krogdahl, Stein (2008). Presentasjon av SWAT-prosjektet.
  • Krogdahl, Stein; Langmyhr, Dag Frette & Nordhagen, Else (2006). Fra Minila til Flink via Java.
  • Krogdahl, Stein (2006). Orientering om SWAT-prosjektet: "Semantics-preserving Weaving - Advancing the Technology".
  • Krogdahl, Stein (2006). Presentation of the SWAT project.
  • Krogdahl, Stein (2003). The birth of Simula.
  • Krogdahl, Stein (2001). Generic Packages and Expandable Classes. Vis sammendrag
  • Kristoffersen, Bjørn & Krogdahl, Stein (1999). Higher-order terminating generator induction.
  • Krogdahl, Stein & Lysne, Olav (1999). On the relation between Parallel and Interleaved Executions. Vis sammendrag
  • Krogdahl, Stein & Lysne, Olav (1999). On verification of Parallel an Interleaved Executions. Conference proceedings (Universitetet i Oslo. Institutt for informatikk). 277. Vis sammendrag
  • Krogdahl, Stein & Nordhagen, Else (1999). Fra Minila til Flink, ny versjon for Java. Kompendium. 22. Vis sammendrag
  • Krogdahl, Stein (1997). Java for den som kan Simula.
  • Krogdahl, Stein (1996). Kompendium til IN 115. Kompendium. 65. Vis sammendrag
  • Lysne, Olav & Krogdahl, Stein (1996). On Communication Protocols, Invariants and Rewriting. Vis sammendrag
  • Johansen, Sverre & Krogdahl, Stein (1993). Controlled Broadcasting in Ring-based Networks. Conference proceedings (Universitetet i Oslo. Institutt for informatikk). 174.
  • Krogdahl, Stein & Lysne, Olav (1993). Verifying a Distributed List System. Conference proceedings (Universitetet i Oslo. Institutt for informatikk). 182.
  • Gjessing, Stein; Krogdahl, Stein & Munthe-Kaas, Ellen (1991). A Linked List Cache Coherence Protocol: Verifying the Bottom Layer.
  • Gjessing, Stein; Krogdahl, Stein & Munthe-Kaas, Ellen (1991). On Verifying a Linked List System based on Message Passing.
  • Johansen, Sverre & Krogdahl, Stein (1991). Controlled Broadcasting in Ring-based networks.
  • Krogdahl, Stein & Munthe-Kaas, Ellen (1991). Oppgaver og notater til IN 210. Kompendium. 51.
  • Krogdahl, Stein & Ore, Christian-Emil Smith (1991). Om syntaks og Syntaksanalyse, til IN 211. Kompendium. 47.
  • Gjessing, Stein; Krogdahl, Stein & Munthe-Kaas, Ellen (1990). Approaching Verification of the SCI Cache Coherent Protocol. Conference proceedings (Universitetet i Oslo. Institutt for informatikk). 145. Vis sammendrag
  • Gjessing, Stein; Krogdahl, Stein & Munthe-Kaas, Ellen (1990). Formal Specification and Verification of SCI Cache Coherence.
  • Gjessing, Stein; Johansen, Sverre; Krogdahl, Stein & Munthe-Kaas, Ellen (1990). Fast Distribution of Information in SCI-like Cache Protocols.
  • Gjessing, Stein; Krogdahl, Stein & Munthe-Kaas, Ellen (1990). A Top Down Approach to the Formal Specification of SCI Cache Coherence. Vis sammendrag
  • Krogdahl, Stein (1990). Lag din egen kompilator, del 1, 2 og 3. I/O : for deg som synes edb er gøy.  ISSN 0802-7749. Vis sammendrag
  • Krogdahl, Stein (1990). Objektorientert programmering: Konsepter og begreper.
  • Krogdahl, Stein (1990). Some General Log Concave Results. Conference proceedings (Universitetet i Oslo. Institutt for informatikk). 144. Vis sammendrag
  • Beck, Istvan & Krogdahl, Stein (1989). A Merging Inequality. Conference proceedings (Universitetet i Oslo. Institutt for informatikk). 136.
  • Gjessing, Stein; Krogdahl, Stein & Munthe-Kaas, Ellen (1989). Formal Specification and Verification of SCI Cache Coherence.
  • Beck, Istvan & Krogdahl, Stein (1988). A Simple Sorting Algorithm of Order O(n^1.5).
  • Krogdahl, Stein (1986). On Modernizing the Simula Language. Vis sammendrag
  • Krogdahl, Stein (1984). An efficient Implementation of Simula Classes with Multiple Prefixing. Conference proceedings (Universitetet i Oslo. Institutt for informatikk). 83.
  • Krogdahl, Stein (1984). Fra Minila til Flink, IN 102. Kompendium. 22. Vis sammendrag
  • Krogdahl, Stein (1983). Om å skrive hovedoppgave i informatikk.
  • Krogdahl, Stein (1982). Protection in Simula: A new Proposal. Conference proceedings (Universitetet i Oslo. Institutt for informatikk). 73. Vis sammendrag
  • Jensen, Petter; Krogdahl, Stein; Myhre, Øystein; Robertsen, Peter S. & Syrrist, Gunnar (1981). Definition of the S-code. Vis sammendrag
  • Krogdahl, Stein (1979). On the Implementation of BETA.
  • Krogdahl, Stein & Spurkland, Sverre (1979). Automatisert Saksbehandling.
  • Krogdahl, Stein (1976). A Combinatorial Proof for a Weigted Matroid Intersection Algorithm. Computer Science Reports. 17.
  • Krogdahl, Stein (1976). Matroid Intersection with Lower Bounds. Computer Science Reports. 2.
  • Krogdahl, Stein (1974). A Combinatorial Base for some Optimal Matroid Intersection Algorithms. Report - Stanford University. Dept. of Computer Science. STAN-CS-74-468.

Se alle arbeider i Cristin

Publisert 4. nov. 2010 14:03 - Sist endret 13. juni 2016 16:57

Prosjekter

Ingen pågående prosjekter