Search Sciweavers | Sciweavers

2646 search results - page 27 / 530

» Local Type Inference

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 4 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 3 months ago

Download www.stanford.edu

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

claim paper

Read More »

click to vote

ECLIPSE
2004
ACM

90views Software Engineering» more ECLIPSE 2004»

Visualizing type qualifier inference with Eclipse

15 years 3 months ago

Download www.cs.umd.edu

David Greenfieldboyce, Jeffrey S. Foster

claim paper

Read More »

click to vote

APLAS
2003
ACM

98views Programming Languages» more APLAS 2003»

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

15 years 3 months ago

Download www.normalesup.org

Vincent Simonet

claim paper

Read More »

click to vote

ESOP
2003
Springer

97views Programming Languages» more ESOP 2003»

Type Inference for a Distributed pi-Calculus

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers