Publication

Compile-Time Type-Driven Data Representation Transformations in Object-Oriented Languages

Related publications (159)

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Capabilities for Uniqueness and Borrowing

Martin Odersky, Philipp Haller

An important application of unique object references is safe and efficient message passing in concurrent object-oriented programming. However, to prevent the ill effects of aliasing, practical systems often severely restrict the shape of messages passed by ...

2009

The roles of mask luminance and perceptual grouping in visual backward masking

Michael Herzog, Gregory Francis

Visual backward masking is a commonly used technique in vision research and psychology. There are two distinct types of masking. Either masking is strongest for a simultaneous presentation of the target and the mask (A-type masking) or masking is strongest ...

Association for Research in Vision and Ophthalmology2009

Anomalous Magnetic Excitations of Cooperative Tetrahedral Spin Clusters

Henrik Moodysson Rønnow, Helmuth Berger, Joël Mesot, Johan Juul Chang, Krunoslav Prsa

An inelastic neutron scattering study of Cu2Te2O5X2 (X=Cl, Br) shows strong dispersive modes with large energy gaps persisting far above T-N, notably in Cu2Te2O5Br2. The anomalous features: a coexisting unusually weak Goldstone-like mode observed in Cu2Te2 ...

2009

Compiling structural types on the JVM: a comparison of reflective and generative techniques from Scala's perspective

Martin Odersky, Gilles Dubochet

This article describes Scala's compilation technique of structural types for the JVM. The technique uses Java reflection and polymorphic inline caches. Performance measurements of this technique are presented and analysed. Further measurements compare Scal ...

2009

Generics of a Higher Kind

Martin Odersky

With Java 5 and C-# 2.0, first-order parametric polymorphism was introduced in mainstream object-oriented programming languages under the name of generics. Although the first- order variant of generics is very useful, it also imposes some restrictions: it ...

2008

Roving in perceptual learning: stimulus interference and overlapping neural populations

Michael Herzog, Elisa Tartaglia

Performance usually improves when observers train with one type of a visual stimulus. Roving denotes the situation when, instead of one, two or more types of stimuli are presented randomly interleaved (one per trial). For some stimulus types, performance i ...

Association for Research in Vision and Ophthalmology2008

Scala

Gilles Dubochet

Scala is a general purpose programming language designed to express common programming patterns in a concise, elegant, and type-safe way. It smoothly integrates features of object-oriented and functional languages. It is also fully interoperable with Java. ...

2008

Jakstab: A Static Analysis Platform for Binaries

Johannes Kinder

For processing compiled code, model checkers require accurate model extraction from binaries. We present our fully configurable binary analysis platform Jakstab, which resolves indirect branches by multiple rounds of disassembly interleaved with dataflow a ...

Springer2008

Beyond Novelty Detection: Incongruent Events, when General and Specific Classifiers Disagree

Hynek Hermansky, Jie Luo

Unexpected stimuli are a challenge to any machine learning algorithm. Here we identify distinct types of unexpected events, focusing on ’incongruent events’ - when ’general level’ and ’specific level’ classifiers give conflicting predictions. We define a f ...

2008

Object-oriented pattern matching

Burak Emir

Pattern matching is a programming language construct considered essential in functional programming. Its purpose is to inspect and decompose data. Instead, object-oriented programming languages do not have a dedicated construct for this purpose. A possible ...

EPFL2007