Search Results

There are 17034 results for: content related to: Language design and analyzability: a retrospective

  1. In quest of the science in statistical fault localization

    Software: Practice and Experience

    Volume 43, Issue 8, August 2013, Pages: 971–987, W. K. Chan and Yan Cai

    Version of Record online : 11 NOV 2011, DOI: 10.1002/spe.1147

  2. Making context-sensitive inclusion-based pointer analysis practical for compilers using parameterised summarisation

    Software: Practice and Experience

    Volume 44, Issue 12, December 2014, Pages: 1485–1510, Yulei Sui, Sen Ye, Jingling Xue and Jie Zhang

    Version of Record online : 22 JUL 2013, DOI: 10.1002/spe.2214

  3. UML design pattern metamodel-level constraints for the maintenance of software evolution

    Software: Practice and Experience

    Volume 43, Issue 7, July 2013, Pages: 835–866, Jaeyong Park, Seok-Won Lee and David C. Rine

    Version of Record online : 3 OCT 2011, DOI: 10.1002/spe.1116

  4. Acculock: accurate and efficient detection of data races

    Software: Practice and Experience

    Volume 43, Issue 5, May 2013, Pages: 543–576, Xinwei Xie, Jingling Xue and Jie Zhang

    Version of Record online : 16 APR 2012, DOI: 10.1002/spe.2121

  5. Analyzing and addressing false interactions during compiler optimization phase ordering

    Software: Practice and Experience

    Volume 44, Issue 6, June 2014, Pages: 643–679, Michael R. Jantz and Prasad A. Kulkarni

    Version of Record online : 22 JAN 2013, DOI: 10.1002/spe.2176

  6. Talents: an environment for dynamically composing units of reuse

    Software: Practice and Experience

    Volume 44, Issue 4, April 2014, Pages: 413–432, Jorge Ressia, Tudor Gîrba, Oscar Nierstrasz, Fabrizio Perin and Lukas Renggli

    Version of Record online : 9 OCT 2012, DOI: 10.1002/spe.2160

  7. Mining hot calling contexts in small space

    Software: Practice and Experience

    Volume 46, Issue 8, August 2016, Pages: 1131–1152, Daniele Cono D'Elia, Camil Demetrescu and Irene Finocchi

    Version of Record online : 30 AUG 2015, DOI: 10.1002/spe.2348

  8. A consensus-based strategy to improve the quality of fault localization

    Software: Practice and Experience

    Volume 43, Issue 8, August 2013, Pages: 989–1011, Vidroha Debroy and W. Eric Wong

    Version of Record online : 28 NOV 2011, DOI: 10.1002/spe.1146

  9. Efficient compilation strategy for object-oriented languages under the closed-world assumption

    Software: Practice and Experience

    Volume 44, Issue 5, May 2014, Pages: 565–592, Benoît Sonntag and Dominique Colnet

    Version of Record online : 26 NOV 2012, DOI: 10.1002/spe.2174

  10. You have free access to this content
    MemSafe: ensuring the spatial and temporal memory safety of C at runtime

    Software: Practice and Experience

    Volume 43, Issue 1, January 2013, Pages: 93–128, Matthew S. Simpson and Rajeev K. Barua

    Version of Record online : 2 FEB 2012, DOI: 10.1002/spe.2105

  11. TinyVM: an energy-efficient execution infrastructure for sensor networks

    Software: Practice and Experience

    Volume 42, Issue 10, October 2012, Pages: 1193–1209, Kirak Hong, Jiin Park, Sungho Kim, Taekhoon Kim, Hwangho Kim, Bernd Burgstaller and Bernhard Scholz

    Version of Record online : 3 OCT 2011, DOI: 10.1002/spe.1123

  12. A system for debugging via online tracing and dynamic slicing

    Software: Practice and Experience

    Volume 42, Issue 8, August 2012, Pages: 995–1014, Vijay Nagarajan, Dennis Jeffrey, Rajiv Gupta and Neelam Gupta

    Version of Record online : 20 JUL 2011, DOI: 10.1002/spe.1105

    Corrected by:

    Erratum: Erratum: A system for debugging via online tracing and dynamic slicing

    Vol. 44, Issue 9, 1155, Version of Record online: 6 MAY 2014

    Corrected by:

    Erratum: Erratum: A system for debugging via online tracing and dynamic slicing

    Vol. 42, Issue 11, 1431, Version of Record online: 10 SEP 2012

  13. Polymorphic bytecode instrumentation

    Software: Practice and Experience

    Volume 46, Issue 10, October 2016, Pages: 1351–1380, Walter Binder, Philippe Moret, Éric Tanter and Danilo Ansaloni

    Version of Record online : 18 DEC 2015, DOI: 10.1002/spe.2385

  14. POET: a scripting language for applying parameterized source-to-source program transformations

    Software: Practice and Experience

    Volume 42, Issue 6, June 2012, Pages: 675–706, Qing Yi

    Version of Record online : 11 MAY 2011, DOI: 10.1002/spe.1089

  15. A dynamic stochastic model for automatic grammar-based test generation

    Software: Practice and Experience

    Volume 45, Issue 11, November 2015, Pages: 1519–1547, Hai-Feng Guo and Zongyan Qiu

    Version of Record online : 11 JUN 2014, DOI: 10.1002/spe.2278

  16. You have free access to this content
    LeakSpot: detection and diagnosis of memory leaks in JavaScript applications

    Software: Practice and Experience

    Volume 47, Issue 1, January 2017, Pages: 97–123, Masoomeh Rudafshani and Paul A. S. Ward

    Version of Record online : 13 MAY 2016, DOI: 10.1002/spe.2406

  17. Execution profiling blueprints

    Software: Practice and Experience

    Volume 42, Issue 9, September 2012, Pages: 1165–1192, Alexandre Bergel, Felipe Bañados, Romain Robbes and Walter Binder

    Version of Record online : 15 SEP 2011, DOI: 10.1002/spe.1120

  18. Design and implementation of an efficient hybrid dynamic and static typing language

    Software: Practice and Experience

    Volume 46, Issue 2, February 2016, Pages: 199–226, Miguel Garcia, Francisco Ortin and Jose Quiroga

    Version of Record online : 6 OCT 2014, DOI: 10.1002/spe.2291

  19. Efficient online cycle detection technique combining with Steensgaard points-to information

    Software: Practice and Experience

    Volume 46, Issue 5, May 2016, Pages: 601–623, Fei Liu, Bixin Li and Rupesh Nasre

    Version of Record online : 6 MAY 2015, DOI: 10.1002/spe.2329

  20. Replay debugging of non-deterministic executions in the Kernel-based Virtual Machine

    Software: Practice and Experience

    Volume 43, Issue 11, November 2013, Pages: 1261–1281, Kurt E. Kiefer and Louise E. Moser

    Version of Record online : 27 MAY 2011, DOI: 10.1002/spe.1094