Publication

On Repairing Ill-Typed Expressions

Publications associées (34)

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

On Complete Completion using Types and Weights

Viktor Kuncak, Tihomir Gvero, Ivan Kuraj, Ruzica Piskac

Developing modern software applications typically involves composing functionality from existing libraries. This task is difficult because libraries may expose many methods to the developer. To help developers in such scenarios, we present a technique that ...

2012

Analytical approximations for the collapse of an empty spherical bubble

Mohamed Farhat, Danail Obreschkow

The Rayleigh equation 3/2 (R) over dot + R(R) double over dot + p rho(-1) = 0 with initial conditions R(0) = R-0, (R) over dot(0) = 0 models the collapse of an empty spherical bubble of radius R(T) in an ideal, infinite liquid with far-field pressure p and ...

2012

Code Completion using Quantitative Type Inhabitation

Viktor Kuncak, Tihomir Gvero, Ruzica Piskac

2011

Phantm: PHP Analyzer for Type Mismatch

Viktor Kuncak, Etienne Kneuss, Philippe Paul Henri Suter

We present Phantm, a static analyzer that uses a flow-sensitive analysis to detect type errors in PHP applications. Phantm can infer types for nested arrays, and can leverage runtime information and procedure summaries for more precise results. Phantm foun ...

2010

Phantm: PHP analyzer for type mismatch

Viktor Kuncak, Etienne Kneuss, Philippe Paul Henri Suter

2010

Programming language abstractions for mobile code

Stéphane Micheloud

Scala is a general-purpose programming language developed at EPFL. It combines the most important concepts found in object-oriented and functional languages. Scala is a statically typed language; in particular it features an advanced type system and suppor ...

EPFL2009

Treatment of renal artery aneurysm with the multilayer stent

Luca Augsburger, Daniel Ruefenacht, Bastien Chopard, Isabelle Henry

Purpose: To describe a new type of stent consisting of a 3-dimensional (3D) braided tube made of 2 interconnected layers without any covering to treat a renal artery aneurysm. ...

2008

Cuba, Best Practices: quel potentiel d'élargissement

The present article evaluates the knowledge that can be attributed to the application of « Best Practices » in the field of urban habitat. It especially aims at identifying the conditions of innovation in such a setting, as well as defining the necessary c ...

2007

Détection des aberrations chromosomiques basée sur les profiles d'expression des gènes et les données aCGH

The detection of chromosomal aberrations constitutes an important stage in the comprehension of the pathogenesis of several diseases, as cancer. In this case, the amplification or deletion (suppression) of some chromosomal regions, was identified as being ...

EPFL2006

Foundations for SCALA

Vincent Cremet

SCALA is an attractive programming language because it is both very expressive and statically strongly typed. This marriage against nature comes at the price of a certain complexity in the language constructs and the static analysis. This complexity makes ...

EPFL2006