Concept
Strong and weak typing
Publications associées (86)
Foundations for SCALA
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 ...
EPFL2006Language Support for Fast and Reliable Message Based Communication in Singularity OS
Message-based communication offers potential benefits of providing stronger specification and cleaner separation between components. Compared with shared-memory interactions, message passing has the potential disadvantages of being more expensive (no direc ...
2006WSPM or How to Obtain Statistical Parametric Maps Using Shift-Invariant Wavelet Processing
Michaël Unser, Dimitri Nestor Alice Van De Ville, Thierry Blu
Recently, we have proposed a new framework for detecting brain activity from fMRI data, which is based on the spatial discrete wavelet transform. The standard wavelet-based approach performs a statistical test in the wavelet domain, and therefore fails to ...
IEEE2006Inner Classes and Virtual Types
Vincent Cremet, Philippe Altherr
This paper studies the interplay between inner classes and virtual types. The combination of these two concepts can be observed in object-oriented languages like Beta or Scala. This study is based on a calculus of classes and objects composed of a very lim ...
2005On Correctness of Dynamic Protocol Update
Replacing or adding network protocols at runtime is problematic – it must involve synchronization of the protocol switch with ongoing local and network communication. We define a formal mathematical model of dynamic protocol update (DPU) and use it to defi ...
2005Programming language abstractions for extensible software components
With the growing demand for software systems that can cope with an increasing range of information processing tasks, the reuse of code from existing systems is essential to reduce the production costs of systems as well as the time to manufacture new softw ...
EPFL2004Theoretical and experimental investigation of phase singularities generated by optical micro- and nano-structures
Phase singularities appear in the diffracted far-field of an optical micro-structure if the object is of a sufficient lateral size to induce an appropriate phase delay. We present results that determine the critical dimension of a single phase bar for the ...
2004Introduction to Cavitation in Hydraulic Machinery
Design, operation and refurbishment of hydraulic turbines, pumps or pump-turbine are strongly related to cavitation flow phenomena, which may occur in either the rotating runner-impeller or the stationary parts of the machine. The paper presents the cavita ...
Politehnica University of Timișoara2004