Grammaire contextuelle

Applied sciences
Génie informatique
Programmation informatique
Compilateur

À propos
Confidentialité
Mentions légales

Graph Chatbot

Publications associées (26)

Simplicitly: Foundations and Applications of Implicit Function Types

Martin Odersky, Heather Christine Klug, Fengyun Liu, Sandro Stucki, Olivier Eric Paul Blanvillain

Understanding a program entails understanding its context; dependencies, configurations and even implementations are all forms of contexts. Modern programming languages and theorem provers offer an array of constructs to define contexts, implicitly. Scala ...

2017

Synthesis and Reactivity of 1-Allenyltriazenes

Rosario Scopelliti, Kay Severin, Farzaneh Fadaei Tirani, Loïc Nicolas Jeanbourquin

1-Aryl-3,3-dialkyltriazenes have received considerable attention in the context of synthetic and medicinal chemistry. In contrast, the chemistry of other unsaturated triazenes is largely unexplored. The synthesis of 1-allenyltriazenes is described. This ne ...

2017

Design and implementation of an optimizing type-centric compiler for a high-level language

Dmytro Petrashko

Production compilers for programming languages face multiple requirements. They should be correct, as we rely on them to produce code. They should be fast, in order to provide a good developer experience. They should also be easy to maintain and evolve. Th ...

EPFL2017

Families with no s pairwise disjoint sets

Andrei Kupavskii

For integers n >= s >= 2 let e (n, s) denote the maximum of vertical bar F vertical bar, where F is a family of subsets of an n- element set and F contains no s pairwise disjoint members. Half a century ago, solving a conjecture of Erd. os, Kleitman determ ...

Wiley2017

Proactive Synthesis of Recursive Tree-to-String Functions from Examples

Viktor Kuncak, Mikaël Mayer, Jad Hamza

Synthesis from examples enables non-expert users to generate programs by specifying examples of their behavior. A domain-specific form of such synthesis has been recently deployed in a widely used spreadsheet software product. In this paper we contribute t ...

2017

MedCo: Enabling Privacy-Conscious Exploration of Distributed Clinical and Genomic Data

Jean-Pierre Hubaux, Jean Louis Raisaro, Bryan Alexander Ford, Olivier Michielin, Juan Ramón Troncoso-Pastoriza, Joao André Gomes de Sá e Sousa, Mickaël Misbach

Being able to share large amounts of sensitive clinical and genomic data across several institutions is crucial for precision medicine to scale up. Unfor- tunately, existing solutions only partially address this challenge and are still unable to provide th ...

2017

Page 2 sur 2