Publication

Programming language abstractions for extensible software components

Publications associées (124)

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search

Modelling and schedulling of remanufacturing systems

In this thesis, the modelling and scheduling of remanufacturing systems is considered. An eXtended two-level Coloured Petri Net (XCPN) model is proposed for the objective of modelling remanufacturing shops. The extended model integrates the formalism of an ...

EPFL2005

Iterative Adaptation for Mobile Clients Using Existing APIs

Willy Zwaenepoel

Iterative Adaptation is a novel approach to adaptation for resource-limited mobile and wireless environments that supports powerful application-specific adaptations without requiring modifications to the application's source code. Common productivity appli ...

2005

Typing for Reliable Distributed Systems - Recent Advances

In this paper, we report on recent progress in the area of language-based software dependability. We give examples of using advanced type systems for statically detecting non-trivial programming errors in programs. We have chosen examples that are particul ...

2005

An Overview of the Scala Programming Language

Martin Odersky, Michel Schinz, Vincent Cremet, Burak Emir, Stéphane Micheloud, Nikolay Mihaylov, Matthias Zenger, Philippe Altherr

Scala fuses object-oriented and functional programming in a statically typed programming language. It is aimed at the construction of components and component systems. This paper gives an overview of the Scala language for readers who are familar with prog ...

2004

"May You Have a Strong (-Typed) Foundation", Why Strong-Typed Programming Languages Do Matter

Roland Siegwart, Nicola Tomatis

Programming efficient and reliable code can be considered a non-trivial task, as it requires deep understanding of the problem to be solved along with good programming skills. However, software frameworks and programming paradigms can provide a dependable ...

2004

Scalable Component Abstractions

We identify three programming language abstractions for the construction of re-usable components: abstract type members, explicit selftypes and symmetric mixin composition. Together, these abstractions enable us to transform an arbitrary assembly of static ...

2004

Scalable Component Abstractions

Martin Odersky, Matthias Zenger

2004

Righting Software

James Richard Larus

What tools do we use to develop and debug software? Most of us rely on a full-screen editor to write code, a compiler to translate it, a source-level debugger to correct it, and a source-code control system to archive and share it. These tools originated i ...

IEEE2004

Fast Prototyping and Refinement of Complex Dynamic Data Types in Multimedia Applications for Consumer Devices

David Atienza Alonso

Portable consumer devices are increasing more and more their capabilities and can now implement new multimedia algorithms that were resewed only for powerful workstations few years ago. Unfortunately, the original design characteristics of such algorithms ...

IEEE Signal Processing2004

Flexible subtyping relations for component-oriented formalisms and their verification

David Huerzeler

In this thesis we address the problem of safe substitutability in mobile component-oriented formalisms. We try to give a solution for different definitions of "safe" through a new notion of subtyping based on flexibility and observation. The aim is to have ...

EPFL2004