Search Sciweavers | Sciweavers

2646 search results - page 27 / 530

» Local Type Inference

125

click to vote

EUROMICRO
2007
IEEE

108views Software Engineering» more EUROMICRO 2007»

Compatibility and reuse in component-based systems via type and unit inference

15 years 11 months ago

Download www4.in.tum.de

In many branches of industry, the component-based approach to systems design is predominant, e. g., as in embedded control systems which are often modelled using MATLAB/Simulink. ...

Christian Kühnel, Andreas Bauer 0002, Michael...

claim paper

Read More »

click to vote

ISSTA
2006
ACM

110views Software Engineering» more ISSTA 2006»

Dynamic inference of abstract types

15 years 10 months ago

Download www.stanford.edu

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

claim paper

Read More »

113

click to vote

ECLIPSE
2004
ACM

90views Software Engineering» more ECLIPSE 2004»

Visualizing type qualifier inference with Eclipse

15 years 10 months ago

Download www.cs.umd.edu

David Greenfieldboyce, Jeffrey S. Foster

claim paper

Read More »

102

Voted

APLAS
2003
ACM

98views Programming Languages» more APLAS 2003»

Type Inference with Structural Subtyping: A Faithful Formalization of an Efficient Constraint Solver

15 years 10 months ago

Download www.normalesup.org

Vincent Simonet

claim paper

Read More »

116

click to vote

ESOP
2003
Springer

97views Programming Languages» more ESOP 2003»

Type Inference for a Distributed pi-Calculus

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers