18429 search results - page 212 / 3686 » Typing dynamic typing |
183
click to vote
AFP
2004
Springer
15 years 12 months ago
2004
Springer
Abstraction and application, tupling and projection: these provide the ‘software engineering’ superstructure for programs, and our familiar type systems ensure that these opera...
164
click to vote
PLDI
2003
ACM
15 years 11 months ago
2003
ACM
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected and nondeterministic interactions between threads. Previous work addressed th...
209
click to vote
TLDI
2003
ACM
15 years 11 months ago
2003
ACM
Standard ML employs an opaque (or generative) semantics of datatypes, in which every datatype declaration produces a new type that is different from any other type, including othe...
189
click to vote
PLDI
2010
ACM
15 years 11 months ago
2010
ACM
Static analysis designers must carefully balance precision and efficiency. In our experience, many static analysis tools are built around an elegant, core algorithm, but that alg...
202
click to vote
POPL
1999
ACM
15 years 11 months ago
1999
ACM
An increasing number of systems rely on programming language technology to ensure safety and security of low-level code. Unfortunately, these systems typically rely on a complex, ...