5415 search results - page 477 / 1083 » The Implementation of Functional Programming Languages |
156
click to vote
FLAIRS
2008
15 years 10 months ago
2008
This paper describes the efforts undertaken in an international research project LT4eL from the perspective of one of the participating languages, Czech. The project aims at explo...
223
Voted
VL
2002
IEEE
16 years 17 days ago
2002
IEEE
The design and implementation of a novel visual interactive execution environment for Java is described. This system displays both the run-time object structure as well as the int...
217
click to vote
AADEBUG
1997
Springer
15 years 12 months ago
1997
Springer
We introduce an assertion language for run-time checking of linked list data structure shapes. The assertion language is expressive enough to define characteristic predicates for ...
175
Voted
IFIP
2009
Springer
16 years 2 months ago
2009
Springer
We firstly describe an algebraic structure which serves as solid basis to quantitatively reason about information flows. We demonstrate how programs in form of partition of state...
172
Voted
SAC
2009
ACM
16 years 2 months ago
2009
ACM
Code libraries are characterized by feature-richness — and, consequently, high overhead. The library specialization problem is the problem of obtaining a low-overhead version of...