Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

104

Voted

ERSHOV
1999
Springer

99views Theoretical Computer Science» more ERSHOV 1999»

Algebraic Imperative Specifications

15 years 7 months ago

Algebraic Imperative Specifications

Download www.mraleph.info

Marie-Claude Gaudel, Alexandre V. Zamulin

Real-time Traffic

ERSHOV 1999 | Theoretical Computer Science |

claim paper

Related Content

» From Relational Specifications to Logic Programs

» A Provably Correct Compiler Generator

» A model of cooperative threads

» Alchemy transmuting base alloy specifications into implementations

» From Declarative to Imperative UMLOCL Operation Specifications

» Imperatives Commitment and Action Towards a Constraintbased Model

» Matching Logic An Alternative to HoareFloyd Logic

» A Note on Test Oracles and Semantics of Algebraic Specifications

» KATML an interactive theorem prover for Kleene algebra with tests

Post Info
More Details (n/a)

Added	04 Aug 2010
Updated	04 Aug 2010
Type	Conference
Year	1999
Where	ERSHOV
Authors	Marie-Claude Gaudel, Alexandre V. Zamulin

Comments (0)