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

Concept

Symbole (logique)

Publications associées (5)

Axiomatic scale theory

Martin Alois Rohrmeier, Daniel Harasim

Scales are a fundamental concept of musical practice around the world. They commonly exhibit symmetry properties that are formally studied using cyclic groups in the field of mathematical scale theory. This paper proposes an axiomatic framework for mathema ...

TAYLOR & FRANCIS LTD2020

Zippy LL(1) Parsing with Derivatives

Viktor Kuncak, Jad Hamza, Romain Edelmann

In this paper, we present an efficient, functional, and formally verified parsing algorithm for LL(1) context-free expressions based on the concept of derivatives of formal languages. Parsing with derivatives is an elegant parsing technique, which, in the ...

ASSOC COMPUTING MACHINERY2020

Type Soundness Proofs with Definitional Interpreters

Tiark Rompf, Nada Amin

While type soundness proofs are taught in every graduate PL class, the gap between realistic languages and what is accessible to formal proofs is large. In the case of Scala, it has been shown that its formal model, the Dependent Object Types (DOT) calculu ...

Assoc Computing Machinery2017

L'habitant et la cohabitation dans les modèles de l'espace habité

André Ourednik

The notion of habiter (inhabiting in both a transitive and intransitive sense), developed in the course of the second half of the 20th century, made it possible to place the human individual in the center of spatial theories. Of phenomenological inspiratio ...

EPFL2010

A system engineering methodology integrating performance evaluation and formal specification

The situation of telecommunications systems is rapidly evolving towards a state characterized by the presence of a multitude of services integrated in a single network structure. In order to ease their integration, it is important to provide an unambiguous ...

EPFL1996