Search Sciweavers | Sciweavers

4211 search results - page 46 / 843

» Types as Abstract Interpretations

114

click to vote

ISSTA
2006
ACM

110views Software Engineering» more ISSTA 2006»

Dynamic inference of abstract types

16 years 15 days ago

Download www.stanford.edu

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

claim paper

Read More »

143

click to vote

APLAS
2005
ACM

140views Programming Languages» more APLAS 2005»

A Typed, Compositional Logic for a Stack-Based Abstract Machine

16 years 3 days ago

Download research.microsoft.com

Nick Benton

claim paper

Read More »

129

click to vote

LOPSTR
2005
Springer

131views Automated Reasoning» more LOPSTR 2005»

Converting One Type-Based Abstract Domain to Another

16 years 1 days ago

Download clip.dia.fi.upm.es

John P. Gallagher, Germán Puebla, Elvira Al...

claim paper

Read More »

131

click to vote

SPIN
2005
Springer

96views Theoretical Computer Science» more SPIN 2005»

Crafting a Promela Front-End with Abstract Data Types to Mitigate the Sensitivity of (Compositional) Analysis to Implementation

16 years 1 days ago

Download www.csie.ntnu.edu.tw

Yung-Pin Cheng

claim paper

Read More »

145

click to vote

ASIAN
2004
Springer

112views Algorithms» more ASIAN 2004»

Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers