416 search results - page 22 / 84 » The ruby intermediate language |
FASE
2008
Springer
13 years 9 months ago
2008
Springer
For a number of programming languages, among them Eiffel, C, Java and Ruby, Hoare-style logics and dynamic logics have been developed. In these logics, pre- and postconditions are ...
PEWASUN
2008
ACM
13 years 9 months ago
2008
ACM
In this paper we present EDAT, a tool designed for the analysis of trace files from network simulations and experiments. The EDAT framework encapsulates analysis steps in extensib...
SPLC
2007
13 years 8 months ago
2007
Managing variability is the essence of software product line (PL) practice. With many variant features and complex dependencies among them, it also becomes a major challenge for e...
IMCSIT
2010
13 years 5 months ago
2010
GridSpace 2 is a novel virtual laboratory framework enabling researchers to conduct virtual experiments on Gridbased resources and other HPC infrastructures. GridSpace 2 facilitate...
PROMAS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We describe the design of an intermediate language (AIL) for BDIstyle programming languages. AIL is not intended as yet another programming language, but is meant to prov...