Sciweavers

4770 search results - page 9 / 954

» Flexible Type Analysis

101

SAS
1997
Springer

90views Formal Methods» more SAS 1997»

Type-Directed Flow Analysis for Typed Intermediate Languages

15 years 7 months ago

Type-Directed Flow Analysis for Typed Intermediate Languages

Download www.cs.ucla.edu

Suresh Jagannathan, Stephen Weeks, Andrew K. Wrigh...

claim paper

Read More »

123

PLDI
1994
ACM

128views Programming Languages» more PLDI 1994»

Type Analysis of Prolog Using Type Graphs

15 years 7 months ago

Type Analysis of Prolog Using Type Graphs

Download www.dsi.unive.it

Pascal Van Hentenryck, Agostino Cortesi, Baudouin ...

claim paper

Read More »

127

PLDI
1990
ACM

103views Programming Languages» more PLDI 1990»

Iterative Type Analysis and Extended Message Splitting: Optimizing Dynamically-Typed Object-Oriented Programs

15 years 7 months ago

Iterative Type Analysis and Extended Message Splitting: Optimizing Dynamically-Typed Object-Oriented Programs

Download selflanguage.org

Craig Chambers, David Ungar

claim paper

Read More »

110

Voted

ICRA
1999
IEEE

90views Robotics» more ICRA 1999»

Testing and Analysis of a Flexible Feeding System

15 years 7 months ago

Testing and Analysis of a Flexible Feeding System

Download dora.eeap.cwru.edu

Flexible parts feeding techniques have recently begun to gain industry acceptance. However, one barrier to effective flexible feeding solutions is a dearth of knowledge of the und...

Greg C. Causey, Roger D. Quinn, Michael S. Branick...

claim paper

Read More »

135

COMPSYSTECH
2010

127views Hardware» more COMPSYSTECH 2010»

Coordination of work: towards a typology

15 years 3 months ago

Coordination of work: towards a typology

Download www.media.tuwien.ac.at

: Based on the study of different coordination theories and approaches and on the previous ethnographic case studies, authors identify certain types of coordination, which they int...

Hilda Tellioglu

claim paper

Read More »

« Prev « First page 9 / 954 Last » Next »