↓ Skip to main content
What is this page? Embed badge

Multiparadigm Programming in Mozart/Oz

Overview of attention for book
Cover of 'Multiparadigm Programming in Mozart/Oz'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 The Development of Oz and Mozart
  3. Altmetric Badge
    Chapter 2 The Structure of Authority: Why Security Is Not a Separable Concern
  4. Altmetric Badge
    Chapter 3 The Oz-E Project: Design Guidelines for a Secure Multiparadigm Programming Language
  5. Altmetric Badge
    Chapter 4 A Program Verification System Based on Oz
  6. Altmetric Badge
    Chapter 5 Higher Order Programming for Unordered Minds
  7. Altmetric Badge
    Chapter 6 Compiling Formal Specifications to Oz Programs
  8. Altmetric Badge
    Chapter 7 Deriving Acceptance Tests from Goal Requirements
  9. Altmetric Badge
    Chapter 8 Using Mozart for Visualizing Agent-Based Simulations
  10. Altmetric Badge
    Chapter 9 Web Technologies for Mozart Applications
  11. Altmetric Badge
    Chapter 10 Overcoming the Multiplicity of Languages and Technologies for Web-Based Development Using a Multi-paradigm Approach
  12. Altmetric Badge
    Chapter 11 P2PS: Peer-to-Peer Development Platform for Mozart
  13. Altmetric Badge
    Chapter 12 Thread-Based Mobility in Oz
  14. Altmetric Badge
    Chapter 13 A Fault Tolerant Abstraction for Transparent Distributed Programming
  15. Altmetric Badge
    Chapter 14 The CURRENT Platform: Building Conversational Agents in Oz
  16. Altmetric Badge
    Chapter 15 The Metagrammar Compiler: An NLP Application with a Multi-paradigm Architecture
  17. Altmetric Badge
    Chapter 16 The XDG Grammar Development Kit
  18. Altmetric Badge
    Chapter 17 Solving CSP Including a Universal Quantification
  19. Altmetric Badge
    Chapter 18 Compositional Abstractions for Search Factories
  20. Altmetric Badge
    Chapter 19 Implementing Semiring-Based Constraints Using Mozart
  21. Altmetric Badge
    Chapter 20 A Mozart Implementation of CP(BioNet)
  22. Altmetric Badge
    Chapter 21 Playing the Minesweeper with Constraints
  23. Altmetric Badge
    Chapter 22 Using Constraint Programming for Reconfiguration of Electrical Power Distribution Networks
  24. Altmetric Badge
    Chapter 23 Strasheela: Design and Usage of a Music Composition Environment Based on the Oz Programming Model
  25. Altmetric Badge
    Chapter 24 Solving the Aircraft Sequencing Problem Using Concurrent Constraint Programming
  26. Altmetric Badge
    Chapter 25 The Problem of Assigning Evaluators to the Articles Submitted in an Academic Event: A Practical Solution Incorporating Constraint Programming and Heuristics
  27. Altmetric Badge
    Chapter 26 An Interactive Tool for the Controlled Execution of an Automated Timetabling Constraint Engine
Attention for Chapter 3: The Oz-E Project: Design Guidelines for a Secure Multiparadigm Programming Language
Altmetric Badge

Citations

dimensions_citation
7 Dimensions

Readers on

mendeley
5 Mendeley
Summary Dimensions citations
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
The Oz-E Project: Design Guidelines for a Secure Multiparadigm Programming Language
Chapter number 3
Book title
Multiparadigm Programming in Mozart/Oz
Published in
Lecture notes in computer science, October 2004
DOI 10.1007/978-3-540-31845-3_3
Book ISBNs
978-3-54-025079-1, 978-3-54-031845-3
Authors

Fred Spiessens, Peter Van Roy

View on publisher site
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 5 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 5 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 2 40%
Professor 1 20%
Researcher 1 20%
Student > Master 1 20%
Readers by discipline Count As %
Computer Science 4 80%
Engineering 1 20%

This page is provided by Altmetric.