Programming Languages and Systems

Programming Languages and Systems

Author: Wei-Ngan Chin

Publisher: Springer Science & Business Media

ISBN: 9783540237242

Category: Computers

Page: 452

View: 117

This book constitutes the refereed proceedings of the Second Asian Symposium on Programming Languages and Systems, APLAS 2004, held in Taipei, Taiwan in November 2004. The 26 revised full papers presented together with abstracts of 3 invited talks were carefully reviewed and selected from 97 submissions. Among the topics covered are type theory, program transformation, static analysis, verification, concurrent systems, code generation, programming calculi, functional programming languages, language support, component systems, real-time systems, embedded systems, formal systems design, object-oriented design, Java objects, program optimization .
Programming Languages and Systems
Language: en
Pages: 452
Authors: Wei-Ngan Chin
Categories: Computers
Type: BOOK - Published: 2004-10-15 - Publisher: Springer Science & Business Media

This book constitutes the refereed proceedings of the Second Asian Symposium on Programming Languages and Systems, APLAS 2004, held in Taipei, Taiwan in November 2004. The 26 revised full papers presented together with abstracts of 3 invited talks were carefully reviewed and selected from 97 submissions. Among the topics covered
Programming Languages and Systems
Language: en
Pages: 576
Authors: Zhong Shao
Categories: Computers
Type: BOOK - Published: 2014-03-17 - Publisher: Springer

This book constitutes the proceedings of the 23rd European Symposium on Programming, ESOP 2014, which took place in Grenoble, France, in April 2014, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014. The 27 papers presented in this volume were carefully reviewed and selected
Programming Languages and Systems
Language: en
Pages: 816
Authors: Luís Caires
Categories: Computers
Type: BOOK - Published: 2019-04-06 - Publisher: Springer

This open access book constitutes the proceedings of the 28th European Symposium on Programming, ESOP 2019, which took place in Prague, Czech Republic, in April 2019, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.
Programming Languages and Systems
Language: en
Pages: 341
Authors: Peter Sestoft
Categories: Computers
Type: BOOK - Published: 2006-03-16 - Publisher: Springer Science & Business Media

ETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 18 satellite
Programming Languages and Systems
Language: en
Pages: 442
Authors: Kwangkeun Yi
Categories: Computers
Type: BOOK - Published: 2005-10-21 - Publisher: Springer Science & Business Media

This book constitutes the refereed proceedings of the Third Asian Symposium on Programming Languages and Systems, APLAS 2005, held in Tsukuba, Japan in November 2005. The 24 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 78 submissions. Among the topics covered are semantics,