Blockchain platforms are coming into use for processing critical transactions among
participants who have not established mutual trust. Many blockchains are programmable …

The programming language Mezzo is equipped with a rich type system that controls aliasing
and access to mutable memory. We give a comprehensive tutorial overview of the language …

Programming languages exist to enable people to create and maintain software as
effectively as possible. They are subject to two very different sets of requirements: first, the …

Mutable state can be useful in certain algorithms, to structure programs, or for efficiency
purposes. However, when shared mutable state is used in non-local or nonobvious ways …

Blockchain platforms, such as Ethereum, promise to facilitate transactions on a
decentralized computing platform among parties that have not established trust. Recognition …

The developmentof distributedmobile applicationshas significantly differentrequirements
than traditional distributed applications. The fast changing network topology of a mobile …

Software is invading your everyday life. Your cellphone for instance, or smartphone, grants
you access to many applications which are not so phone-related. Those applications are …