模塊化程序設(shè)計(jì)語(yǔ)言

內(nèi)容概要

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

圖書封面

評(píng)論、評(píng)分、閱讀與下載

---

    模塊化程序設(shè)計(jì)語(yǔ)言 PDF格式下載

---