This volume presents the proceedings of the Second International Symposium of Formal Methods Europe, held in Barcelona, Spain in October 1994.
Besides two invited papers and seven industrial usage reports, there are 32 full papers selected from some 150 submissions. The industrial usage reports describe practical experiences in a variety of areas including security systems and railway signalling. The subjects of the research papers include refinement, proof, process modelling, specification of programming languages, model checking, real-time aspects, and the combination of formal and systematic methods; these contributions advance the foundations of formal methods and demonstrate their practical value.

Java Generics and Collections has been the go-to guide to generics for more than a decade. This second edition covers Java 21, providing a clear guide to generics from their most common uses to the strangest corner cases, giving you everything you need to know to use and write generic APIs effectively. It covers the collections library thoroughly, so you'll always know how and when to use each collection for any given task. And it explains stream processing, so you'll know which model to use and how they interoperate to get the best out of the platform library. This indispensable guide covers: Fundamentals of generics: type parameters and generic methods Subtyping and wildcards Generics and reflection Design patterns for generics Sets, queues, lists, maps, and their implementations Concurrent programming and thread safety with collections Performance of different collection implementations Best practices for using and extending the Java collections framework Design philosophy and comparison with other collections libraries

Learn to effectively use Lambda expressions to take full advantage of performance improvements provided by today's multicore hardware

"Mastering Lambdas: Java Programming in a Multicore World" provides you with a complete grounding in the theory of Lambda expressions, and the rationale for their introduction and use in practice. This Oracle Press guide reviews a simple Java code fragment iterated over a collection, poses different challenges, then delves into the fundamentals of syntax and basic use. The book recommends best practices for adding Lambda expressions to an existing library and explores the changing Collections Framework. You will walk away with a comprehensive understanding of how to implement Lambdas and a solid rationale for the why. Provides complete grounding in the theory and practice of Lambda expressions Author runs a popular tutorial site in collaboration with Oracle's development team, lambdafaq.org, focused on the new language features in Java Covers the fundamental mind shift, theory and syntax basics behind new Lambda expressions - more than just the how-to