LEADER 05619nam 22007215 450 001 996466078203316 005 20200707024910.0 010 $a3-540-47595-8 024 7 $a10.1007/3-540-56596-5 035 $a(CKB)1000000000233948 035 $a(SSID)ssj0000326503 035 $a(PQKBManifestationID)11213067 035 $a(PQKBTitleCode)TC0000326503 035 $a(PQKBWorkID)10297036 035 $a(PQKB)10274254 035 $a(DE-He213)978-3-540-47595-8 035 $a(PPN)155181726 035 $a(EXLCZ)991000000000233948 100 $a20121227d1993 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aSemantics: Foundations and Applications$b[electronic resource] $eREX Workshop, Beekbergen, The Netherlands, June 1-4, 1992. Proceedings /$fedited by J.W.de Bakker, W.-P.de Roever, G. Rozenberg 205 $a1st ed. 1993. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1993. 215 $a1 online resource (IX, 667 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v666 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-56596-5 327 $aPredicate transformers and higher order logic -- Trace Nets -- Proving total correctness of programs in weak second-order logic -- On blocks: locality and asynchronous communication -- Semantics, orderings and recursion in the weakest precondition calculus -- A categorical model for logic programs: Indexed monoidal categories -- A categorical view of process refinement -- Compact metric information systems -- Asynchronous rendez-vous in distributed logic programming -- New semantic tools for logic programming -- Temporal preconditions of recursive procedures -- Towards an epistemic approach to reasoning about concurrent programs -- A fully abstract model for a nonuniform concurrent language with parameterization and locality -- SPCF: its model, calculus, and computational power -- Infinite behaviour and fairness in concurrent constraint programming -- Full abstraction and unnested recursion -- On the action semantics of concurrent programming languages -- Layered predicates -- A hyperdoctrinal view of concurrent constraint programming -- On the foundations of final semantics: Non-standard sets, metric spaces, partial orders -- Infinite systems of equations over inverse limits and infinite synchronous concurrent algorithms -- Some issues in the semantics of facile distributed programming -- On the relation between unity properties and sequences of states -- Expressiveness results for process algebras -- Compiling joy into Silicon: An exercise in applied structural operational semantics. 330 $aResearchers working on the semantics of programming languages came together in The Netherlands in June 1992 for a workshop on Semantics - Foundations and Applications. This volume is based on the meeting and contains material prepared by the lecturers after the meeting took place. The volume includes papers on a wide range of topics in both foundationsand applications, including: - Comparative domain theory, category theory, information systems, - Concurrency: process algebras, asynchronous communication, action semantics, trace nets, process refinement, concurrent constraint programming, - Predicate transformers, refinement,weakest preconditions, - Comparative semantics of programming concepts, full abstraction, - Reasoning about programs: total correctness, epistemic logic, - Logic programming, - Functional programming: sequentiality, integration with concurrency, applied structured operational semantics. The workshop was an activity of the project REX (Research andEducation in Concurrent Systems) sponsored by the Netherlands NFI (NationaleFaciliteit Informatica) Programme. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v666 606 $aProgramming languages (Electronic computers) 606 $aData structures (Computer science) 606 $aComputer logic 606 $aComputer programming 606 $aSoftware engineering 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aData Structures and Information Theory$3https://scigraph.springernature.com/ontologies/product-market-codes/I15009 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 615 0$aProgramming languages (Electronic computers). 615 0$aData structures (Computer science). 615 0$aComputer logic. 615 0$aComputer programming. 615 0$aSoftware engineering. 615 14$aProgramming Languages, Compilers, Interpreters. 615 24$aData Structures and Information Theory. 615 24$aLogics and Meanings of Programs. 615 24$aProgramming Techniques. 615 24$aSoftware Engineering. 676 $a005.13/1 702 $aBakker$b J.W.de$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRoever$b W.-P.de$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRozenberg$b G$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aREX Workshop 906 $aBOOK 912 $a996466078203316 996 $aSemantics$9140595 997 $aUNISA