Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Langage de programmation dynamique

Publications associées (25)

Staged parser combinators for efficient data processing

Martin Odersky, Tiark Rompf, Sandro Stucki, Manohar Jonnalagedda, Thierry Coppey

Parsers are ubiquitous in computing, and many applications depend on their performance for decoding data efficiently. Parser combinators are an intuitive tool for writing parsers: tight integration with the host language enables grammar specifications to b ...

ACM Press2014

Staged Parser Combinators for Efficient Data Processing

Martin Odersky, Tiark Rompf, Sandro Stucki, Manohar Jonnalagedda, Thierry Coppey

Assoc Computing Machinery2014

Miniature artificial compound eyes for optic-flow-based robotic navigation

Dario Floreano, Ramon Pericet Camara, Julien Jean Denis Nicolas Lecoeur

Miniature curved artificial compound eyes (CURVACE) represent a promising tool to assist in navigation of mobile robots. In particular, they feature ideal properties for minidrones to navigate safely in indoor environments due to its panoramic field of vie ...

IEEE2014

Effect Analysis for Programs with Callbacks

Viktor Kuncak, Philippe Paul Henri Suter, Etienne Kneuss

We introduce a precise interprocedural effect analysis for programs with mutable state, dynamic object allocation, and dynamic dispatch. Our analysis is precise even in the presence of dynamic dispatch where the context-insensitive estimate on the number o ...

Springer Berlin Heidelberg2013

Modeling an America's Cup Regatta as a Sequential Stochastic Game

Jean-Benoît Rossel

The main objective of this thesis is to model a regatta in the America’s Cup, and more precisely the first leg of the race, where the two competing sailboats have to move upwind. During the race, each crew attempts to be the first to reach the end of this ...

EPFL2013