02838nam 22004815 450 99646594880331620200701133406.03-540-44861-610.1007/3-540-16816-8(CKB)1000000000230554(SSID)ssj0000324677(PQKBManifestationID)11259142(PQKBTitleCode)TC0000324677(PQKBWorkID)10314935(PQKB)11643360(DE-He213)978-3-540-44861-7(PPN)155183184(EXLCZ)99100000000023055420121227d1986 u| 0engurnn|008mamaatxtccrMathematical Foundation of Programming Semantics[electronic resource] International Conference, Manhattan, Kansas, April 11-12, 1985. Proceedings /edited by Austin Melton1st ed. 1986.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1986.1 online resource (VIII, 400 p.) Lecture Notes in Computer Science,0302-9743 ;239Bibliographic Level Mode of Issuance: Monograph3-540-16816-8 Standard, storeless semantics for ALGOL-style block structure and call-by-name -- Cartesian closed categories, quasitopoi and topological universes -- Concrete categories and injectivity -- Fixed points in process algebras with internal actions -- A fully abstract semantics and a proof system for an algol-like language with sharing -- Comparing categories of domains -- Galois connections -- Retracts of SFP objects -- Continuous categories -- Free constructions of powerdomains -- Additive domains -- A topological framework for cpos lacking bottom elements -- Detecting local finite breadth in continuous lattices and semilattices -- On the variety concept for ?-continuous algebras. Application of a general approach -- On denotational semantics of data bases -- Postconditional semantics of data base queries -- What is a model? A consumer's perspective on semantic theory -- Modal theory, partial orders, and digital geometry -- An FP domain with infinite objects -- Union complete countable subset systems -- On the syntax and semantics of concurrent computing.Lecture Notes in Computer Science,0302-9743 ;239Computer logicLogics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XComputer logic.Logics and Meanings of Programs.005.1015113Melton Austinedthttp://id.loc.gov/vocabulary/relators/edtBOOK996465948803316Mathematical Foundation of Programming Semantics2830407UNISA