Mon 26 Oct 2015 14:10 - 14:20 at Grand Station 5 - Programming Languages Papers Chair(s): Joshua Sunshine

Many programming languages provide features that express restrictions on which data structures can be changed. For example, C++ includes const and Java includes final. Languages that are in widespread use typically provide intransitive immutability: when a reference is specified to be immutable or read-only, the object referenced can still reference mutable structures. However, some languages, particularly research languages, provide transitive immutability, in which immutable objects can only reference other immutable objects (with some exceptions). We are designing a lab study of programmers to elucidate the differences in programmer effectiveness between these two approaches.

Comparing Transitive to Intransitive Object Immutability (plateau2015-coblenz.pdf)85KiB

Mon 26 Oct

plateau2015
13:30 - 15:00: PLATEAU - Programming Languages Papers at Grand Station 5
Chair(s): Joshua SunshineCarnegie Mellon University
plateau2015144586260000013:30 - 13:50
Talk
Fredy CuencaHasselt University - tUL - iMinds, Jan Van den BerghHasselt University - tUL - iMinds, Kris LuytenHasselt University - tUL - iMinds, Karin ConinxHasselt University - tUL - iMinds
File Attached
plateau2015144586380000013:50 - 14:10
Talk
Gustavo PintoUFPE, Weslley TorresFederal University of Pernambuco, Fernando CastorUFPE
File Attached
plateau2015144586500000014:10 - 14:20
Talk
Michael CoblenzCarnegie Mellon University, Joshua SunshineCarnegie Mellon University, Brad MyersCarnegie Mellon University, Sam WeberSoftware Engineering Institute, Forrest ShullSoftware Engineering Institute
File Attached
plateau2015144586560000014:20 - 14:33
Talk
Ismael FigueroaPontificia Universidad Católica de Valparaíso, Chile, Romain RobbesUniversity of Chile
File Attached
plateau2015144586638000014:33 - 14:46
Talk
Najwani RazaliVictoria University of Wellington, James NobleVictoria University of Wellington, Stuart MarshallVictoria University of Wellington
File Attached
plateau2015144586716000014:46 - 14:59
Talk
David PearceVictoria University of Wellington
File Attached