Papers by Maurice Naftalin
Mastering lambdas: Java programming in a multicore world
Re: "but about who’s suffering worse - there's no argument
Formal Derivation Made Easy
Testing Development Process & Methodology Mobile Solutions Agile in the organisation Three screens and the cloud Successfull Delivery of Agile Solutions Conversation Corner
Java generics and collections - speed up the Java development process
Informal strategies in design by refinement
Lecture Notes in Computer Science, 1994
Page 1. Informal Strategies in Design by Refinement Maurice Naftalin Department of Computing Scie... more Page 1. Informal Strategies in Design by Refinement Maurice Naftalin Department of Computing Science Queen Mary and Westfield College Mile End Road London E1 4NS [email protected] Abstract. To become more ...
Verifiable program construction in a user-friendly style
Proceedings COMPSAC 88: The Twelfth Annual International Computer Software & Applications Conference
The author presents a method for formal program development, designed specifically for use at an ... more The author presents a method for formal program development, designed specifically for use at an introductory level. It formalizes stepwise refinement in a natural way by regarding specifications as unimplemented program components. A graphical notation is used for specifications and their refinement rules, which supports this approach. The method places specifications and programs within the same semantic framework and gives
A Model of the Refinement Process
Workshops in Computing, 1992
It is increasingly accepted that the top-down model of the design process is not realistic. Desig... more It is increasingly accepted that the top-down model of the design process is not realistic. Designers often work at many levels of abstraction simultaneously, applying insights gained at one level to modify both specifications and designs at other levels. A development method which will accommodate such opportunistic insights must allow the designer to view and modify the developing design at a variety of different abstraction levels. We propose a design representation suitable for program derivation, intended to support this requirement and to record some non-formal aspects of the design. The model is presented in the form of a VDM specification, together with an outline of a visual editing system for it.
Lecture Notes in Computer Science, 1986
me too is a functional language in which executable specifications of software components are con... more me too is a functional language in which executable specifications of software components are constructed from abstract models and operations defined on them. The principal data type provided by the language is the set. This paper examines in detail the extent to which the objects manipulated by me too programs do in fact behave like the mathematical ideal of sets. It draws conclusions about the design of the language, and about the feasibility of such projects in 'applied semantics'. * This work was supported in part by an SERC grant.
Lecture Notes in Computer Science, 1988
Stepwise refinement can be formalised in a natural way by regarding specifications as unimplement... more Stepwise refinement can be formalised in a natural way by regarding specifications as unimplemented program components. We present a graphical notation for specifications and their refinement rules which supports this approach. The resulting development style is proposed as an appropriate model for introductory programming instruction. 1.
FME '94: Industrial Benefit of Formal Methods
Lecture Notes in Computer Science, 1994
FME'94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994: …
... M. Muller-Olm John Nicholls Kees Pronk Gordon Rose Peter Scharbach F. Simon G. Snelting P. St... more ... M. Muller-Olm John Nicholls Kees Pronk Gordon Rose Peter Scharbach F. Simon G. Snelting P. Stroop Muffy Thomas Hans Tonino Mark Utting Jan van Katwijk Frans Ververs Bill Young Richard Bosworth Zhou Chaochen Bernie Cohen Roger Duke Ming Fang John Fitzgerald ...
Science of Computer Programming, 1991
FME'94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994: …
... M. Muller-Olm John Nicholls Kees Pronk Gordon Rose Peter Scharbach F. Simon G. Snelting P. St... more ... M. Muller-Olm John Nicholls Kees Pronk Gordon Rose Peter Scharbach F. Simon G. Snelting P. Stroop Muffy Thomas Hans Tonino Mark Utting Jan van Katwijk Frans Ververs Bill Young Richard Bosworth Zhou Chaochen Bernie Cohen Roger Duke Ming Fang John Fitzgerald ...
Java generics and collections
This comprehensive guide shows you how to master the most important changes to Java since it was ... more This comprehensive guide shows you how to master the most important changes to Java since it was first released. Generics and the greatly expanded collection libraries have tremendously increased the power of Java 5 and Java 6. But they have also confused many developers who haven't known how to take advantage of these new features. Java Generics and Collections covers everything from the most basic uses of generics to the strangest corner cases. It teaches you everything you need to know about the collections libraries, so you'll always know which collection is appropriate for any given task, and how to use it.Topics covered include:Fundamentals of generics: type parameters and generic methodsOther new features: boxing and unboxing, foreach loops, varargsSubtyping and wildcardsEvolution not revolution: generic libraries with legacy clients and generic clients with legacy librariesGenerics and reflectionDesign patterns for genericsSets, Queues, Lists, Maps, and their implementationsConcurrent programming and thread safety with collectionsPerformance implications of different collectionsGenerics and the new collection libraries they inspired take Java to a new level. If you want to take your software development practice to a new level, this book is essential reading.Philip Wadler is Professor of Theoretical Computer Science at the University of Edinburgh, where his research focuses on the design of programming languages. He is a co-designer of GJ, work that became the basis for generics in Sun's Java 5.0.Maurice Naftalin is Technical Director at Morningside Light Ltd., a software consultancy in the United Kingdom. He has most recently served as an architect and mentor at NSB Retail Systems plc, and as the leader of the client development team of a major UK government social service system."A brilliant exposition of generics. By far the best book on the topic, it provides a crystal clear tutorial that starts with the basics and ends leaving the reader with a deep understanding of both the use and design of generics." Gilad Bracha, Java Generics Lead, Sun Microsystems
Uploads
Papers by Maurice Naftalin