Onward! 2014
Mon 20 - Fri 24 October 2014 Portland, Oregon, United States
co-located with SPLASH 2014
Thu 23 Oct 2014 15:30 - 15:52 at Salon A - Session the Third Chair(s): Shriram Krishnamurthi

Korz is a new computational model that provides for context-oriented programming by combining implicit arguments and multiple dispatch in a slot-based model. This synthesis enables the writing of software that supports contextual variation along multiple dimensions, and graceful evolution of that software to support new, unexpected dimensions of variability, without the need for additional mechanism such as layers or aspects. With Korz, a system consists of a sea of method and data slots in a multidimensional space. There is no fixed organization of slots into objects – a slot pertains to a number of objects instead of being contained by a single object – and slots can come together according to the implicit context in any given situation, yielding subjective objects. There is no dominant decomposition, and no dimension holds sway over any other. IDE support is essential for managing complexity when working with the slot space and with subjectivity, allowing the task at hand to dictate what subspaces to isolate and what dominance of dimensions to use when presenting nested views to the user. We have implemented a prototype interpreter and IDE, and used it on several examples. This early experience has revealed much that needs to be done, but has also shown considerable promise. It seems that Korz’s particular combination of concepts, each well-known from the past, is indeed more powerful than the sum of its parts.

Thu 23 Oct

onward2014-papers
15:30 - 17:00: Onward! Papers - Session the Third at Salon A
Chair(s): Shriram KrishnamurthiBrown University
onward2014-papers15:30 - 15:52
Talk
David UngarIBM Research, Harold OssherIBM Research, Doug KimelmanIBM Research
onward2014-papers15:52 - 16:15
Talk
Boris SpasojevicUniversity of Bern, Switzerland, Mircea LunguUniversity of Bern, Switzerland, Oscar NierstraszUniversity of Bern, Switzerland
onward2014-papers16:15 - 16:37
Talk
James SkeneAuckland University of Technology
onward2014-papers16:37 - 17:00
Talk
Raphaël ProustUniversity of Cambridge, Alan MycroftUniversity of Cambridge