International Symposium on Programming
Language: en
Pages: 262
Authors: M. Paul, B. Robinet
Categories: Computers
Type: BOOK - Published: 1984-04 - Publisher: Springer Science & Business Media

Books about International Symposium on Programming
ECOOP 2003 - Object-Oriented Programming
Language: en
Pages: 500
Authors: ECOOP (Conference)
Categories: Computers
Type: BOOK - Published: 2003-07-09 - Publisher: Springer Science & Business Media

The refereed proceedings of the 17th European Conference on Object-Oriented Programming, ECOOP 2003, held in Darmstadt, Germany in July 2003. The 18 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 88 submissions. The papers are organized in topical sections on aspects and components;
RIMS Symposium on Software Science and Engineering II
Language: en
Pages: 323
Authors: Eiichi Goto, Keijiro Araki, Taiichi Yuasa
Categories: Computers
Type: BOOK - Published: 1986-05 - Publisher: Springer Science & Business Media

Books about RIMS Symposium on Software Science and Engineering II
Program Development in Computational Logic
Language: en
Pages: 539
Authors: Maurice Bruynooghe, Kung-Kiu Lau
Categories: Computers
Type: BOOK - Published: 2004-06-23 - Publisher: Springer

1 The tenth anniversary of the LOPSTR symposium provided the incentive for this volume. LOPSTR started in 1991 as a workshop on logic program synthesis and transformation, but later it broadened its scope to logic-based program development in general, that is, program development in computational logic, and hence the title
Practical Aspects of Declarative Languages
Language: en
Pages: 297
Authors: Manuel Carro, Ricardo Peña
Categories: Computers
Type: BOOK - Published: 2010-01-07 - Publisher: Springer

This book constitutes the refereed proceedings of the 12th International Symposium on Practical Aspects of Declarative Languages, PADL 2010, held in Madrid, Spain, in January 2010, colocated with POPL 2010, the Symposium on Principles of Programming Languages. The 22 revised full papers presented together with 2 invited talks were carefully