Publication

Static Analysis for the PHP Language

Related publications (34)

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.

English Spoken Term Detection in Multilingual Recordings

Petr Motlicek, Philip Neil Garner, Fabio Valente

This paper investigates the automatic detection of English spoken terms in a multi-language scenario over real lecture recordings. Spoken Term Detection (STD) is based on an LVCSR where the output is represented in the form of word lattices. The lattices a ...

Idiap2010

Designing an Artificial Robotic Interaction Language

The project described hereunder focuses on the design and implementation of a "Artificial Robotic Interaction Language", where the research goal is to find a balance between the effort necessary from the user to learn a new language and the resulting benef ...

Springer-Verlag New York, Ms Ingrid Cunningham, 175 Fifth Ave, New York, Ny 10010 Usa2009

Designing an artificial robotic interaction language

Springer Verlag2009

Linguistic contamination: an epistemological tool for interrogating vernacular tradition and contemporary architecture

Paola Tosolini

In 1919 in an essay entitled Tradition and the Individual Talent T. S. Eliot stated that a poet “is not likely to know what is to be done unless he lives in what is not merely the present, but the present moment of the past, unless he is conscious, not of ...

IASTE Center for Environmental Design Research2008

Optimizing Higher-Order Functions in Scala

Iulian Dragos

Scala relies on libraries as the default mechanism for language extension. While this provides an elegant solution for growing the language, the performance penalty incurred by call-by-name parameters, boxing and anonymous functions is high. We show that i ...

2008

Program Analysis with Dynamic Precision Adjustment

Dirk Thilo Beyer, Grégory Théoduloz

We present and evaluate a framework and tool for combining multiple program analyses which allows the dynamic (on-line) adjustment of the precision of each analysis depending on the accumulated results. For example, the explicit tracking of the values of a ...

IEEE2008

UECML: Unified Enterprise Competence Modelling Language

Rémy Glardon, Naoufel Cheikhrouhou, Grégoire Pepiot

This paper introduces the principles of a unifiedlanguage devoted to the area of competence-based enterprisemodelling. The language, named UECML, for UnifiedEnterpriseCompetenceModellingLanguage, is intended to provide a neutral interface to enterprisemode ...

Elsevier2007

A Side-by-Side Comparison of Exception Handling in Ada and Java

Stanislav Chachkov

The purpose of this paper is to compare the exception handling mechanisms of Ada and Java. In order to be intelligible and useful to both communities, we have tried not get into specific technical intricacies of the languages, perhaps sometimes at the cost ...

ACM Press2001

mmsearch: a motif arrangement language and search program

Philipp Bucher

This paper presents a language for describing arrangements of motifs in biological sequences, and a program that uses the language to find the arrangements in motif match databases. The program does not by itself search for the constituent motifs, and is t ...

2001

Tutorial introduction to the CAP (Computer-Aided Parallelization) Language. ...

Ecole Polytechnique Fédérale de Lausanne, EPFL-DI/LSP1999