Atlas home || Conferences | Abstracts | about Atlas
Host: Auditorium Banca Toscana
Homepage: http://music.dsi.unifi.it/pli01
Description:
The events composing PLI will cover a spectrum of topics important to language development and use,
including issues such as semantics, design, analysis, implementation, and application. Theoretical issues
relevant to language design and programming, such as the use of type theory, logic, and logical methods in
understanding and efficiently carrying out computations, will be represented. Implementation questions will
provide an emphasis on compilation methods, distributed computation and static debugging techniques. There
will also be a focus on industrial and educational applications.
Date received: October 31, 2000
© 2008 Atlas Conferences Inc.