Search Sciweavers | Sciweavers

78

Voted

FMOODS
2003

129views Formal Methods» more FMOODS 2003»

Engineering the SDL Formal Language Definition

14 years 11 months ago

Download www.iis.nsk.su

Andreas Prinz, Martin von Löwis

claim paper

Read More »

70

Voted

FMOODS
2003

108views Formal Methods» more FMOODS 2003»

A Calculus for Long-Running Transactions

14 years 11 months ago

Download www.cs.unibo.it

Laura Bocchi, Cosimo Laneve, Gianluigi Zavattaro

claim paper

Read More »

103

Voted

FMOODS
2003

151views Formal Methods» more FMOODS 2003»

A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts

14 years 11 months ago

Download www.cs.uu.nl

This paper outlines a sound and complete Hoare logic for a sequential object-oriented language with inheritance and subtyping like Java. It describes a weakest precondition calculu...

Cees Pierik, Frank S. de Boer

claim paper

Read More »

94

Voted

FMOODS
2003

145views Formal Methods» more FMOODS 2003»

The Kell Calculus: Operational Semantics and Type System

14 years 11 months ago

Download sardes.inrialpes.fr

This paper1 presents the Kell calculus, a new distributed process calculus that retains the original insights of the Seal calculus (local actions, process replication) and of the M...

Philippe Bidinger, Jean-Bernard Stefani

claim paper

Read More »

98

Voted

FMOODS
2003

168views Formal Methods» more FMOODS 2003»

Towards Object-Oriented Graphs and Grammars

14 years 11 months ago

Download www.inf.ufrgs.br

This work aims to extend the algebraical approach to graph transformation to model object-oriented systems structures and computations. A graph grammar based formal framework for o...

Ana Paula Lüdtke Ferreira, Leila Ribeiro

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers