489 search results - page 4 / 98 » Reflection for Statically Typed Languages |
DLS
2007
13 years 11 months ago
2007
Although the C-based interpreter of Python is reasonably fast, implementations on the CLI or the JVM platforms offers some advantages in terms of robustness and interoperability. ...
JFP
2006
13 years 7 months ago
2006
This paper introduces reFLect, a functional programming language with reflection features intended for applications in hardware design and verification. The reFLect language is st...
ICFP
2000
ACM
13 years 11 months ago
2000
ACM
A number of security systems for programming languages have recently appeared, including systems for enforcing some form of ac
EMSOFT
2001
Springer
13 years 12 months ago
2001
Springer
Abstract. We present a framework to extend the concept of type systems in programming languages to capture the dynamic interaction in component-based design, such as the communicat...
ECOOP
1998
Springer
13 years 11 months ago
1998
Springer
Parametric types and virtual types have recently been proposed as extensions to Java to support genericity. In this paper we investigate the strengths and weaknesses of each. We su...