000 04163nam a22005775i 4500
001 978-3-540-31845-3
003 DE-He213
005 20240730192345.0
007 cr nn 008mamaa
008 100705s2005 gw | s |||| 0|eng d
020 _a9783540318453
_9978-3-540-31845-3
024 7 _a10.1007/b106627
_2doi
050 4 _aQA76.76.C65
072 7 _aUMC
_2bicssc
072 7 _aCOM010000
_2bisacsh
072 7 _aUMC
_2thema
082 0 4 _a005.45
_223
245 1 0 _aMultiparadigm Programming in Mozart/Oz
_h[electronic resource] :
_bSecond International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers /
_cedited by Peter Van Roy.
250 _a1st ed. 2005.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2005.
300 _aXVI, 336 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aProgramming and Software Engineering,
_x2945-9168 ;
_v3389
505 0 _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.
650 0 _aCompilers (Computer programs).
_93350
650 0 _aComputer science.
_99832
650 0 _aSoftware engineering.
_94138
650 0 _aComputer programming.
_94169
650 0 _aOperating systems (Computers).
_95329
650 1 4 _aCompilers and Interpreters.
_931853
650 2 4 _aComputer Science Logic and Foundations of Programming.
_942203
650 2 4 _aSoftware Engineering.
_94138
650 2 4 _aProgramming Techniques.
_9149665
650 2 4 _aOperating Systems.
_937074
700 1 _aVan Roy, Peter.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9149666
710 2 _aSpringerLink (Online service)
_9149667
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540250791
776 0 8 _iPrinted edition:
_z9783540808299
830 0 _aProgramming and Software Engineering,
_x2945-9168 ;
_v3389
_9149668
856 4 0 _uhttps://doi.org/10.1007/b106627
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c94213
_d94213