03886nam 22007575 450 99646537910331620200704004004.03-540-45442-X10.1007/3-540-45442-X(CKB)1000000000211789(SSID)ssj0000324704(PQKBManifestationID)11912694(PQKBTitleCode)TC0000324704(PQKBWorkID)10314789(PQKB)11282090(DE-He213)978-3-540-45442-7(MiAaPQ)EBC3072977(PPN)155189239(EXLCZ)99100000000021178920121227d2002 u| 0engurnn|008mamaatxtccrMathematics of Program Construction[electronic resource] 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings /edited by Eerke A. Boiten, Bernhard Möller1st ed. 2002.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2002.1 online resource (X, 266 p.) Lecture Notes in Computer Science,0302-9743 ;2386Bibliographic Level Mode of Issuance: Monograph3-540-43857-2 Includes bibliographical references at the end of each chapters and index.Invited Talks -- Implementing Algebraic Dynamic Programming in the Functional and the Imperative Programming Paradigm -- Some Results in Dynamic Model Theory -- Mathematics in Computer Science Curricula -- Contributed Papers -- Logical Relations and Galois Connections -- Transformational Derivation of Greedy Network Algorithms from Descriptive Specifications -- Fine Control of Demand in Haskell -- Reasoning about Timeouts -- Eternity Variables to Simulate Specifications -- Constructing Tournament Representations: An Exercise in Pointwise Relational Programming -- Type-Indexed Data Types -- Verification of Java’s AbstractCollection Class: A Case Study -- Solving Regular Path Queries -- Inverting Functions as Folds -- From Kleene Algebra to Refinement Algebra.Lecture Notes in Computer Science,0302-9743 ;2386Computer logicMathematical logicSoftware engineeringComputersProgramming languages (Electronic computers)Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XMathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Computation by Abstract Deviceshttps://scigraph.springernature.com/ontologies/product-market-codes/I16013Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Computer logic.Mathematical logic.Software engineering.Computers.Programming languages (Electronic computers).Logics and Meanings of Programs.Mathematical Logic and Formal Languages.Software Engineering.Computation by Abstract Devices.Programming Languages, Compilers, Interpreters.005.1Boiten Eerke Aedthttp://id.loc.gov/vocabulary/relators/edtMöller Bernhardedthttp://id.loc.gov/vocabulary/relators/edtMPC 2002MiAaPQMiAaPQMiAaPQBOOK996465379103316Mathematics of Program Construction772229UNISA