LEADER 04295nam 22006855 450 001 9910767583403321 005 20200629200646.0 010 $a3-540-68308-9 024 7 $a10.1007/BFb0055508 035 $a(CKB)1000000000210973 035 $a(SSID)ssj0000327468 035 $a(PQKBManifestationID)11294588 035 $a(PQKBTitleCode)TC0000327468 035 $a(PQKBWorkID)10301402 035 $a(PQKB)11601087 035 $a(DE-He213)978-3-540-68308-7 035 $a(PPN)155170260 035 $a(EXLCZ)991000000000210973 100 $a20121227d1998 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aTypes in Compilation$b[electronic resource] $eSecond International Workshop, TIC'98, Kyoto, Japan, March 25-27, 1998 Proceedings /$fedited by Xavier Leroy, Atsushi Ohori 205 $a1st ed. 1998. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1998. 215 $a1 online resource (VIII, 308 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v1473 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-64925-5 327 $aCompiling Java to a typed lambda-calculus: A preliminary report -- Stack-based Typed Assembly Language -- How generic is a generic back end? using MLRISC as a back end for the TIL compiler -- A toolkit for constructing type- and constraint-based program analyses -- Optimizing ML using a hierarchy of monadic types -- Type-directed continuation allocation -- Polymorphic equality ? No tags required -- Optimal type lifting -- Formalizing resource allocation in a compiler -- An approach to improve locality using sandwich types -- Garbage collection via dynamic type inference - A formal treatment - -- Strong normalization by type-directed partial evaluation and run-time code generation -- Determination of dynamic method dispatches using run-time code generation -- Type-based analysis of concurrent programs -- A type-based semantics for user-defined marshalling in polymorphic languages. 330 $aThis book constitutes the thoroughly refereed post-workshop proceedings of the Second International Workshop on Types in Compilation, TIC '98, held in Kyoto, Japan in March 1998. The book presents 13 revised full papers carefully selected during an iterated reviewing process together with three invited papers. The papers are organized in topical sections on typed intermediate languages, program analyses, program transformations and code generation, memory management, partial evaluation and run-time code generation, and distributed computing. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v1473 606 $aSoftware engineering 606 $aProgramming languages (Electronic computers) 606 $aComputer logic 606 $aOperating systems (Computers) 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aOperating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14045 615 0$aSoftware engineering. 615 0$aProgramming languages (Electronic computers) 615 0$aComputer logic. 615 0$aOperating systems (Computers) 615 14$aSoftware Engineering/Programming and Operating Systems. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aLogics and Meanings of Programs. 615 24$aSoftware Engineering. 615 24$aOperating Systems. 676 $a005.4/53 702 $aLeroy$b Xavier$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aOhori$b Atsushi$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aTIC'98 906 $aBOOK 912 $a9910767583403321 996 $aTypes in Compilation$92257108 997 $aUNINA LEADER 06076nam 22009015 450 001 9910484779203321 005 20251113204557.0 010 $a3-540-85758-3 024 7 $a10.1007/978-3-540-85758-7 035 $a(CKB)1000000000490369 035 $a(SSID)ssj0000715596 035 $a(PQKBManifestationID)11423825 035 $a(PQKBTitleCode)TC0000715596 035 $a(PQKBWorkID)10705356 035 $a(PQKB)11007478 035 $a(DE-He213)978-3-540-85758-7 035 $a(MiAaPQ)EBC3063625 035 $a(MiAaPQ)EBC6806137 035 $a(Au-PeEL)EBL6806137 035 $a(OCoLC)304495014 035 $a(PPN)130185469 035 $a(EXLCZ)991000000000490369 100 $a20100301d2008 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aBusiness Process Management $e6th International Conference, BPM 2008, Milan, Italy, September 2-4, 2008, Proceedings /$fedited by Marlon Dumas, Manfred Reichert, Ming-Chien Shan 205 $a1st ed. 2008. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2008. 215 $a1 online resource (XIII, 399 p.) 225 1 $aInformation Systems and Applications, incl. Internet/Web, and HCI,$x2946-1642 ;$v5240 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-85757-5 320 $aIncludes bibliographical references and index. 327 $aInvited Talks (Abstracts) -- Business Process Management: Today and Tomorrow -- Understanding and Impacting the Practice of Business Process Management -- The Future of BPM: Flying with the Eagles or Scratching with the Chickens? -- Regular Papers -- Applying Patterns during Business Process Modeling -- Modularity in Process Models: Review and Effects -- Model Driven Business Transformation ? An Experience Report -- Supporting Flexible Processes through Recommendations Based on History -- Visual Support for Work Assignment in Process-Aware Information Systems -- From Personal Task Management to End-User Driven Business Process Modeling -- The Refined Process Structure Tree -- Covering Places and Transitions in Open Nets -- Correcting Deadlocking Service Choreographies Using a Simulation-Based Graph Edit Distance -- Predicting Coupling of Object-Centric Business Process Implementations -- Instantiation Semantics for Process Models -- A Probabilistic Strategy for Setting Temporal Constraints in Scientific Workflows -- Workflow Simulation for Operational Decision Support Using Design, Historic and State Information -- Analyzing Business Continuity through a Multi-layers Model -- Resource Allocation vs. Business Process Improvement: How They Impact on Each Other -- Detecting and Resolving Process Model Differences in the Absence of a Change Log -- Diagnosing Differences between Business Process Models -- BPEL for REST -- Scaling Choreography Modelling for B2B Value-Chain Analysis -- Evaluation of OrViA Framework for Model-Driven SOA Implementations: An Industrial Case Study -- Efficient Compliance Checking Using BPMN-Q and Temporal Logic -- Automatic Extraction of Process Control Flow from I/O Operations -- A Region-Based Algorithm for Discovering Petri Nets from Event Logs -- BESERIAL: BehaviouralService Interface Analyser -- Business Transformation Workbench: A Practitioner?s Tool for Business Transformation -- Oryx ? An Open Modeling Platform for the BPM Community -- Transforming BPMN Diagrams into YAWL Nets -- Goal-Oriented Autonomic Business Process Modeling and Execution: Engineering Change Management Demonstration -- COREPRO Sim : A Tool for Modeling, Simulating and Adapting Data-Driven Process Structures. 330 $aThis book constitutes the refereed proceedings of the 6th International Conference on Business Process Management, BPM 2008, held in Milan, Italy, in September 2008. The volume contains 20 revised full research papers and 3 industrial papers carefully reviewed and selected from 154 submissions, as well as 8 prototype demonstration papers selected out of 15 demo submissions. In addition three invited keynote papers are presented. The conference has a record of attracting innovative research of the highest quality related to all aspects of BPM, including theory, frameworks, methods, techniques, architectures, standards, and empirical findings. . 410 0$aInformation Systems and Applications, incl. Internet/Web, and HCI,$x2946-1642 ;$v5240 606 $aDatabase management 606 $aComputer engineering 606 $aComputer networks 606 $aUser interfaces (Computer systems) 606 $aHuman-computer interaction 606 $aInformation storage and retrieval systems 606 $aBusiness information services 606 $aApplication software 606 $aDatabase Management 606 $aComputer Engineering and Networks 606 $aUser Interfaces and Human Computer Interaction 606 $aInformation Storage and Retrieval 606 $aIT in Business 606 $aComputer and Information Systems Applications 615 0$aDatabase management. 615 0$aComputer engineering. 615 0$aComputer networks. 615 0$aUser interfaces (Computer systems). 615 0$aHuman-computer interaction. 615 0$aInformation storage and retrieval systems. 615 0$aBusiness information services. 615 0$aApplication software. 615 14$aDatabase Management. 615 24$aComputer Engineering and Networks. 615 24$aUser Interfaces and Human Computer Interaction. 615 24$aInformation Storage and Retrieval. 615 24$aIT in Business. 615 24$aComputer and Information Systems Applications. 676 $a658.4038011 702 $aDumas$b Marlon 702 $aReichert$b Manfred 702 $aShan$b Ming-Chien 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484779203321 996 $aBusiness Process Management$92914235 997 $aUNINA