Ergebnisse für: dataflow analysis
Hier findest Du Bücher, die sich mit dataflow analysis beschäftigen.
This book constitutes the refereed proceedings of the 16th International Symposium on Static Analysis, SAS 2009, held in Los Angeles, CA, USA in August 2009 - co-located with LICS 2009, the 24th IEEE Symposium on Logic in Computer Science. The 21 revised full papers presented together with two invi...
This book constitutes the refereed proceedings of the 16th International Symposium on Static Analysis, SAS 2009, held in Los Angeles, CA, USA in August 2009 - co-located with LICS 2009, the 24th IEEE Symposium on Logic in Computer Science. The 21 revised full papers presented together with two invi...
This book constitutes the refereed proceedings of the 14th International Conference on Big Data, BigData 2025, held as part of the Services Conference Federation, SCF 2025, in Hong Kong, China, during September 27–30, 2025.
The 15 full papers included in this book were carefully reviewed and selec...
This book constitutes the refereed proceedings of the 20th International Conference on Compiler Construction, CC 2011, held in Saarbrücken, Germany, March 26—April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software.
The 15 revised full papers presen...
This book constitutes the refereed proceedings of the 12th International Conference, BigData 2023, Held as Part of the Services Conference Federation, SCF 2023, Honolulu, HI, USA, during September 23–26, 2023.  
The 14 full papers presented together with 2 short papers were careful...
This volume contains the papers presented at the Eighth International S- posium on Practical Aspects of Declarative Languages (PADL 2006) held on January 9-10, 2006, in Charleston, South Carolina. Information about the c- ference can be found athttp://www.cs.brown.edu/people/pvh/PADL06.html. As is n...
This volume contains the proceedings of the 4th Asian Symposium on Progr- mingLanguagesandSystems(APLAS2006),whichtookplaceinSydney,Japan, November 8-10, 2006. The symposium was sponsored by the Asian Association for Foundation of Software. In response to the call for papers, 70 full submissions wer...
This book constitutes the refereed proceedings of the 10th International Conference on Big Data, BigData 2021, held online as part of SCF 2021, during December 10-14, 2021.The 6 full and 2 short papers presented were carefully reviewed and selected from 53 submissions. The topics covered are Big Dat...
This volume constitutes the proceedings of the 8th International Congress on BIGDATA 2019, held as Part of SCF 2019 in San Diego, CA, USA in June 2019. The 9 full papers presented in this volume were carefully reviewed and selected from 14 submissions. They cover topics such as: Big Data Models and ...
This book constitutes the refereed proceedings of the 10th International Conference on Big Data, BigData 2021, held online as part of SCF 2021, during December 10-14, 2021.The 6 full and 2 short papers presented were carefully reviewed and selected from 53 submissions. The topics covered are Big Dat...
Developers frequently introduce errors into software systems when they fail to recognise module dependencies.Using forty-three software families and Software Product Lines (SPLs), where the majority are commonly used in industrial practice, the authors reports on the feature modularization problem a...
This volume contains the papers presented at the Eighth International S- posium on Practical Aspects of Declarative Languages (PADL 2006) held on January 9-10, 2006, in Charleston, South Carolina. Information about the c- ference can be found athttp://www.cs.brown.edu/people/pvh/PADL06.html. As is n...
This book constitutes the refereed proceedings of the 13th International Conference on Big Data, BigData 2024, held as part of the Services Conference Federation, SCF 2024, in Bangkok, Thailand, during November 16-19, 2024.
The 8 full papers and 1 short paper included in this book were carefully re...
This volume contains the proceedings of the 4th Asian Symposium on Progr- mingLanguagesandSystems(APLAS2006),whichtookplaceinSydney,Japan, November 8-10, 2006. The symposium was sponsored by the Asian Association for Foundation of Software. In response to the call for papers, 70 full submissions wer...
This book constitutes the refereed proceedings of the 20th International Conference on Compiler Construction, CC 2011, held in Saarbrücken, Germany, March 26—April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software.
The 15 revised full papers presen...
The LNCS journal Transactions on Aspect-Oriented Software Development is devoted to all facets of aspect-oriented software development (AOSD) techniques in the context of all phases of the software life cycle, from requirements and design to implementation, maintenance and evolution. The focus of th...
This book constitutes the refereed proceedings of the 14th International Conference on Big Data, BigData 2025, held as part of the Services Conference Federation, SCF 2025, in Hong Kong, China, during September 27–30, 2025.
The 15 full papers included in this book were carefully reviewed and selec...
This book constitutes the thoroughly refereed post proceedings of the 5th International Haifa Verification Conference, HVC 2009, held in Haifa, Israel in October 2009. The 11 revised full papers presented together with four abstracts of invited lectures were carefully reviewed and selected from 23 s...
The LNCS journal Transactions on Aspect-Oriented Software Development is devoted to all facets of aspect-oriented software development (AOSD) techniques in the context of all phases of the software life cycle, from requirements and design to implementation, maintenance and evolution. The focus of th...