Sciweavers

201 search results - page 6 / 41
» Representing Java Classes in a Typed Intermediate Language
Sort
View
DKE
2007
99views more  DKE 2007»
13 years 7 months ago
Modeling and language support for the management of pattern-bases
In our days knowledge extraction methods are able to produce artifacts (also called patterns) that concisely represent data. Patterns are usually quite heterogeneous and require a...
Manolis Terrovitis, Panos Vassiliadis, Spiros Skia...
HIPEAC
2011
Springer
12 years 7 months ago
TypeCastor: demystify dynamic typing of JavaScript applications
Dynamic typing is a barrier for JavaScript applications to achieve high performance. Compared with statically typed languages, the major overhead of dynamic typing comes from runt...
Shisheng Li, Buqi Cheng, Xiao-Feng Li
ISORC
2008
IEEE
14 years 1 months ago
Hardware Objects for Java
Java, as a safe and platform independent language, avoids access to low-level I/O devices or direct memory access. In standard Java, low-level I/O it not a concern; it is handled ...
Martin Schoeberl, Christian Thalinger, Stephan Kor...
ESOP
2009
Springer
14 years 2 months ago
An Interval-Based Inference of Variant Parametric Types
Abstract. Variant parametric types (VPT) represent the successful result of combining subtype polymorphism with parametric polymorphism to support a more flexible subtyping for Ja...
Florin Craciun, Wei-Ngan Chin, Guanhua He, Shengch...
ESOP
2000
Springer
13 years 11 months ago
A Calculus for Compiling and Linking Classes
Abstract. We describe a low-level calculus, called ink (pronounced "links"), designed to serve as an intermediate representation in compilers for class-based objectorient...
Kathleen Fisher, John H. Reppy, Jon G. Riecke