Publication

The Operational Semantics and Implementation of a Core Dart language

Publications associées (53)

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

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 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

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

Formal Semantics for Property-Property Relations in SEAM Visual Language: Towards Simulation and Analysis of Visual Specifications

Alain Wegmann, Irina Rychkova

SEAM is an enterprise architecture method that defines a visual language for modeling. Our goal is to provide formal semantics for SEAM. Model simulation, model comparison, and refinement verification are practical benefits we expect from this formalizatio ...

2007

A Visual Query Language for Complex-Value Databases

Christoph Koch

In this paper, a visual language, VCP, for queries on complex-value databases is proposed. The main strength of the new language is that it is purely visual: (i) It has no notion of variable, quantification, partiality, join, pattern matching, regular expr ...

2006

Looking Ahead in Open Multithreaded Transactions

Maxime Monod

Open multithreaded transactions constitute building blocks that allow a developer to design and structure the execution of complex distributed systems featuring cooperative and competitive concurrency in a reliable way. In this paper we describe an optimiz ...

2006

Validation of Visual Contracts for Services

Alain Wegmann, Lam Son Lê, José Diego de la Cruz Garcia

Visual modeling languages have specialized diagrams to represent behavior and concepts. This diagram specialization has drawbacks like the dif-ficulty to represent the effects of actions. We claim that visual contracts can de-scribe actions in a more compl ...

2006

Making Metamodels Aware of Concrete Syntax

Frédéric Fondement

Language-centric methodologies, triggered by the success of Domain Specific Languages, rely on precise specifications of modeling languages. While the definition of the abstract syntax is standardized by the 4-layer metamodel architecture of the OMG, most ...

2005

The Role of Tarski’s Declarative Semantics in the Design of Modeling Languages

Alain Wegmann, Andrey Naumenko

This paper focuses on Tarski

s declarative semantics and their usefulness in the design of a modeling language. We introduce the principles behind Tarski

s approach to semantics and explain what advantages this offers in the context of modeling languages. ...

2003