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.

Conference Day
Thu 23 Oct

Displayed time zone: Tijuana, Baja California change

15:30 - 17:00
Session the ThirdOnward! Papers at Salon A
Chair(s): Shriram KrishnamurthiBrown University
15:30
22m
Talk
Korz: Simple, Symmetric, Subjective,
 Context-Oriented Programming
Onward! Papers
David UngarIBM Research, Harold OssherIBM Research, Doug KimelmanIBM Research
15:52
22m
Talk
Mining the Ecosystem to Improve Type Inference For Dynamically Typed Languages
Onward! Papers
Boris SpasojevicUniversity of Bern, Switzerland, Mircea LunguUniversity of Bern, Switzerland, Oscar NierstraszUniversity of Bern, Switzerland
16:15
22m
Talk
Description Logic as Programming Language
Onward! Papers
James SkeneAuckland University of Technology
16:37
22m
Talk
It's only illegal if you get caught
Onward! Papers
Raphaël ProustUniversity of Cambridge, Alan MycroftUniversity of Cambridge