When: Thursday, 20th June, 10h-11h30 Where: B31, Inria Building B Who: Olivier Danvy Les définitions inductives, les programmes récursifs, les continuations, et l’évaluation partielle Résumé: Les structures de données sont typiquement décrites de façon inductive. Les programmes qui les traversent sont typiquement écrits de façon récursive, en suivant leur structure. Les continuations permettent de traverser …
Catégorie : Talk
(English) Tips and Tricks for Communication in Computer Science: Reviews, Papers and Talks
Désolé, cet article est seulement disponible en Anglais Américain.
Suman Saha: Improving the Quality of Error-Handling Code
What: Improving the Quality of Error-Handling Code in Systems Software using Function-Local Information Who: Suman Saha, PhD in the Inria REGAL group When: March 12th, 11am Where: Inria B31 http://pagesperso-systeme.lip6.fr/Suman.Saha Abstract Adequate error-handling code is essential to the reliability of any systems software. On an error, such code is responsible for releasing acquired resources to …
PRIME – Yet another middleware for pervasive computing
Désolé, cet article est seulement disponible en Anglais Américain.
Michele Lanza: Software Visualization
What: Software Visualization: Principles, Practice, Myths, Perils, Promises, Evaluation, and all the rest Who: Michele Lanza, Professor at the University of Lugano When: Friday 15th February, 11h Where: Inria B21 ABSTRACT The title says it all: In this talk I will introduce the principles that govern software visualization, and show through a series of examples …
Journée Cloud SlapOS
Désolé, cet article est seulement disponible en Anglais Américain.
The Challenges of Cross-Language Interoperability
On Monday 4 February 2013, 14:00-15:30 Inria Lille room B31 (new building), David Chisnall (a Research Associate in the University of Cambridge Computer Lab) will give a talk on “The Challenges of Cross-Language Interoperability” As software becomes more complex, it becomes increasingly clear that no single language is an ideal solution for all parts of …
ArchLint: A Lightweight Approach for Architecture Conformance Based on a Combination of Static and Historical Source Code Analysis
On Friday 18 January 2013, 11:00-12:00 INRIA Lille room B21 (new building), Cristiano Maffort (PhD student at Federal University of Minas Gerais, Belo Horizonte, Brazil) will give a talk on “ArchLint: A Lightweight Approach for Architecture Conformance Based on a Combination of Static and Historical Source Code Analysis” Abstract: Software architecture conformance is a key …
Few issues in the development of service oriented architectures
Désolé, cet article est seulement disponible en Anglais Américain.
Understanding Code Changes With AST Differencing
Désolé, cet article est seulement disponible en Anglais Américain.