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

Formal semantics

Related publications (5)

Measurement of the ratio of branching fractions of the decays0(2S) and arrange Lambda

Jian Wang, Mingkui Wang, Olivier Schneider, Zhirui Xu, Yiming Li, Yi Zhang, Lei Zhang, Yi Wang, Aurelio Bay, Guido Haefeli, Jessica Prisciandaro, Tatsuya Nakada, Mark Tobin, Frédéric Blanc, Minh Tâm Tran, Greig Alan Cowan, Maurizio Martinelli, Vladislav Balagura, Donal Patrick Hill, Liang Sun, Luca Pescatore, François Fleuret, Mirco Dorigo, Jean Wicht, Liupan An, Chitsanu Khurewathanakul, Plamen Hristov Hopchev, Renato Quagliani, Hang Yin, Guido Andreassi, Olivier Göran Girard, Axel Kuonen, Preema Rennee Pais, Aravindhan Venkateswaran, Elena Graverini, Michel De Cian, Maria Elena Stramaglia, Vladimir Macko, Federico Leo Redi, Luis Miguel Garcia Martin, Tommaso Colombo, Vitalii Lisovskyi, Violaine Bellée, Guillaume Max Pietrzyk, Pavol Stefko, Pietro Marino, Maria Vieites Diaz, Lino Ferreira Lopes, Matthieu Philippe Luther Marinangeli, Maxime Schubiger, Christoph Frei, Sebastiana Gianì

Using pp collisions corresponding to 3 fb integrated luminosity, recorded by the LHCb experiment at centre- of- mass energies of 7 and 8TeV, the ratio of branching fractions B (0b ! (2 S) ) =B (0b ! J= ) = 0 : 513 0 : 023 (stat) 0 : 016 (syst) 0 : 011 (B) ...

Springer Nature2019

Offer semantics: Achieving compositionality, flattening and full expressiveness for the glue operators in BIP

Simon Bliudze, Eduard Baranov

Based on a concise but comprehensive overview of some fundamental properties required from component-based frameworks, namely compositionality, incrementality, flattening, modularity and expressiveness, we review three modifications of the semantics of glu ...

Elsevier2015

Constraint Solving for Software Reliability and Text Analysis

Viktor Kuncak

We will develop and implement new algorithms for constraint solving and apply them to construct two classes of tools: 1) bug finding and verification tools building on tools such as Java PathFinder and Jahob; 2) tools for deep semantic analysis of texts co ...

2008

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

Alain Wegmann

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

Foundations for SCALA : semantics and proof of virtual types

Vincent Cremet

SCALA is an attractive programming language because it is both very expressive and statically strongly typed. This marriage against nature comes at the price of a certain complexity in the language constructs and the static analysis. This complexity makes ...

EPFL2006