Network


Latest external collaboration on country level. Dive into details by clicking on the dots.

Hotspot


Dive into the research topics where Stein Krogdahl is active.

Publication


Featured researches published by Stein Krogdahl.


Archive | 2004

From Object-Orientation to Formal Methods

Olaf Owe; Stein Krogdahl; Tom Lyche

The development of the programming languages Simula I and Simula 67 is briefly described. An attempt is made also to explain the cultural impact of the languages, in particular the object oriented


Bit Numerical Mathematics | 1985

Multiple inheritance in simula-like languages

Stein Krogdahl

This paper examines the subclass mechanism offered in the Simula language, and discusses how the flexibility of this mechanism would be enhanced if more than one prefix were allowed for classes (multiple inheritance). A strategy is presented for implementing this with efficiency comparable to that of current Simula.


The Journal of Object Technology | 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

It has been recognized that there is a need for a language mechanism that support reuse of collections of related classes. Existing approaches either use an enclosing class for this purpose, or introduce a special purpose, new language construct. In this paper we explore the use of packages for the grouping of related classes. Ordinary packages are already grouping of classes, so we explore the combination of packages and templates, i.e. package templates. By instantiating package templates, the classes of the package templates are provided as if ordinary packages are produced and imported.


international conference on model transformation | 2009

A Collection Operator for Graph Transformation

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

Graph transformation has a well-established theory and associated tools that can be used to perform model transformations. However, the lack of a construct to match and transform collections of similar subgraphs makes graph transformation complex or even impractical to use in a number of transformation cases. This is addressed in this paper, by defining a collection operator which is powerful, yet fairly simple to model and understand. We present model transformation examples from different modeling domains to illustrate the benefit of the approach.


dynamic languages symposium | 2009

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

Eyvind W. Axelsen; Stein Krogdahl

We show how package templates, a modularization mechanism originally developed for statically typed languages like Java and C#, can be applied to and implemented in a dynamic language like Groovy, by using the languages capabilities for meta-programming. We then consider a set of examples and discuss dynamic PT from the viewpoints of code modularization and reuse, and dynamic adaption of classes at runtime.


international conference on model transformation | 2008

Semantics-Based Weaving of UML Sequence Diagrams

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

In this paper we briefly introduce an aspect language that can define cross-cutting effects on a set of UML 2.0 sequence diagrams. Our main contribution is to weave aspects and sequence diagrams at the model level. By basing the weaving upon a formal trace model for sequence diagrams, we ensure that the weaving is semantics-based. To avoid the intractability of working on complete trace sets, we define a lifeline-based weaving upon trace-based equivalence classes. A major challenge is to handle unbounded loops which produce infinite trace sets. We establish a systematic way to rewrite the original loop definition so that the weaving can be performed on a finite structure. A weaving tool has been implemented to validate the approach.


computer aided verification | 1991

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

Stein Gjessing; Stein Krogdahl; Ellen Munthe-Kaas

The paper gives an introduction to an ongoing effort of formally specifying and verifying the cache coherence protocol of the new IEEE interconnect standard called the Scalable Coherent Interface. We first give the the most abstract (top level) specification of a memory system. We then introduce a private cache for each processor, and specify the notion of cache coherence. We refine the specifications of the memory operations for use with caches, and finally outline the more complex bottom layers where directory structures and concurrency are introduced.


ifip conference on history of nordic computing | 2003

The Birth of Simula

Stein Krogdahl

When designing Simula, Ole-Johan Dahl and Kristen Nygaard introduced the basic concepts of what later became object-orientation, which still, 35 years later, has a profound impact on computing. This paper looks at the background for the Simula project, the way it developed over time, and the reason it could became so successful.


european conference on model driven architecture foundations and applications | 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

In this paper we introduce an aspect language that can define cross-cutting effects on a set of UML 2.0 sequence diagrams. The aspects and sequence diagrams are woven at the model level. By basing the weaving upon a formal trace model for sequence diagrams, we ensure that the weaving is semantics-based. We propose the arbitrary events symbolas a wildcard mechanism to express zero or more events on a sequence diagram lifeline. The approach is explained by a real-life example, and a weaving tool partially implements the approach.


international parallel processing symposium | 1991

A linked list cache coherence protocol: verifying the bottom layer

Stein Gjessing; Stein Krogdahl; Ellen Munthe-Kaas

High performance and correctness are crucially important in hardware development. This paper discusses aspects of correctness of a linked list cache coherence protocol. The protocol is tailored to execute as many operations as possible in parallel, achieving speed and avoiding the memory bottleneck. This makes it hard to verify that the protocol is correct. In the paper, a bottom layer of the protocol is identified and it is shown how the correctness of this layer can be established.<<ETX>>

Collaboration


Dive into the Stein Krogdahl's collaboration.

Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar

Olav Lysne

Simula Research Laboratory

View shared research outputs
Top Co-Authors

Avatar
Researchain Logo
Decentralizing Knowledge