Andrew P. Black, Shriram Krishnamurthi, Bernd Brügge, Joseph N. Ruskiewicz
Proceedings of the Fourth Symposium on New Ideas in Programming and Reflections on Software
Onward!, 2014.

@proceedings{Onward-2014,
	acmid         = "2661136",
	address       = "Portland, Oregon, USA",
	editor        = "Andrew P. Black and Shriram Krishnamurthi and Bernd Brügge and Joseph N. Ruskiewicz",
	isbn          = "978-1-4503-3210-1",
	publisher     = "{ACM}",
	title         = "{Proceedings of the Fourth Symposium on New Ideas in Programming and Reflections on Software}",
	year          = 2014,
}

Contents (22 items)

4 ×#programming language
3 ×#development
3 ×#programming
2 ×#version control
2 ×#web

Onward-2014-McDirmidE #programming

Programming with Managed Time (SM, JE), pp. 1–10.

Onward-2014-SamimiDOWM #call-by

Call by Meaning (HS, CD, YO, AW, TDM), pp. 11–28.

Onward-2014-LorenzR #version control

Versionable, Branchable, and Mergeable Application State (DHL, BR), pp. 29–42.

Onward-2014-SwierstraL #semantics #version control

The Semantics of Version Control (WS, AL), pp. 43–54.

Onward-2014-ReyndersDP #functional #multi #programming #web

Multi-Tier Functional Reactive Programming for the Web (BR, DD, FP), pp. 55–68.

Onward-2014-PhilipsRCM #development #towards #web

Towards Tierless Web Development without Tierless Languages (LP, CDR, TVC, WDM), pp. 69–81.

Onward-2014-GuSBS #ide #interactive

Capturing and Exploiting IDE Interactions (ZG, DS, ETB, ZS), pp. 83–94.

Onward-2014-VisserWTNVPK #design #implementation #verification

A Language Designer’s Workbench: A One-Stop-Shop for Implementation and Verification of Language Designs (EV, GW, APT, PN, VAV, AP, GK), pp. 95–111.

Onward-2014-UngarOK #named #programming #symmetry

Korz: Simple, Symmetric, Subjective, Context-Oriented Programming (DU, HO, DK), pp. 113–131.

Onward-2014-SpasojevicLN #ecosystem #mining #type inference

Mining the Ecosystem to Improve Type Inference for Dynamically Typed Languages (BS, ML, ON), pp. 133–142.

Onward-2014-Skene #logic #programming language

Description Logic as Programming Language (JS), pp. 143–162.

Onward-2014-ProustM #invariant

It’s Only Illegal If You Get Caught: Breaking Invariants and Getting Away with It (RP, AM), pp. 163–171.

Onward-2014-KaraivanovRV #programming language #statistics

Phrase-Based Statistical Translation of Programming Languages (SK, VR, MTV), pp. 173–184.

Onward-2014-TaeumelPSLH #data-driven #development

Interleaving of Modification and Use in Data-driven Tool Development (MT, MP, BS, JL, RH), pp. 185–200.

Onward-2014-Conversy #programming language #visual notation

Unifying Textual and Visual: A Theoretical Account of the Visual Perception of Programming Languages (SC), pp. 201–212.

Onward-2014-WalkingshawKEAB #data type #trade-off #variability

Variational Data Structures: Exploring Tradeoffs in Computing with Variability (EW, CK, ME, SA, EB), pp. 213–226.

Onward-2014-Kell

In Search of Types (SK), pp. 227–241.

Onward-2014-AcherCC #domain-specific language

Metamorphic Domain-Specific Languages: A Journey into the Shapes of a Language (MA, BC, PC), pp. 243–253.

Onward-2014-GroceAG

Coverage and Its Discontents (AG, MAA, RG), pp. 255–268.

Onward-2014-Murphy #development

Getting to Flow in Software Development (GCM), pp. 269–281.

Onward-2014-StefikH #community #programming language

The Programming Language Wars: Questions and Responsibilities for the Programming Language Community (AS, SH), pp. 283–299.

Onward-2014-Gabriel

I Throw Itching Powder at Tulips (RPG), pp. 301–319.