Search Sciweavers | Sciweavers

31387 search results - page 252 / 6278

» Abstracting abstract machines

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 »

147

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 »

161

click to vote

VL
1992
IEEE

176views Visual Languages» more VL 1992»

Abstraction in Algorithm Animation

15 years 10 months ago

Download www.cc.gatech.edu

Kenneth C. Cox, Gruia-Catalin Roman

claim paper

Read More »

116

Voted

FSTTCS
1990
Springer

53views Software Engineering» more FSTTCS 1990»

Relating Full Abstraction Results for Different Programming Languages

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers