31 search results - page 6 / 7 » Static Type Inference for Parametric Classes |
131
click to vote
CORR
2002
Springer
15 years 2 months ago
2002
Springer
for data abstraction and justifies reasoning by simulation. Representation independence has been shown for a variety of languages and constructs but not for shared references to mu...
138
click to vote
GI
1997
Springer
15 years 7 months ago
1997
Springer
Object-Gofer is a small, practical extension of the functional programming language Gofer incorporating the following ideas from the object-oriented community: objects and toplevel...
132
click to vote
MPC
2010
Springer
15 years 7 months ago
2010
Springer
Synchronous functional languages such as Lustre or Lucid Synchrone define a restricted class of Kahn Process Networks which can be executed with no buffer. Every expression is as...
151
Voted
ICSE
2001
IEEE-ACM
15 years 7 months ago
2001
IEEE-ACM
Dynamic analysis is based on collecting data as the program runs. However, raw traces tend to be too voluminous and too unstructured to be used directly for visualization and unde...
127
Voted
EMSOFT
2004
Springer
15 years 8 months ago
2004
Springer
The paper introduces a higher-order synchronous data-flow language in which communication channels may themselves transport programs. This provides a mean to dynamically reconfi...