Search Sciweavers | Sciweavers

31387 search results - page 150 / 6278

» Abstracts

113

click to vote

ISSTA
2006
ACM

110views Software Engineering» more ISSTA 2006»

Dynamic inference of abstract types

16 years 13 days ago

Download www.stanford.edu

Philip J. Guo, Jeff H. Perkins, Stephen McCamant, ...

claim paper

Read More »

140

click to vote

ISSTA
2006
ACM

107views Software Engineering» more ISSTA 2006»

Testing, abstraction, theorem proving: better together!

16 years 13 days ago

Download www.cs.tau.ac.il

Greta Yorsh, Thomas Ball, Mooly Sagiv

claim paper

Read More »

132

click to vote

PADS
2006
ACM

106views Modeling and Simulation» more PADS 2006»

Using Abstraction in the Verification of Simulation Coercion

16 years 13 days ago

Download www.cs.virginia.edu

Xinyu Liu, Paul F. Reynolds Jr., David C. Brogan

claim paper

Read More »

127

click to vote

PLDI
2006
ACM

90views Programming Languages» more PLDI 2006»

Combining abstract interpreters

16 years 13 days ago

Download research.microsoft.com

Sumit Gulwani, Ashish Tiwari

claim paper

Read More »

104

click to vote

SAC
2006
ACM

83views Applied Computing» more SAC 2006»

Service interface: a new abstraction for implementing and composing protocols

16 years 13 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers