From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl

This collection of essays pays tribute to the legacy of Ole-Johan Dahl, a pioneer in programming languages and object-oriented design. Celebrating his contributions, the authors delve into the transition from object-oriented paradigms to formal methods in software development. They explore the challenges and advancements that have shaped contemporary programming practices, reflecting on how Dahl's vision continues to resonate today.

Each essay offers unique insights into various facets of computer science, revealing the intricate connections between theory and application. The contributors, experts in their fields, share their perspectives on the implications of Dahl's work, illustrating how it has paved the way for modern programming and software engineering.

Through this compilation, readers gain a deeper understanding of the evolution of programming methodologies, as well as the ongoing relevance of Dahl's ideas in the fast-paced world of technology. The work serves not only as a homage to an influential figure but also as an engaging discourse on the future of software development.