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
Multiparadigm Programming in Mozart/Oz用 Mozart/Oz语言的多维编程/会议文集 PDF格式下载