Parameter
Mehr zum Buch
InhaltsverzeichnisKeynote Talk.- The Development of Oz and Mozart.- Security.- The Structure of Authority: Why Security Is Not a Separable Concern.- The Oz-E Project: Design Guidelines for a Secure Multiparadigm Programming Language.- Computer Science Education.- A Program Verification System Based on Oz.- Higher Order Programming for Unordered Minds.- Software Engineering.- Compiling Formal Specifications to Oz Programs.- Deriving Acceptance Tests from Goal Requirements.- Human-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 Approach.- Distributed Programming.- P2PS: Peer-to-Peer Development Platform for Mozart.- Thread-Based Mobility in Oz.- A Fault Tolerant Abstraction for Transparent Distributed Programming.- Grammars 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 Kit.- Constraint 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 Applications.- Playing the Minesweeper with Constraints.- Using Constraint Programming for Reconfiguration of Electrical Power Distribution Networks.- Strasheela: Design and Usage of a Music Composition Environment Based on the Oz Programming Model.- Solving the Aircraft Sequencing Problem Using Concurrent Constraint Programming.- The Problem of Assigning Evaluators to the Articles Submitted in an Academic Event: A Practical Solution Incorporating Constraint Programming and Heuristics.- An Interactive Tool for the Controlled Execution of an Automated Timetabling Constraint Engine.
Buchkauf
Multiparadigm programming in Mozart OZ, Peter Van Roy
- Sprache
- Erscheinungsdatum
- 2005
Lieferung
Zahlungsmethoden
Feedback senden
- Titel
- Multiparadigm programming in Mozart OZ
- Sprache
- Englisch
- Autor*innen
- Peter Van Roy
- Verlag
- Springer
- Erscheinungsdatum
- 2005
- ISBN10
- 3540250794
- ISBN13
- 9783540250791
- Kategorie
- Informatik & Programmierung
- Beschreibung
- InhaltsverzeichnisKeynote Talk.- The Development of Oz and Mozart.- Security.- The Structure of Authority: Why Security Is Not a Separable Concern.- The Oz-E Project: Design Guidelines for a Secure Multiparadigm Programming Language.- Computer Science Education.- A Program Verification System Based on Oz.- Higher Order Programming for Unordered Minds.- Software Engineering.- Compiling Formal Specifications to Oz Programs.- Deriving Acceptance Tests from Goal Requirements.- Human-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 Approach.- Distributed Programming.- P2PS: Peer-to-Peer Development Platform for Mozart.- Thread-Based Mobility in Oz.- A Fault Tolerant Abstraction for Transparent Distributed Programming.- Grammars 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 Kit.- Constraint 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 Applications.- Playing the Minesweeper with Constraints.- Using Constraint Programming for Reconfiguration of Electrical Power Distribution Networks.- Strasheela: Design and Usage of a Music Composition Environment Based on the Oz Programming Model.- Solving the Aircraft Sequencing Problem Using Concurrent Constraint Programming.- The Problem of Assigning Evaluators to the Articles Submitted in an Academic Event: A Practical Solution Incorporating Constraint Programming and Heuristics.- An Interactive Tool for the Controlled Execution of an Automated Timetabling Constraint Engine.