18429 search results - page 342 / 3686 » Typing dynamic typing |
155
Voted
PEPM
2000
ACM
15 years 10 months ago
2000
ACM
169
click to vote
PEPM
2000
ACM
15 years 10 months ago
2000
ACM
Many program optimisations and analyses, such as arraybound checking, termination analysis, etc, dependon knowing the size of a function's input and output. However, size inf...
149
Voted
PEPM
2000
ACM
15 years 10 months ago
2000
ACM
163
Voted
POPL
2000
ACM
15 years 10 months ago
2000
ACM
