LEADER 06446nam 22007575 450 001 9910483607703321 005 20251226195745.0 024 7 $a10.1007/b106627 035 $a(CKB)1000000000212859 035 $a(SSID)ssj0000319087 035 $a(PQKBManifestationID)11240072 035 $a(PQKBTitleCode)TC0000319087 035 $a(PQKBWorkID)10354341 035 $a(PQKB)11716292 035 $a(DE-He213)978-3-540-31845-3 035 $a(MiAaPQ)EBC3067522 035 $a(PPN)123092639 035 $a(BIP)11548135 035 $a(EXLCZ)991000000000212859 100 $a20100705d2005 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aMultiparadigm Programming in Mozart/Oz $eSecond International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers /$fedited by Peter Van Roy 205 $a1st ed. 2005. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2005. 215 $a1 online resource (XVI, 336 p.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v3389 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$aPrinted edition: 9783540250791 320 $aIncludes bibliographical references and index. 327 $aKeynote 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. 330 $aTo many readers, Mozart/Oz represents a new addition to the pantheon of p- gramming systems. One way of evaluating a newcomer is through the eyes of the classics, for example Kernighan and Pike's "The Practice of Programming," a bookthatconcludeswithsix"lastingconcepts":simplicityandclarity,generality, evolution,interfaces,automation,andnotation.KernighanandPikeconcentrate on using standard languages such as C and Java to implement these concepts, but it is instructive to see how a multiparadigm language such as Oz changes the outlook. Oz's concurrency model yields simplicity and clarity (because Oz makes it easier to express complex programs with many interacting components), g- erality, and better interfaces (because the data'ow model automatically makes interfaces more lightweight). Constraint programming in Oz again yields simplicity and clarity (because theprogrammercanexpresswhatneedstobetrueratherthanthemorecomplex issue of how to make it true), and o'ers a powerful mathematical notation that is di'cult to implement on top of languages that do not support it natively. Mozart's distributed computing model makes for improved interfaces and eases the evolution of systems. In my own work, one of the most important concernsistobeabletoquicklyscaleupaprototypeimplementationintoalar- scale service that can run reliably on thousands of computers, serving millions of users. The ?eld of computer science needs more research to discover the best ways of facilitating this, but Mozart provides one powerful approach. Altogether,Mozart/Ozhelpswithallthelastingconceptsexceptautomation, and it plays a particularly strong role in notation, which Kernighan and Pike pointoutisanunderappreciatedarea.Ibelievethatprovidingtherightnotation isthemostimportantofthesixconcepts,onethatsupportsalltheothers.Mul- paradigm systems such as Oz provide more choices for notation than sing- paradigm languages. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v3389 606 $aCompilers (Computer programs) 606 $aComputer science 606 $aSoftware engineering 606 $aComputer programming 606 $aOperating systems (Computers) 606 $aCompilers and Interpreters 606 $aComputer Science Logic and Foundations of Programming 606 $aSoftware Engineering 606 $aProgramming Techniques 606 $aOperating Systems 615 0$aCompilers (Computer programs) 615 0$aComputer science. 615 0$aSoftware engineering. 615 0$aComputer programming. 615 0$aOperating systems (Computers) 615 14$aCompilers and Interpreters. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aSoftware Engineering. 615 24$aProgramming Techniques. 615 24$aOperating Systems. 676 $a005.13 701 $aVan-Roy$b Peter$0771673 712 12$aMOZ 2004$f(2004 :$eCharleroi, Belgium) 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483607703321 996 $aMultiparadigm programming in Mozart$94189958 997 $aUNINA