Borrow it
Coverart for item
The Resource Multiparadigm programming in Mozart/OZ : second international conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004 ; revised selected and invited papers, Peter Van Roy (ed.)

Multiparadigm programming in Mozart/OZ : second international conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004 ; revised selected and invited papers, Peter Van Roy (ed.)

Work
Publication
Extent
1 online resource (xv, 327 pages)
Contents
  • Keynote 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
Isbn
9783540318453
Instance
Label
Multiparadigm programming in Mozart/OZ : second international conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004 ; revised selected and invited papers
Title
Multiparadigm programming in Mozart/OZ
Title remainder
second international conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004 ; revised selected and invited papers
Statement of responsibility
Peter Van Roy (ed.)
Title variation
MOZ 2004
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
GW5XE
Dewey number
005.13
Illustrations
illustrations
Index
no index present
LC call number
QA76.6
LC item number
. M95 2005eb
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
2004
http://library.link/vocab/relatedWorkOrContributorName
  • Van-Roy, Peter
  • MOZ 2004
Series statement
Lecture notes in computer science,
Series volume
3389
http://library.link/vocab/subjectName
  • Multiparadigm programming (Computer science)
  • Programmation multiparadigme
  • COMPUTERS
  • Informatique
  • Multiparadigm programming (Computer science)
  • Programmation multiparadigme
Label
Multiparadigm programming in Mozart/OZ : second international conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004 ; revised selected and invited papers, Peter Van Roy (ed.)
Instantiates
Publication
Bibliography note
Includes bibliographical references
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Keynote 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
Control code
262680350
Dimensions
unknown
Extent
1 online resource (xv, 327 pages)
Form of item
online
Isbn
9783540318453
Lccn
2005921638
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/b106627.
Other physical details
illustrations.
http://library.link/vocab/ext/overdrive/overdriveId
978-3-540-25079-1
Specific material designation
remote
System control number
(OCoLC)262680350
Label
Multiparadigm programming in Mozart/OZ : second international conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004 ; revised selected and invited papers, Peter Van Roy (ed.)
Publication
Bibliography note
Includes bibliographical references
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Keynote 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
Control code
262680350
Dimensions
unknown
Extent
1 online resource (xv, 327 pages)
Form of item
online
Isbn
9783540318453
Lccn
2005921638
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/b106627.
Other physical details
illustrations.
http://library.link/vocab/ext/overdrive/overdriveId
978-3-540-25079-1
Specific material designation
remote
System control number
(OCoLC)262680350

Subject

Genre

Member of

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125

Library Links

Structured data from the Bibframe namespace is licensed under the Creative Commons Attribution 4.0 International License by University of Missouri Libraries. Additional terms may apply to data associated with third party namespaces.
Processing Feedback ...