Programming Languages and Systems: 5th Asian Symposium, APLAS 2007, Singapore, November 28-December 1, 2007, Proceedings (Lecture Notes in Computer Science)
暫譯: 程式語言與系統：第五屆亞洲研討會 APLAS 2007，新加坡，2007年11月28日至12月1日，會議論文集（計算機科學講義）

Description

This book constitutes the refereed proceedings of the 5th Asian Symposium on Programming Languages and Systems, APLAS 2007, held in Singapore, in November/December 2007.

The 25 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 84 submissions. The symposium addresses all issues in programming languages and systems - ranging from foundational to practical issues. The papers focus on topics such as semantics, logics, foundational theory, type systems, language design, program analysis, optimization, transformation, software security, safety, verification, compiler systems, interpreters, abstract machines, domain-specific languages and systems, as well as programming tools and environments.

Written for:

Researchers and professionals

Keywords:

• Oberon
• biological models
• bisimulation
• commutation
• constraint reasoning
• formal methods
• java programming
• modeling languages
• program analysis
• program logics
• program semantics
• program transformation
• programming calculi
• programming languages
• programming systems
• programming theory
• scalability
• signalling
• software development
• sysetms modeling
• transformation
• type system
• type systems
• up-to techniques
• verification