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 |