الصفحة 1
الصفحة 1
Algebraic Methodology and Software Technology ; 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings
This is the proceedings of the 11th edition of the Algebraic Methodology and Software Technology (AMAST) conference series. The rst conference was held in the USA in 1989, and since then AMAST conferences have been held on (or near) fve diferent continents and have been hosted by many of the most prominent people and organizations in the ?eld. The AMAST initiative has always sought to have practical efects by dev- oping the science of software and basing it on a ?rm mathematical foundation. AMAST hasinterpretedsoftwaretechnologybroadly,andhas, for example, held AMAST workshops in areas as diverse as real-time systems and (natural) l- guage processing. Similarly, algebraic methodology is interpreted broadly and includes abstract algebra, category theory, logic, and a range of other ma- ematical subdisciplines.
Advanced functional programming ; 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures
Contains the revised lecture notes corresponding to nine of thelecture courses presented at the 5th International School on Advanced Functional Programming, AFP 2004, held in Tartu, Estonia, August 14–21, 2004. The goal of the AFP schools is to inform the wide international communitiesof computer science students and software production professionals about thenew and important developments in the area of functional programming. The schools put a special emphasis on practical applications of advanced techniques.
