18429 search results - page 128 / 3686 » Typing dynamic typing |
140
click to vote
HICSS
2003
IEEE
15 years 10 months ago
2003
IEEE
Identifying the true type of a computer file can be a difficult problem. Previous methods of file type recognition include fixed file extensions, fixed “magic numbers” stored ...
144
click to vote
CC
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Many important software systems are written in the C programming language. Unfortunately, the C language does not provide strong safety guarantees, and many common progra...
128
click to vote
ECOOP
2006
Springer
15 years 8 months ago
2006
Springer
A session takes place between two parties; after establishing a connection, each party interleaves local computations and communications (sending or receiving) with the other. Ses...
135
click to vote
APAQS
2001
IEEE
15 years 8 months ago
2001
IEEE
Data Types Tim Miller Paul Strooper May 2001 Phone: +61 7 3365 1003 Fax: +61 7 3365 1533 http://svrc.it.uq.edu.au
165
click to vote
TIC
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. The CIL compiler for core Standard ML compiles whole programs using a novel typed intermediate language (TIL) with intersection and union types and flow labels on both te...