Proceedings of the Fourth Symposium on New Ideas in Programming and Reflections on Software
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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.

Full names Links ISxN
	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)

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.
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.
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.
I Throw Itching Powder at Tulips (RPG), pp. 301–319.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.