Search Sciweavers | Sciweavers

11397 search results - page 17 / 2280

» A Relational Abstraction for Functions

132

click to vote

ECOOP
2007
Springer

87views Programming Languages» more ECOOP 2007»

A Higher Abstraction Level Using First-Class Inheritance Relations

16 years 21 days ago

Download people.cs.kuleuven.be

Marko van Dooren, Eric Steegmans

claim paper

Read More »

133

click to vote

ECML
2005
Springer

84views Machine Learning» more ECML 2005»

On the LearnAbility of Abstraction Theories from Observations for Relational Learning

16 years 2 days ago

Download www.di.uniba.it

Stefano Ferilli, Teresa Maria Altomare Basile, Nic...

claim paper

Read More »

156

click to vote

SAS
2005
Springer

96views Formal Methods» more SAS 2005»

Widening Operators for Weakly-Relational Numeric Abstractions

16 years 13 hour ago

Download www.cs.unipr.it

Roberto Bagnara, Patricia M. Hill, Elena Mazzi, En...

claim paper

Read More »

148

click to vote

ESOP
2004
Springer

97views Programming Languages» more ESOP 2004»

Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors

15 years 12 months ago

Download www.di.ens.fr

Antoine Miné

claim paper

Read More »

128

click to vote

TIME
2002
IEEE

80views Automated Reasoning» more TIME 2002»

Temporal Views as Abstract Relations

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers