IMPERIAL 1994 | Sciweavers

29

IMPERIAL
1994

101views Formal Methods» more IMPERIAL 1994»

Geometric logic as a Specification Language

14 years 4 months ago

The \observational content" of geometric logic is discussed and it is proposed that geometric logic is an appropriate basis for a Z-like speci cation language in which schema...

Steven Vickers

claim paper

Read More »

29

click to vote

IMPERIAL
1994

111views Formal Methods» more IMPERIAL 1994»

Locales are Not Pointless

14 years 4 months ago

Download www.cs.bham.ac.uk

Steven Vickers

claim paper

Read More »

46

click to vote

IMPERIAL
1994

132views Formal Methods» more IMPERIAL 1994»

Combinators for Interaction Nets

14 years 4 months ago

Download www.dcs.gla.ac.uk

Simon J. Gay

claim paper

Read More »

35

click to vote

IMPERIAL
1994

108views Formal Methods» more IMPERIAL 1994»

Towards a GeoZ Toolkit

14 years 4 months ago

Download www.cs.bham.ac.uk

The use of Geometric Logic as the foundation of a speci cation language called GeoZ is proposed elsewhere 4]. In thisnote we explore GeoZ fromthe perspective of practitioners, who...

Mark Dawson, Steven Vickers

claim paper

Read More »

25

click to vote

IMPERIAL
1994

122views Formal Methods» more IMPERIAL 1994»

An Internal Language for Interaction Categories

14 years 4 months ago