Multiparadigm Programming in Mozart/Oz用 Mozart/Oz语言的多维编程/会议文集

出版时间：2005-3-1  出版社：Springer  作者：Van Roy, Peter  页数：327  

内容概要

　　This book constitutes the thoroughly refereed extended postproceedings of the Second International Mozart/OZ Conference, MOZ 2004, held in Charleroi, Belgium in October 2004. Besides the 23 papers taken from the workshop, 2 invited papers were especially written for presentation in this book.　　The papers are organized in topical sections on language-based computer security, computer science education, software engineering, human-computer interfaces and the Web, distributed programming, grammars and natural language, constraint programming, and constraint applications.

书籍目录

Keynote Talk　The Development of Oz and MozartSecurity　The Structure of Authority: Why Security Is Not a Separable Concern　The Oz-E Project: Design Guidelines for a Secure Multiparadigm Programming LanguageComputer Science Education　A Program Verification System Based on Oz　Higher Order Programming for Unordered MindsSoftware Engineering　Compiling Formal Specifications to Oz Programs　Deriving Acceptance Tests from Goal RequirementsHuman-Computer Interfaces and the Web　Using Mozart for Visualizing Agent-Based Simulations　Web Technologies for Mozart Applications　Overcoming the Multiplicity of Languages and Technologies for Web-Based Development Using a Multi-paradigm ApproachDistributed Programming　P2PS: Peer-to-Peer Development Platform for Mozart　Thread-Based Mobility in Oz　A Fault Tolerant Abstraction for Transparent Distributed ProgrammingGrammars and Natural Language　The CURRENT Platform: Building Conversational Agents in Oz　The Metagrammar Compiler: An NLP Application with a Multi-paradigm Architecture　The XDG Grammar Development KitConstraint Research　Solving CSP Including a Universal Quantification　Compositional Abstractions for Search Factories　Implementing Semiring-Based Constraints Using Mozart　A Mozart Implementation of CP(BioNet)Constraint ApplicationsAuthor Index