Antony L. Hosking, Patrick Th. Eugster, Robert Hirschfeld
Proceedings of the Third Symposium on New Ideas in Programming and Reflections on Software
Onward!, 2013.

@proceedings{Onward-2013,
	acmid         = "2509578",
	address       = "Indianapolis, Indiana, USA",
	editor        = "Antony L. Hosking and Patrick Th. Eugster and Robert Hirschfeld",
	isbn          = "978-1-4503-2472-4",
	publisher     = "{ACM}",
	title         = "{Proceedings of the Third Symposium on New Ideas in Programming and Reflections on Software}",
	year          = 2013,
}

Contents (13 items)

5 ×#programming
3 ×#interactive
2 ×#modelling

Onward-2013-ValleeWZFK #modelling #problem #reasoning #security

Usable security as a static-analysis problem: modeling and reasoning about user permissions in social-sharing systems (HQdlV, JMW, WZ, KF, SK), pp. 1–16.

Onward-2013-MilicevicJGM #interactive #modelling #paradigm #programming #web

Model-based, event-driven programming paradigm for interactive web applications (AM, DJ, MG, DM), pp. 17–36.

Onward-2013-RossoJ #analysis #concept #design #git #what

What’s wrong with git?: a conceptual design analysis (SPDR, DJ), pp. 37–52.

Onward-2013-McDirmid #live programming #programming

Usable live programming (SM), pp. 53–62.

Onward-2013-Repenning #interactive #program analysis #programming

Conversational programming: exploring interactive program analysis (AR), pp. 63–74.

Onward-2013-MayerK #game studies #programming

Game programming by demonstration (MM, VK), pp. 75–90.

Onward-2013-XuCBD #development

User model and system model: the yin and yang in user-centered software development (HX, OC, NB, RD), pp. 91–100.

Onward-2013-Aldrich #power of #why

The power of interoperability: why objects are inevitable (JA), pp. 101–116.

Onward-2013-OhshimaLFK #declarative #framework #interactive #user interface

KScript and KSWorld: a time-aware and mostly declarative language and interactive GUI framework (YO, AL, BF, TK), pp. 117–134.

Onward-2013-TorlakB

Growing solver-aided languages with rosette (ET, RB), pp. 135–152.

Onward-2013-McCorkle #physics

Building connections between theories of computing and physical systems (ELM), pp. 153–172.

Onward-2013-Steimann #multi #object-oriented #programming

Content over container: object-oriented programming with multiplicities (FS), pp. 173–186.

Onward-2013-WurthingerWWSDHRSW #virtual machine

One VM to rule them all (TW, CW, AW, LS, GD, CH, GR, DS, MW), pp. 187–204.