3001 search results - page 312 / 601 » Recursive type generativity |
171
click to vote
SI3D
2006
ACM
16 years 17 days ago
2006
ACM
Shade Trees Morgan McGuire George Stathis Hanspeter Pfister Shriram Krishnamurthi Brown University Harvard Extension School MERL Brown University As GPU-powered special effects be...
233
click to vote
ESOP
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. We instantiate an Isabelle/HOL framework for proof carrying code to Jinja bytecode, a downsized variant of Java bytecode featuring objects, inheritance, method calls and ...
190
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
With computer systems becoming ever larger and more complex, the cost and effort associated with their construction is increasing and the systems are now sufficiently complex that...
191
click to vote
PLDI
2000
ACM
15 years 11 months ago
2000
ACM
Dynamic class loading during program execution in the JavaTM Programming Language is an impediment for generating code that is as e cient as code generated using static wholeprogr...
202
click to vote
AIM
2005
15 years 6 months ago
2005
Intelligent access to information requires semantic integration of structured databases with unstructured textual resources. While the semantic integration problem has been widely...