kirancodes.me
To Proof Maintenance & Beyond!
Venues / Onward! /

Onward! 2014

22 papers

  1. A Language Designer's Workbench: A One-Stop-Shop for Implementation and Verification of Language Designs · Eelco Visser, Guido Wachsmuth, Andrew P. Tolmach, Pierre Neron, Vlad A. Vergu, Augusto Passalaqua + 1 more
  2. Call by Meaning · Hesam Samimi, Chris Deaton, Yoshiki Ohshima, Alessandro Warth, Todd D. Millstein
  3. Capturing and Exploiting IDE Interactions · Zhongxian Gu, Drew Schleck, Earl T. Barr, Zhendong Su
  4. Coverage and Its Discontents · Alex Groce, Mohammad Amin Alipour, Rahul Gopinath
  5. Description Logic as Programming Language · James Skene
  6. Getting to Flow in Software Development · Gail C. Murphy
  7. I Throw Itching Powder at Tulips · Richard P. Gabriel
  8. In Search of Types · Stephen Kell
  9. Interleaving of Modification and Use in Data-driven Tool Development · Marcel Taeumel, Michael Perscheid, Bastian Steinert, Jens Lincke, Robert Hirschfeld
  10. It's Only Illegal If You Get Caught: Breaking Invariants and Getting Away with It · Raphaël Proust, Alan Mycroft
  11. Korz: Simple, Symmetric, Subjective, Context-Oriented Programming · David M. Ungar, Harold Ossher, Doug Kimelman
  12. Metamorphic Domain-Specific Languages: A Journey into the Shapes of a Language · Mathieu Acher, Benoît Combemale, Philippe Collet
  13. Mining the Ecosystem to Improve Type Inference for Dynamically Typed Languages · Boris Spasojevic, Mircea Lungu, Oscar Nierstrasz
  14. Multi-Tier Functional Reactive Programming for the Web · Bob Reynders, Dominique Devriese, Frank Piessens
  15. Phrase-Based Statistical Translation of Programming Languages · Svetoslav Karaivanov, Veselin Raychev, Martin T. Vechev
  16. Programming with Managed Time · Sean McDirmid, Jonathan Edwards
  17. The Programming Language Wars: Questions and Responsibilities for the Programming Language Community · Andreas Stefik, Stefan Hanenberg
  18. The Semantics of Version Control · Wouter Swierstra, Andres Löh
  19. Towards Tierless Web Development without Tierless Languages · Laure Philips, Coen De Roover, Tom Van Cutsem, Wolfgang De Meuter
  20. Unifying Textual and Visual: A Theoretical Account of the Visual Perception of Programming Languages · Stéphane Conversy
  21. Variational Data Structures: Exploring Tradeoffs in Computing with Variability · Eric Walkingshaw, Christian Kästner, Martin Erwig, Sven Apel, Eric Bodden
  22. Versionable, Branchable, and Mergeable Application State · David H. Lorenz, Boaz Rosenan