Abbrevation
MPC
Link
City
Marseille
Country
France
Deadline Paper
Start Date
End Date
Abstract
<P>The biennial MPC conferences aim to promote the development of mathematical principles and techniques that are demonstrably practical and effective in the process of constructing computer programs. Topics of interest range from algorithmics to support for program construction in programming languages and systems. </P><!–– end of background –> <!–– topic of interest ––> <P><B>Keywords:</B> Topics of interest range from algorithmics to support for program construction in programming languages and systems. Some typical areas are type systems, program analysis and transformation, programming–language semantics, program logics.</P>