Programming Languages and Systems

Programming Languages and Systems

Author: Wei-Ngan Chin

Publisher: Springer Science & Business Media

ISBN: 9783540237242

Category: Computers

Page: 452

View: 527

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: 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: 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 System Architectures
Language: en
Pages: 344
Authors: Jürg Gutknecht
Categories: Computers
Type: BOOK - Published: 1994-02-22 - Publisher: Springer Science & Business Media

Programming languages and system architectures are at the frontiers of two different worlds. The conference on which this book is based was an adventure in a land where the two worlds - the formal world of algorithms and the physical world of electronic circuits - interact. The participants explored this
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,