Recent Trends In Algebraic Development Techniques 14th International Workshop

The Algebraic Approach To System Speci?cation And Development, Born In The 1970sas A Formalmethod For Abstractdata Types, Encompassestoday The Formal Design Of Integrated Hardware And Software Systems, Speci?cation Fra- Works And Programming Paradigms (such As Object-oriented, Logic, And High- Order Functional Programming) And A Wide Range Of Application Areas (including Information Systems, Concurrent And Distributed Systems). Workshops On Al- Braicdevelopmenttechniques,initiatedin1982asworkshopsonabstractdata Types, Have Become A Prominent Forum To Present And Discuss Research On This Important Area. The 14th International Workshop On Algebraic Development Techniques (wadt99) Took Place At The Chat Eau De Bonas, Near Toulouse, September 15-18,1999,and Was Organized By Didier Bert And Christine Choppy.