LEADER 04261nam 22006975 450 001 996465809203316 005 20200629124056.0 010 $a3-540-48043-9 024 7 $a10.1007/3-540-18657-3 035 $a(CKB)1000000000230697 035 $a(SSID)ssj0000324790 035 $a(PQKBManifestationID)11234399 035 $a(PQKBTitleCode)TC0000324790 035 $a(PQKBWorkID)10314942 035 $a(PQKB)11649934 035 $a(DE-He213)978-3-540-48043-3 035 $a(PPN)15521859X 035 $a(EXLCZ)991000000000230697 100 $a20121227d1987 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aMetaSoft Primer$b[electronic resource] $eTowards a Metalanguage for Applied Denotational Semantics /$fby Andrzej Blikle ; edited by D. Barstow, W. Brauer, P. Brinch Hansen, D. Gries, D. Luckham, C. Moler, A. Pnueli, G. Seegmüller, J. Stoer, N. Wirth 205 $a1st ed. 1987. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1987. 215 $a1 online resource (XVI, 148 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v288 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-18657-3 330 $aThe book is devoted to a simplified set-theoretic version of denotational semantics where sets are used in place of Scott's reflexive domains and where jumps are described without continuations. This approach has emerged as a reaction to the sophisticated model of traditional semantics. It was also strongly stimulated by the applications of denotational semantics and especially by its software-industry oriented version known as VDM (Vienna Development Method). The new approach was successfully tested on several examples. Based on this approach the Polish Academy of Sciences created the project MetaSoft aimed at the development of a definitional metalanguage for software engineering. The approach has also been chosen in the project RAISE (ESPRIT) which aims at a similar goal. The book consists of two parts. Part One is devoted to the mathematical foundations of the future definitional metalanguage of MetaSoft. This part also introduces an appropriate notation. Part Two shows the applications of this metalanguage. There the denotational definition of a subset of Pascal is discussed with particular emphasis on Pascal types. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v288 606 $aProgramming languages (Electronic computers) 606 $aSoftware engineering 606 $aComputer logic 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 615 0$aProgramming languages (Electronic computers). 615 0$aSoftware engineering. 615 0$aComputer logic. 615 14$aProgramming Languages, Compilers, Interpreters. 615 24$aSoftware Engineering. 615 24$aLogics and Meanings of Programs. 676 $a005.13 700 $aBlikle$b Andrzej$4aut$4http://id.loc.gov/vocabulary/relators/aut$054543 702 $aBarstow$b D$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aBrauer$b W$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aBrinch Hansen$b P$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aGries$b D$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aLuckham$b D$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMoler$b C$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPnueli$b A$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSeegmüller$b G$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aStoer$b J$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aWirth$b N$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996465809203316 996 $aMetasoft Primer$9345225 997 $aUNISA