4116 search results - page 76 / 824 » Type Analysis for CHIP |
110
Voted
HICSS
2006
IEEE
15 years 8 months ago
2006
IEEE
We explored whether Fisher and Durrance’s [11] framework of information communities applies to online technical newsgroups and the impact of particular social types on informati...
148
click to vote
POPL
1998
ACM
15 years 6 months ago
1998
ACM
constraint solver. The other infers annotations on bound variables in function abstractions by propagating type constraints downward from enclosing application nodes. We motivate o...
108
click to vote
ICALP
2000
Springer
15 years 6 months ago
2000
Springer
We introduce a generic type system (based on Milner's sort system) for the synchronous polyadic -calculus, allowing us to mechanise the analysis of input/output capabilities o...
118
Voted
VISSYM
2007
15 years 5 months ago
2007
With the ubiquity of typed text, the style and much of the personality of handwriting has been lost from general communication. To counter this we introduce an artistic real-time ...
137
Voted
CADE
2010
Springer
15 years 3 months ago
2010
Springer
Automated software verification and path-sensitive program analysis require the ability to distinguish executable program paths from those that are infeasible. To achieve this, pro...