416 search results - page 27 / 84 » The ruby intermediate language |
134
click to vote
ESOP
1999
Springer
15 years 6 months ago
1999
Springer
Safety of interoperation of program fragments written in different safe languages may fail when the languages have different systems of computational effects: an exception raised b...
102
Voted
CHARME
2003
Springer
15 years 6 months ago
2003
Springer
Industrial verification teams are actively developing suitable event sequence languages for hardware verification. Such languages must be expressive, designer friendly, and hardwar...
124
click to vote
POPL
2010
ACM
15 years 11 months ago
2010
ACM
Many large software systems originate from untyped scripting language code. While good for initial development, the lack of static type annotations can impact code-quality and per...
131
click to vote
ACM
1995
15 years 5 months ago
1995
: Systems are written in systems implementation languages. What characterizes such languages in the mid-1990’s? This paper identifies the typical environment that a system is bei...
115
click to vote
COMPSAC
2009
IEEE
15 years 5 months ago
2009
IEEE
Abstract. The TransLucid programming language is a low-level intensional language, designed to be sufficiently rich for it to be the target language for translating the common prog...