Search Sciweavers | Sciweavers

3591 search results - page 21 / 719

» Typing linear constraints

click to vote

ECOOP
2004
Springer

88views Programming Languages» more ECOOP 2004»

Customization of Java Library Classes Using Type Constraints and Profile Information

15 years 6 months ago

Download users.elis.ugent.be

Bjorn De Sutter, Frank Tip, Julian Dolby

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 6 months ago

Download www.normalesup.org

Vincent Simonet

claim paper

Read More »

Voted

TIC
1998
Springer

83views System Software» more TIC 1998»

A Toolkit for Constructing Type- and Constraint-Based Program Analyses

15 years 4 months ago

Download www.cs.umd.edu

Alexander Aiken, Manuel Fähndrich, Jeffrey S....

claim paper

Read More »

Voted

COLING
1994

85views Computational Linguistics» more COLING 1994»

TDL-A Type Description Language for Constraint-Based Grammars

15 years 2 months ago

Download acl.ldc.upenn.edu

Hans-Ulrich Krieger, Ulrich Schäfer

claim paper

Read More »

Voted

JCAMD
2002

33views more JCAMD 2002»

Flexible docking under pharmacophore type constraints

15 years 10 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers