Detecting and Escaping Infinite Loops with Jolt (Englisch)
- Neue Suche nach: Carbin, Michael
- Neue Suche nach: Misailovic, Sasa
- Neue Suche nach: Kling, Michael
- Neue Suche nach: Rinard, Martin C.
- Neue Suche nach: Carbin, Michael
- Neue Suche nach: Misailovic, Sasa
- Neue Suche nach: Kling, Michael
- Neue Suche nach: Rinard, Martin C.
In:
ECOOP 2011 – Object-Oriented Programming
12
;
609-633
;
2011
- Aufsatz/Kapitel (Buch) / Elektronische Ressource
-
Titel:Detecting and Escaping Infinite Loops with Jolt
-
Beteiligte:Carbin, Michael ( Autor:in ) / Misailovic, Sasa ( Autor:in ) / Kling, Michael ( Autor:in ) / Rinard, Martin C. ( Autor:in )
-
Erschienen in:ECOOP 2011 – Object-Oriented Programming , 12 ; 609-633Lecture Notes in Computer Science ; 6813, 12 ; 609-633
-
Verlag:
- Neue Suche nach: Springer Berlin Heidelberg
-
Erscheinungsort:Berlin, Heidelberg
-
Erscheinungsdatum:01.01.2011
-
Format / Umfang:25 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz/Kapitel (Buch)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis E-Book
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
A Co-relational Model of Data for Large Shared Data BanksMeijer, Erik et al. | 2011
- 2
-
An Empirical Study of Object Protocols in the WildBeckman, Nels E. / Kim, Duri / Aldrich, Jonathan et al. | 2011
- 27
-
The Beauty and the Beast: Separating Design from AlgorithmZaparanuks, Dmitrijs / Hauswirth, Matthias et al. | 2011
- 52
-
The Eval That Men DoRichards, Gregor / Hammer, Christian / Burg, Brian / Vitek, Jan et al. | 2011
- 79
-
Using Structure-Based Recommendations to Facilitate Discoverability in APIsDuala-Ekoko, Ekwa / Robillard, Martin P. et al. | 2011
- 105
-
Mining Evolution of Object UsageMileva, Yana Momchilova / Wasylkowski, Andrzej / Zeller, Andreas et al. | 2011
- 130
-
Improving the Tokenisation of Identifier NamesButler, Simon / Wermelinger, Michel / Yu, Yijun / Sharp, Helen et al. | 2011
- 155
-
Revisiting Information Hiding: Reflections on Classical and Nonclassical ModularityOstermann, Klaus / Giarrusso, Paolo G. / Kästner, Christian / Rendel, Tillmann et al. | 2011
- 179
-
Worlds: Controlling the Scope of Side EffectsWarth, Alessandro / Ohshima, Yoshiki / Kaehler, Ted / Kay, Alan et al. | 2011
- 204
-
Can We Avoid High Coupling?Taube-Schock, Craig / Walker, Robert J. / Witten, Ian H. et al. | 2011
- 229
-
Expressiveness, Simplicity, and UsersChambers, Craig et al. | 2011
- 230
-
CDDiff: Semantic Differencing for Class DiagramsMaoz, Shahar / Ringert, Jan Oliver / Rumpe, Bernhard et al. | 2011
- 255
-
A Refactoring Constraint Language and Its Application to EiffelSteimann, Friedrich / Kollee, Christian / Pilgrim, Jens et al. | 2011
- 281
-
Modal Object DiagramsMaoz, Shahar / Ringert, Jan Oliver / Rumpe, Bernhard et al. | 2011
- 306
-
Types, Regions, and Effects for Safe Programming with Object-Oriented Parallel FrameworksBocchino, Robert L. Jr. / Adve, Vikram S. et al. | 2011
- 333
-
Tunable Static Inference for Generic Universe TypesDietl, Werner / Ernst, Michael D. / Müller, Peter et al. | 2011
- 358
-
Verifying Multi-object Invariants with RelationshipsBalzer, Stephanie / Gross, Thomas R. et al. | 2011
- 383
-
Patterns of Memory InefficiencyChis, Adriana E. / Mitchell, Nick / Schonberg, Edith / Sevitsky, Gary / O’Sullivan, Patrick / Parsons, Trevor / Murphy, John et al. | 2011
- 408
-
Reuse, Recycle to De-bloat SoftwareBhattacharya, Suparna / Nanda, Mangala Gowri / Gopinath, K. / Gupta, Manish et al. | 2011
- 433
-
A Featherweight Approach to FOOLIgarashi, Atsushi et al. | 2011
- 434
-
Related TypesWinther, Johnni / Schwartzbach, Michael I. et al. | 2011
- 459
-
Gradual TypestateWolff, Roger / Garcia, Ronald / Tanter, Éric / Aldrich, Jonathan et al. | 2011
- 484
-
Maintaining Database Integrity with Refinement TypesBaltopoulos, Ioannis G. / Borgström, Johannes / Gordon, Andrew D. et al. | 2011
- 510
-
Frequency Estimation of Virtual Call Targets for Object-Oriented ProgramsZhang, Cheng / Xu, Hao / Zhang, Sai / Zhao, Jianjun / Chen, Yuting et al. | 2011
- 533
-
Counting Messages as a Proxy for Average Execution Time in PharoBergel, Alexandre et al. | 2011
- 558
-
Summarized Trace Indexing and Querying for Scalable Back-in-Time DebuggingPothier, Guillaume / Tanter, Éric et al. | 2011
- 583
-
Interprocedural Exception Analysis for C++Prabhu, Prakash / Maeda, Naoto / Balakrishnan, Gogul / Ivančić, Franjo / Gupta, Aarti et al. | 2011
- 609
-
Detecting and Escaping Infinite Loops with JoltCarbin, Michael / Misailovic, Sasa / Kling, Michael / Rinard, Martin C. et al. | 2011
- 634
-
Atomic Boxes: Coordinated Exception Handling with Transactional MemoryHarmanci, Derin / Gramoli, Vincent / Felber, Pascal et al. | 2011