LEADER 04775nam 22007335 450 001 996466244303316 005 20200630021336.0 010 $a3-540-48391-8 024 7 $a10.1007/BFb0032390 035 $a(CKB)1000000000234103 035 $a(SSID)ssj0000324531 035 $a(PQKBManifestationID)11912685 035 $a(PQKBTitleCode)TC0000324531 035 $a(PQKBWorkID)10314268 035 $a(PQKB)10819461 035 $a(DE-He213)978-3-540-48391-5 035 $a(PPN)155223186 035 $a(EXLCZ)991000000000234103 100 $a20121227d1994 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aLogic, Language and Computation$b[electronic resource] $eFestschrift in Honor of Satoru Takasu /$fedited by Neil Jones, Masami Hagiya, Masahiko Sato 205 $a1st ed. 1994. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1994. 215 $a1 online resource (XIII, 269 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v792 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-57935-4 327 $aLifschitz's logic of calculable numbers and optimizations in program extraction -- On implicit arguments -- A functional system with transfinitely defined types -- The non-deterministic catch and throw mechanism and its subject reduction property -- Conservativeness of ? over ??-calculus -- ML with first-class environments and its type inference algorithm -- A simple proof of the genericity lemma -- The logic of FOL systems: Formulated in set theory -- Well-ordering of algebras and Kruskal's theorem -- On locomorphism in analytical equivalence theory -- Analysis of a software/hardware system by tense arithmetic -- The essence of program transformation by partial evaluation and driving -- Program transformation via contextual assertions -- On coding theorems with modified length functions -- Thirty four comparisons are required to sort 13 items. 330 $aThis volume contains 15 papers from research areas where Japanese theoretical computer science is particularly strong. Many are about logic, and its realization and applications to computer science; others concern synthesis, transformation and implementation of programming languages, and complexity and coding theory. Not coincidentally, all the authors are either former students or close colleagues of Satoru Takasu, professor and director at the Research Institute of Mathematical Sciences at the University of Kyoto. The purpose of this volume is to celebrate Professor Takasu's influence on theoretical computer science in Japan and worldwide by his research, his philosophy, and his advising of students. The breadth, depth and quality of the papers are characteristic of his interests and activities. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v792 606 $aMathematical logic 606 $aComputers 606 $aArchitecture, Computer 606 $aComputer logic 606 $aProgramming languages (Electronic computers) 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aComputer System Implementation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13057 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aComputation by Abstract Devices$3https://scigraph.springernature.com/ontologies/product-market-codes/I16013 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 615 0$aMathematical logic. 615 0$aComputers. 615 0$aArchitecture, Computer. 615 0$aComputer logic. 615 0$aProgramming languages (Electronic computers). 615 14$aMathematical Logic and Formal Languages. 615 24$aTheory of Computation. 615 24$aComputer System Implementation. 615 24$aLogics and Meanings of Programs. 615 24$aComputation by Abstract Devices. 615 24$aProgramming Languages, Compilers, Interpreters. 676 $a005.1/01/5113 702 $aJones$b Neil$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aHagiya$b Masami$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSato$b Masahiko$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996466244303316 996 $aLogic, Language, and Computation$9772541 997 $aUNISA