模块化程序设计语言

作者简介

This book constitutes the refereed proceedings of the international Joint Modular Languages Conference, JMLC 2006, held in Oxford, UK in September 2006.    The 23 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from 36 submissions. The papers are organized in topical sections on languages, implementation and linking, formal and modelling, concurrency, components, performance, and case studies.

书籍目录

Separating Concerns with Domain Specific LanguagesEvent-Based Programming Without Inversion of ControlProgramming Language Concepts for Multimedia Application　DevelopmentImplicit and Dynamic Parameters in C++Reconciling Virtual Classes with GenericityOberon Script: A Lightweight Compiler and Runtime System for the WebEfficient Layer Activation for Switching Context-Dependent BehaviorObject-Oriented Language ProcessingA Framework for Modular Linking in OO LanguagesFlexible Type-Safe Linking of Components for Java-Like LanguagesTowards a Formal Semantics for AspectJ WeavingSymbolic Analysis of Imperative Programming LanguagesArray-Structured Object Types for Mathematical ProgrammingMetaModelica: A Unified Equation-Based Semantical and Mathematical Modeling LanguageA Component Language for Structured Parallel Programming Internal and External Token-Based Synchronization in Object-Oriented LanguagesA New Component-Oriented Programming Language with the First-Class ConnectorA Component Plug-In Architecture for the .NET PlatformImprove Component-Based Programs with ConnectorsAutomatic Object Colocation Based on Read BarriersNearly Optimal Register Allocation with PBQPFast Profile-Based Partial Redundancy EliminationThe Dining Philosophers Problem RevisitedA Mobile Agent Service-Oriented Scripting Language Encoded on a Process CalculusA Case Study in Concurrent Programming with Active ObjectsAuthor Index

图书封面

 模块化程序设计语言下载