1154 search results - page 128 / 231 » Implementing Typed Intermediate Languages |
165
click to vote
POPL
2008
ACM
15 years 10 months ago
2008
ACM
The C language definition leaves the sizes and layouts of types partially unspecified. When a C program makes assumptions about type layout, its semantics is defined only on platf...
SAC
2006
ACM
14 years 10 months ago
2006
ACM
The second-class formulation of generics in Java 5.0 discards generic type information during compilation. As a result, Java 5.0 prohibits run-time type-dependent operations, gene...
CL
1999
Springer
14 years 9 months ago
1999
Springer
It is well known that dynamic typing in languages like Lisp is costly in terms of performance. Besides the cost of tag checking, the other major source of ine ciency comes from th...
WWW
2010
ACM
15 years 5 months ago
2010
ACM
Relational databases hold a vast quantity of information and making them accessible to the web is an big challenge. There is a need to make these databases accessible with as litt...
SOCRATES
2008
14 years 11 months ago
2008
The present paper analyzes a learning experience run at University of Macerata, during a post degree course for in service teachers and mature students. The course was delivered e...