Data Portal @ linkeddatafragments.org

Matches in Harvard for { <http://id.lib.harvard.edu/aleph/008400473/catalog> ?p ?o. }

• catalog abstract "ETAPS2000 was the third instance of the EuropeanJoint Conferenceson Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised ?ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), ?ve satellite workshops (CBS, CMCS, CoFI, GRATRA, INT), seven invited lectures, a panel discussion, and ten tutorials. The events that comprise ETAPS address various aspects of the system - velopment process, including speci?cation, design, implementation, analysis, and improvement. The languages, methodologies, and tools which support these - tivities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.".
• catalog contributor b11701532.
• catalog contributor b11701533.
• catalog contributor b11701534.
• catalog created "2000.".
• catalog date "2000".
• catalog date "2000.".
• catalog dateCopyrighted "2000.".
• catalog description "ETAPS2000 was the third instance of the EuropeanJoint Conferenceson Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised ?ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), ?ve satellite workshops (CBS, CMCS, CoFI, GRATRA, INT), seven invited lectures, a panel discussion, and ten tutorials. The events that comprise ETAPS address various aspects of the system - velopment process, including speci?cation, design, implementation, analysis, and improvement. The languages, methodologies, and tools which support these - tivities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.".
• catalog description "Shape analysis / Reinhard Wilhelm, Mooly Sagiv and Thomas Reps -- Optimizing Java bytecode using the Soot framework : is it feasible? / Raja Vallée-Rai [and others] -- Pipelined Java virtual machine interpreters / Jan Hoogerbrugge and Lex Augusteijn -- Automatic removal of array memory leaks in Java / Ran Shaham, Elliot K. Kolodner and Mooly Sagiv -- A static study of Java exceptions using JESP / Barbara G. Ryder [and others] -- Fast escape analysis and stack allocation for object-based programs / David Gay and Bjarne Steensgaard -- Constant propagation on the value graph : simple constants and beyond / Jens Knoop and Oliver Rüthing -- Simple generation of static single-assessment form / John Aycock and Nigel Horspool -- Demand-driven construction of call graphs / Gagan Agrawal -- A framework for loop distribution on limited on-chip memory processors / Lei Wang, Waibhav Tembe and Santosh Pande -- Techniques for effectively exploiting a zero overhead loop buffer / Gang-Ryung Uh [and others] -- Advanced compiler optimization for CalmRISC8 low-end embedded processor / Dae-Hwan Kim -- Global software pipelining with iteration preselection / David Gregg -- Analysis of irregular single-indexed array accesses and its applications in compiler optimizations / Yuan Lin and David Padua -- Advanced scalarization of array syntax / Gerald Roth -- Techniques for reducing the overhead of run-time parallelization / Hao Yu and Lawrence Rauchwerger -- MATOU : an implementation of mode-automata / Florence Maraninchi, Yann Rémond and Yannick Raoul -- Compiling adaptive programs by partial evaluation / Peter Thiemann -- Functional incremental attribute evaluation / João Saraiva, Doaitse Swierstra and Matthijs Kuiper.".
• catalog extent "x, 294 p. ;".
• catalog identifier "354067263X (softcover : alk. paper)".
• catalog isPartOf "Lecture notes in computer science ; 1781".
• catalog issued "2000".
• catalog issued "2000.".
• catalog language "eng".
• catalog publisher "Berlin ; New York : Springer,".
• catalog subject "005.4/53 21".
• catalog subject "Compilers (Computer programs) Congresses.".
• catalog subject "Computer science.".
• catalog subject "Logic design.".
• catalog subject "QA76.76.C65 I52 2000".
• catalog subject "Software engineering.".
• catalog tableOfContents "Shape analysis / Reinhard Wilhelm, Mooly Sagiv and Thomas Reps -- Optimizing Java bytecode using the Soot framework : is it feasible? / Raja Vallée-Rai [and others] -- Pipelined Java virtual machine interpreters / Jan Hoogerbrugge and Lex Augusteijn -- Automatic removal of array memory leaks in Java / Ran Shaham, Elliot K. Kolodner and Mooly Sagiv -- A static study of Java exceptions using JESP / Barbara G. Ryder [and others] -- Fast escape analysis and stack allocation for object-based programs / David Gay and Bjarne Steensgaard -- Constant propagation on the value graph : simple constants and beyond / Jens Knoop and Oliver Rüthing -- Simple generation of static single-assessment form / John Aycock and Nigel Horspool -- Demand-driven construction of call graphs / Gagan Agrawal -- A framework for loop distribution on limited on-chip memory processors / Lei Wang, Waibhav Tembe and Santosh Pande -- Techniques for effectively exploiting a zero overhead loop buffer / Gang-Ryung Uh [and others] -- Advanced compiler optimization for CalmRISC8 low-end embedded processor / Dae-Hwan Kim -- Global software pipelining with iteration preselection / David Gregg -- Analysis of irregular single-indexed array accesses and its applications in compiler optimizations / Yuan Lin and David Padua -- Advanced scalarization of array syntax / Gerald Roth -- Techniques for reducing the overhead of run-time parallelization / Hao Yu and Lawrence Rauchwerger -- MATOU : an implementation of mode-automata / Florence Maraninchi, Yann Rémond and Yannick Raoul -- Compiling adaptive programs by partial evaluation / Peter Thiemann -- Functional incremental attribute evaluation / João Saraiva, Doaitse Swierstra and Matthijs Kuiper.".
• catalog title "Compiler construction : 9th International Conference, CC 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March/April : proceedings / David A. Watt (ed.).".
• catalog type "Conference proceedings. fast".
• catalog type "text".