‹Programming› 2018
Mon 9 - Thu 12 April 2018 Nice, France
Events (20 results)

Sulong, and Thanks for All the Fish

MoreVMs 2018 When: Mon 9 Apr 2018 14:30 - 15:00 People: Manuel Rigger, Roland Schatz, Jacob Kreindl, Christian Häubl, Hanspeter Mössenböck

… to support all languages that have a LLVM back end. It supports configurations …

Session Types for Tierless Web Applications

ProWeb 2018 When: Tue 10 Apr 2018 11:50 - 12:15 People: Simon Fowler, Sam Lindley, J. Garrett Morris, Sara Décova

… across all tiers, instead of using different languages for client, server …

Word expansion supports POSIX shell interactivity

PX/18 When: Tue 10 Apr 2018 17:00 - 17:30 People: Michael Greenberg

… of all kinds; the shell is used on a sliding scale from one-o commands in an interactive mode all the way to complex scripts managing, e.g., system boot sequences. For all of its utility, the POSIX shell is feared and maligned …

The inevitable death of VMs: a progress report

MoreVMs 2018 When: Mon 9 Apr 2018 15:00 - 15:30 People: Stephen Kell

… tooling. All are enabled by the internal uniformity of a virtual machine …

Semprola: A Semiotic Programming Language

Salon des Refusés 2018 When: Mon 9 Apr 2018 16:30 - 17:00 People: Oli Sharpe

… principle of our code. All of the information held in this environment is managed …

Profunctor Optics and the Yoneda Lemma

Bx 2018 When: Tue 10 Apr 2018 17:00 - 17:30 People: Jeremy Gibbons, Guillaume Boisseau

… of “getter” and “setter” functions is not at all obvious. We derive of the former from …

Enhancing the JTL Tool for Bidirectional Transformations

Bx 2018 When: Tue 10 Apr 2018 15:00 - 15:30 People: Romina Eramo, Alfonso Pierantonio, Michele Tucci

… and constraint-based semantics allows to restore consistency by returning all

Few Versatile vs. Many Specialized Collections

PX/18 When: Tue 10 Apr 2018 15:30 - 16:00 People: Stefan Marr, Benoit Daloze

… While an integral part of all programming languages, the design of collection libraries is rarely studied. This work brie y reviews the collection libraries of 14 languages to identify possible design dimensions. Some languages have …

On the Development of Consistent User Interfaces

Bx 2018 When: Tue 10 Apr 2018 10:00 - 10:30 People: Anthony Anjorin, Enes Yigitbas, Hermann Kaindl, Roman Popp

… an additional challenge: ensuring that all the different UI models remain …

Multimodel Correspondence through Inter-Model Constraints

Bx 2018 When: Tue 10 Apr 2018 09:30 - 10:00 People: Patrick Stünkel, Harald König, Yngve Lamo, Adrian Rutle

… the structural properties of all involved model spaces. If the global rules …

ACID for Programmers!

PX/18 When: Tue 10 Apr 2018 09:00 - 09:22 People: Friedrich Steimann

… , the programmers are more than a handful, and work division is all but self-evident … — to literally all modern programming languages.

Lightweight Data Sharing System based on Bidirectional Transformations

Bx 2018 When: Tue 10 Apr 2018 15:30 - 16:00 People: Adrien Duchêne, Hugues Marchal, Zhenjiang Hu, Pierre Yves Schobbens

… thanks to BXs. All this means that the user does not need to know databases …

Towards sound, flexible and optimal build for megamodels

Bx 2018 When: Tue 10 Apr 2018 17:30 - 18:00 People: Perdita Stevens

… Model-driven development aims to enable the separation of concerns in software development, by allowing different people to work with different models which are automatically reconciled, eventually all contributing to running software …

The Fun of Being Wrong, or: The Game of Programmer vs. IDE

PX/18 When: Tue 10 Apr 2018 15:00 - 15:30 People: Friedrich Steimann

… and static semantics, an IDE could at all times engage the programmer in a dialogue …

Confidentiality in the process of (model-driven) software development

Bx 2018 When: Tue 10 Apr 2018 09:00 - 09:30 People: Michael Johnson, Perdita Stevens

… work with separate models, where (ideally) each model records all and only …

Lisp, Jazz, Aikido – Three Expressions of a Single Essence

Research Papers When: Wed 11 Apr 2018 13:45 - 14:30 People: Didier Verna

… art form also needs a bit of science. Among all scientific disciplines … such or such language or paradigm, or why do we shape our programs the way we do, all … sensitivities are so personal, all we can really do is relate our own experiences …

Description Languages for Consistency Management Scenarios Based on Examples from the Industry Automation Domain

Research Papers When: Thu 12 Apr 2018 16:00 - 16:30 People: Anthony Anjorin, Enes Yigitbas, Erhan Leblebici, Andy Schürr, Marius Lauder, Martin Witte

… a means of checking, restoring, and ensuring the consistency of all involved … but all require varying forms of support for consistency management. By using …

Proactive Empirical Assessment of New Language Feature Adoption via Automated Refactoring: The Case of Java 8 Default Methods

Research Papers When: Thu 12 Apr 2018 11:00 - 11:30 People: Raffi Khatchadourian, Hidehiko Masuhara

… default methods in all situations. Our study consisted of submitting pull requests …

Language-integrated provenance in Haskell

Research Papers When: Wed 11 Apr 2018 11:30 - 12:00 People: Jan Stolarek, James Cheney

… implement such techniques themselves or (all too often) go without …

Fast, Flexible, Polyglot Instrumentation Support for Debuggers and other Tools

Research Papers When: Thu 12 Apr 2018 10:30 - 11:00 People: Michael Van De Vanter, Chris Seaton, Michael Haupt, Christian Humer, Thomas Wuerthinger

… services and tools that work for all implemented languages, either singly …