Gary T. Leavens, Jonathan Edwards
Proceedings of the Second Symposium on New Ideas in Programming and Reflections on Software
Onward!, 2012.

@proceedings{Onward-2012,
	acmid         = "2384592",
	address       = "Tucson, Arizona, USA",
	editor        = "Gary T. Leavens and Jonathan Edwards",
	isbn          = "978-1-4503-1562-3",
	publisher     = "{ACM}",
	title         = "{Proceedings of the Second Symposium on New Ideas in Programming and Reflections on Software}",
	year          = 2012,
}

Contents (16 items)

5 ×#programming
3 ×#development
3 ×#named
3 ×#programming language
2 ×#composition

Onward-2012-Schachman #interface #programming

Alternative programming interfaces for alternative programmers (TS), pp. 1–10.

Onward-2012-AfshariBS #programming

Liberating the programmer with prorogued programming (MA, ETB, ZS), pp. 11–26.

Onward-2012-HansenLG #architecture #programming

Cognitive architectures: a way forward for the psychology of programming (MEH, AL, RLG), pp. 27–38.

Onward-2012-MeyerovichR #named #programming language

Socio-PLT: principles for programming language adoption (LAM, ASR), pp. 39–54.

Onward-2012-PolitzVK

Progressive types (JGP, HQdlV, SK), pp. 55–66.

Onward-2012-BainomugishaVRCM #fresh look #programming

Interruptible context-dependent executions: a fresh look at programming context-aware applications (EB, JV, CDR, ALC, WDM), pp. 67–84.

Onward-2012-BlackBHN #named

Grace: the absence of (inessential) difficulty (APB, KBB, MH, JN), pp. 85–98.

Onward-2012-KatsVKV #development #research #web

Software development environments on the web: a research agenda (LCLK, RGV, KTK, EV), pp. 99–116.

Onward-2012-TaeumelSH #programming #runtime

The VIVIDE programming environment: connecting run-time information with programmers’ system knowledge (MT, BS, RH), pp. 117–126.

Onward-2012-McDirmid

Escaping the maze of twisty classes (SM), pp. 127–138.

Onward-2012-HafizAJ #pattern matching #security

Growing a pattern language (for security) (MH, PA, REJ), pp. 139–158.

Onward-2012-Heinlein #composition #named #programming language #static typing

MOST-flexiPL: modular, statically typed, flexibly extensible programming language (CH), pp. 159–178.

Onward-2012-LohSC #abstraction #composition

Managed data: modular strategies for data abstraction (AL, TvdS, WRC), pp. 179–194.

Onward-2012-Gabriel #programming language

The structure of a programming language revolution (RPG), pp. 195–214.

Onward-2012-JanesS #agile #development

The dark side of agile software development (AJ, GS), pp. 215–228.

Onward-2012-Beynon #development #experience

Realising software development as a lived experience (MB), pp. 229–244.