Search Results

There are 51349 results for: content related to: WYSIWIB: exploiting fine-grained program structure in a scriptable API-usage protocol-finding process

  1. 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

  2. You have free access to this content
    Fast in-memory XPath search using compressed indexes

    Software: Practice and Experience

    Volume 45, Issue 3, March 2015, Pages: 399–434, Diego Arroyuelo, Francisco Claude, Sebastian Maneth, Veli Mäkinen, Gonzalo Navarro, Kim Nguyễn, Jouni Sirén and Niko Välimäki

    Version of Record online : 3 OCT 2013, DOI: 10.1002/spe.2227

  3. 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

  4. Netkit: network emulation for education

    Software: Practice and Experience

    Volume 46, Issue 2, February 2016, Pages: 133–165, Maurizio Pizzonia and Massimo Rimondini

    Version of Record online : 15 MAY 2014, DOI: 10.1002/spe.2273

  5. Simple algebraic data types for C

    Software: Practice and Experience

    Volume 42, Issue 2, February 2012, Pages: 191–210, Pieter H. Hartel and Henk L. Muller

    Version of Record online : 11 FEB 2011, DOI: 10.1002/spe.1058

  6. Understanding design patterns — what is the problem?

    Software: Practice and Experience

    Volume 42, Issue 12, December 2012, Pages: 1495–1529, Ghizlane El Boussaidi and Hafedh Mili

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

  7. A suite of abstract domains for static analysis of string values

    Software: Practice and Experience

    Volume 45, Issue 2, February 2015, Pages: 245–287, Giulia Costantini, Pietro Ferrara and Agostino Cortesi

    Version of Record online : 16 AUG 2013, DOI: 10.1002/spe.2218

  8. Dereferee: instrumenting C++ pointers with meaningful runtime diagnostics

    Software: Practice and Experience

    Volume 44, Issue 8, August 2014, Pages: 973–997, Anthony Allevato and Stephen H. Edwards

    Version of Record online : 24 JAN 2013, DOI: 10.1002/spe.2184

  9. A self-applicable online partial evaluator for recursive flowchart languages

    Software: Practice and Experience

    Volume 42, Issue 6, June 2012, Pages: 649–673, Robert Glück

    Version of Record online : 20 JUN 2011, DOI: 10.1002/spe.1086

  10. Effective strategic programming for Java developers

    Software: Practice and Experience

    Volume 44, Issue 2, February 2014, Pages: 129–162, Emilie Balland, Pierre-Etienne Moreau and Antoine Reilles

    Version of Record online : 4 OCT 2012, DOI: 10.1002/spe.2159

  11. RJ: a Java package providing JR-like concurrent programming

    Software: Practice and Experience

    Volume 46, Issue 5, May 2016, Pages: 685–708, Ronald A. Olsson and Todd Williamson

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

  12. A design proto-pattern for continuously evaluated forecasting in IBM® InfoSphere® Streams

    Software: Practice and Experience

    Volume 46, Issue 5, May 2016, Pages: 645–684, Helen Oliver and Patrick McSharry

    Version of Record online : 26 FEB 2015, DOI: 10.1002/spe.2316

  13. 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

  14. A recommendation system for repairing violations detected by static architecture conformance checking

    Software: Practice and Experience

    Volume 45, Issue 3, March 2015, Pages: 315–342, Ricardo Terra, Marco Tulio Valente, Krzysztof Czarnecki and Roberto S. Bigonha

    Version of Record online : 25 SEP 2013, DOI: 10.1002/spe.2228

  15. 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

  16. Incremental inconsistency detection with low memory overhead

    Software: Practice and Experience

    Volume 44, Issue 5, May 2014, Pages: 621–641, Jean-Rémy Falleri, Xavier Blanc, Reda Bendraou, Marcos Aurélio Almeida da Silva and Cédric Teyton

    Version of Record online : 28 DEC 2012, DOI: 10.1002/spe.2171

  17. Bringing Scheme programming to the iPhone—Experience

    Software: Practice and Experience

    Volume 42, Issue 3, March 2012, Pages: 331–356, Engineer Bainomugisha, Jorge Vallejos, Elisa Gonzalez Boix, Pascal Costanza, Theo D'Hondt and Wolfgang De Meuter

    Version of Record online : 7 APR 2011, DOI: 10.1002/spe.1073

  18. Abmash: mashing up legacy Web applications by automated imitation of human actions

    Software: Practice and Experience

    Volume 45, Issue 5, May 2015, Pages: 581–612, Alper Ortac, Martin Monperrus and Mira Mezini

    Version of Record online : 11 DEC 2013, DOI: 10.1002/spe.2249

  19. A new approach to authenticating and encrypting Voice over Internet Protocol communications

    Software: Practice and Experience

    Volume 44, Issue 5, May 2014, Pages: 593–619, J. Lago-Fernández, F. Gil-Castiñeira, F.J. González-Castaño and A.  Román-Portabales

    Version of Record online : 12 DEC 2012, DOI: 10.1002/spe.2175

  20. 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