Search Sciweavers | Sciweavers

31387 search results - page 223 / 6278

» Abstracts

233

click to vote

AM
1989

310views Mathematics» more AM 1989»

Design of a Specification Language by Abstract Syntax Engineering

15 years 10 months ago

Download igitur-archive.library.uu.nl

Jos C. M. Baeten, Jan A. Bergstra

claim paper

Read More »

146

click to vote

SAS
1992
Springer

124views Formal Methods» more SAS 1992»

An Application of Abstract Interpretation to Floating Point Arithmetic

15 years 10 months ago

Download www.cert.fr

Interpretation to Floating point Arithmetic Yamine A

Yamine Aït Ameur, Patrice Cros, J.-J. Falcon,...

claim paper

Read More »

175

click to vote

TPHOL
1992
IEEE

110views Automated Reasoning» more TPHOL 1992»

Modelling Generic Hardware Structures by Abstract Datatypes

15 years 10 months ago

Download rsg.informatik.uni-kl.de

Klaus Schneider, Ramayya Kumar, Thomas Kropf

claim paper

Read More »

132

click to vote

EDBT
1990
ACM

79views Database» more EDBT 1990»

Abstract Machine for LDL

15 years 10 months ago

Download www.cs.uwyo.edu

Danette Chimenti, Ruben Gamboa, Ravi Krishnamurthy

claim paper

Read More »

159

click to vote

VL
1992
IEEE

176views Visual Languages» more VL 1992»

Abstraction in Algorithm Animation

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers