Programming Languages and Systems: 7th European Symposium on Programming, ESOP'98, Held as Part of the Joint European Conferences on Theory and ... March 28 - April 4, 1998, Proceedings

This collection of proceedings presents a rich exploration of the intersection between programming languages and systems, featuring cutting-edge research from the European Symposium on Programming. It features significant contributions that delve into various aspects of concurrent constraint programming informed by principles of functional programming, offering a rigorous analysis of techniques and methodologies that are shaping modern computational approaches.

Furthermore, the inclusion of novel methods such as bisimulation techniques for cryptographic applications signifies the event's commitment to addressing contemporary challenges in software development. With insights from numerous scholars, this volume serves as an essential resource for researchers and practitioners interested in the evolving landscape of programming languages and their practical implications in system development.