Search Sciweavers | Sciweavers

411 search results - page 9 / 83

» Algebraic Imperative Specifications

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 5 months ago

Download userweb.cs.utexas.edu

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

claim paper

Read More »

125

click to vote

TAPSOFT
1997
Springer

124views Software Engineering» more TAPSOFT 1997»

CoFI: The Common Framework Initiative for Algebraic Specification and Development

15 years 3 months ago

Download www.brics.dk

Peter D. Mosses

claim paper

Read More »

click to vote

AMAST
2004
Springer

90views Software Engineering» more AMAST 2004»

State Space Reduction for Process Algebra Specifications

15 years 3 months ago

Download www.inrialpes.fr

Hubert Garavel, Wendelin Serwe

claim paper

Read More »

click to vote

BIRTHDAY
2006
Springer

151views Applied Computing» more BIRTHDAY 2006»

Elementary Algebraic Specifications of the Rational Complex Numbers

15 years 3 months ago

Download www.cs.swan.ac.uk

Jan A. Bergstra, John V. Tucker

claim paper

Read More »

click to vote

COMPASS
1995

173views Programming Languages» more COMPASS 1995»

Combining Algebraic and Set-Theoretic Specifications

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers