Search Sciweavers | Sciweavers

411 search results - page 9 / 83

» Algebraic Imperative Specifications

139

click to vote

PPOPP
2005
ACM

109views Distributed And Parallel Com...» more PPOPP 2005»

Extracting SMP parallelism for dense linear algebra algorithms from high-level specifications

15 years 12 months ago

Download userweb.cs.utexas.edu

Tze Meng Low, Robert A. van de Geijn, Field G. Van...

claim paper

Read More »

193

click to vote

TAPSOFT
1997
Springer

124views Software Engineering» more TAPSOFT 1997»

CoFI: The Common Framework Initiative for Algebraic Specification and Development

15 years 10 months ago

Download www.brics.dk

Peter D. Mosses

claim paper

Read More »

142

click to vote

AMAST
2004
Springer

90views Software Engineering» more AMAST 2004»

State Space Reduction for Process Algebra Specifications

15 years 10 months ago

Download www.inrialpes.fr

Hubert Garavel, Wendelin Serwe

claim paper

Read More »

133

click to vote

BIRTHDAY
2006
Springer

151views Applied Computing» more BIRTHDAY 2006»

Elementary Algebraic Specifications of the Rational Complex Numbers

15 years 10 months ago

Download www.cs.swan.ac.uk

Jan A. Bergstra, John V. Tucker

claim paper

Read More »

162

Voted

COMPASS
1995

173views Programming Languages» more COMPASS 1995»

Combining Algebraic and Set-Theoretic Specifications

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers