Search Sciweavers | Sciweavers

1096 search results - page 10 / 220

» Abstract Canonical Inference

click to vote

ISSTA
2006
ACM

110views Software Engineering» more ISSTA 2006»

Dynamic inference of abstract types

15 years 7 months ago

Download www.stanford.edu

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

claim paper

Read More »

Voted

LICS
2003
IEEE

98views Automated Reasoning» more LICS 2003»

Abstract Saturation-Based Inference

15 years 7 months ago

Download www.cs.tau.ac.il

Nachum Dershowitz, Claude Kirchner

claim paper

Read More »

105

click to vote

ICCL
1994
IEEE

95views Programming Languages» more ICCL 1994»

Binding-time Analysis: Abstract Interpretation versus Type Inference

15 years 6 months ago

Download www.cs.ucla.edu

Jens Palsberg, Michael I. Schwartzbach

claim paper

Read More »

Voted

DIS
2009
Springer

105views Theoretical Computer Science» more DIS 2009»

Inference and Learning in Planning (Extended Abstract)

15 years 5 months ago

Download www.dtic.upf.edu

Hector Geffner

claim paper

Read More »

124

Voted

CTRS
1994

156views Theoretical Computer Science» more CTRS 1994»

Abstract Notions and Inference Systems for Proofs by Mathematical Induction

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers