07036nam 22007695 450 99646589880331620200706122833.03-540-39866-X10.1007/b94823(CKB)1000000000212281(SSID)ssj0000325613(PQKBManifestationID)11230912(PQKBTitleCode)TC0000325613(PQKBWorkID)10324592(PQKB)11552588(DE-He213)978-3-540-39866-0(MiAaPQ)EBC3088028(PPN)155226339(EXLCZ)99100000000021228120121227d2003 u| 0engurnn#008mamaatxtccrPerspectives of Systems Informatics[electronic resource] 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers /edited by Manfred Broy, Alexandre V. Zamulin1st ed. 2003.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2003.1 online resource (XIII, 572 p.)Lecture Notes in Computer Science,0302-9743 ;2890Bibliographic Level Mode of Issuance: Monograph3-540-20813-5 Includes bibliographical references and index.Programming Issues -- The Verifying Compiler: A Grand Challenge for Computing Research -- Linear Types for Cashflow Reengineering -- Storing Properties in Grouped Tagged Tuples -- A Polymorphic Radix-n Framework for Fast Fourier Transforms -- Intersecting Classes and Prototypes -- Software Engineering -- Bending without Breaking: Making Software More Flexible -- Program Construction in the Context of Evolutionary Computation -- A Layered Architecture Sustaining Model-Driven and Event-Driven Software Development -- Software Education -- The Outside-In Method of Teaching Introductory Programming -- Program Synthesis, Transformation, and Semantics -- Numeric Types in Formal Synthesis -- On the Possibility of Provably Secure Obfuscating Programs -- Verification-Oriented Language C-Light and Its Structural Operational Semantics -- Proofs-as-Imperative-Programs: Application to Synthesis of Contracts -- Graphical Interfaces -- On the Visualization and Aesthetics of Large Graphs -- Data Mappings in the Model-View-Controller Pattern -- Partial Evaluation and Supercompilation -- The Translation Power of the Futamura Projections -- A Compiler Generator for Constraint Logic Programs -- The Supercompiler SCP4: General Structure -- Partial Evaluation for Common Intermediate Language -- Verification -- Timed Verification with ?CRL -- Verification of Distributed Dataspace Architectures -- Using SPIN and STeP to Verify Business Processes Specifications -- Integrating Tools for Automatic Program Verification -- Logic and Types -- A Logical Reconstruction of Reachability -- Recent Advances in ?-Definability over Continuous Data Types -- Concurrent and Distributed Systems -- Open Maps and Trace Semantics for Timed Partial Order Models -- Confidentiality for Multithreaded Programs via Bisimulation -- Dynamic Modification of System Structures Using LLPNs -- Concurrent and Reactive Systems -- Principles for Entity Authentication -- Causality and Replication in Concurrent Processes -- Event-Driven Traversal of Logic Circuits for Re-evaluation of Boolean Functions in Reactive Systems -- Teams of Pushdown Automata -- Program Specification -- Algebraic State Machines: Concepts and Applications to Security -- Combining Aspects of Reactive Systems -- OCL Extended with Temporal Logic -- The Definition of Transitive Closure with OCL – Limitations and Applications – -- Verification and Model Checking -- Improving the Consistency Checking Process by Reusing Formal Verification Knowledge -- Complexity of Model Checking by Iterative Improvement: The Pseudo-Boolean Framework -- Polynomial Approximations for Model Checking -- Constraint Programming -- Separating Search and Strategy in Solver Cooperations -- Industrial Application of External Black-Box Functions in Constraint Programming Solver -- LGS: Geometric Constraint Solver -- On Strategies of the Narrowing Operator Selection in the Constraint Propagation Method -- Documentation and Testing -- PROG — A New Program Documentation System -- Integration of Functional and Timed Testing of Real-Time and Concurrent Systems -- Test Case Generation for UML Statecharts -- Databases -- Conceptual Content Modeling and Management -- A Relational Algebra for Functional Logic Deductive Databases -- Implication of Functional Dependencies for Recursive Queries -- TeXOR: Temporal XML Database on an Object-Relational Database System -- Functional Dependencies, from Relational to XML -- Data-Object Replication, Distribution, and Mobility in Network Environments -- Natural Language Processing -- Multi-classification of Patent Applications with Winnow -- Automatic Evaluation of Quality of an Explanatory Dictionary by Comparison of Word Senses -- An Approach to Automatic Construction of a Hierarchical Subject Domain for Question Answering Systems.Lecture Notes in Computer Science,0302-9743 ;2890ComputersComputer logicComputer programmingSoftware engineeringProgramming languages (Electronic computers)Theory of Computationhttps://scigraph.springernature.com/ontologies/product-market-codes/I16005Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XProgramming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Computation by Abstract Deviceshttps://scigraph.springernature.com/ontologies/product-market-codes/I16013Computers.Computer logic.Computer programming.Software engineering.Programming languages (Electronic computers).Theory of Computation.Logics and Meanings of Programs.Programming Techniques.Software Engineering.Programming Languages, Compilers, Interpreters.Computation by Abstract Devices.004Broy Manfrededthttp://id.loc.gov/vocabulary/relators/edtZamulin Alexandre Vedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996465898803316Perspectives of Systems Informatics772385UNISA01044nam a22002531i 450099100066739970753620021022200245.0021022s1933 it |||||||||||||||||ita b12037771-39ule_instARCHE-012757ExLDip.to Filologia Ling. e Lett.itaA.t.i. Arché s.c.r.l. Pandora Sicilia s.r.l.Rohlfs, Gerhard37217Scavi linguistici nella Magna Grecia /Gerhard Rohlfs ; dal manoscritto tedesco tradotto da Bruno TomasiniRoma :Collezione meridionale editrice,1933XV, 301 p. ;22 cmCollezione di studi meridionaliDialetti italogreciSalentoTomasini, Bruno.b1203777128-04-1701-04-03991000667399707536LE008 FL.M. II E 2112008000165420le008-E0.00-no 01010.i1232962901-04-03Scavi linguistici nella Magna Grecia141760UNISALENTOle00801-04-03ma -itait 01