Sönke Magnussen

According to our database, Sönke Magnussen authored at least 5 papers between 2000 and 2003.

Collaborative distances:

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

2003

Mechanizing the transformation of higher order algebraic specifications for the development of software systems.

Sönke Magnussen

PhD thesis, 2003

Computer-Aided Refinement of Data Structures on Higher-Order Algebraic Specifications.

Walter Dosch, Sönke Magnussen

Proceedings of the Software Engineering Research and Applications, 2003

2001

Computer Aided Fusion for Algebraic Program Derivation.

Walter Dosch, Sönke Magnussen

Nord. J. Comput., 2001

The Lübeck Transformation System: A Transformation System for Equational Higher Order Algebraic Specifications.

Walter Dosch, Sönke Magnussen

Proceedings of the Recent Trends in Algebraic Development Techniques, 2001

2000

Transformational derivation of a bytecode verifier.

Walter Dosch, Sönke Magnussen

Proceedings of the ISCA 15th International Conference Computers and Their Applications, 2000