Maurice Naftalin

According to our database, Maurice Naftalin authored at least 7 papers between 1986 and 2006.

Collaborative distances:

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

2006

Java generics and collections.

Maurice Naftalin, Philip Wadler

O'Reilly, ISBN: 978-0-596-52775-4, 2006

1994

Informal Strategies in Design by Refinement.

Maurice Naftalin

Proceedings of the FME '94: Industrial Benefit of Formal Methods, 1994

1992

A Model of the Refinement Process.

Maurice Naftalin

Proceedings of the 5th Refinement Workshop, 1992

1991

Formal Derivation Made Easy.

Maurice Naftalin

Proceedings of the 3rd Annual Workshop of the Psychology of Programming Interest Group, 1991

1988

Correctness for Beginners.

Maurice Naftalin

Proceedings of the VDM '88, 1988

Verifiable program construction in a user-friendly style.

Maurice Naftalin

Proceedings of the Twelfth International Computer Software and Applications Conference, 1988

1986

An Experiment in Practical Semantics.

Maurice Naftalin

Proceedings of the ESOP 86, 1986