1071 search results - page 118 / 215 » Programming with enumerable sets of structures |
115
Voted
PLDI
2006
ACM
15 years 6 months ago
2006
ACM
On-line transducers are an important class of computational agent; we construct and compose together many software systems using them, such as stream processors, layered network p...
107
click to vote
ESOP
2006
Springer
15 years 4 months ago
2006
Springer
We present a multi-lingual type inference system for checking type safety of programs that use the Java Native Interface (JNI). The JNI uses specially-formatted strings to represe...
93
Voted
SDE
1991
15 years 4 months ago
1991
There is an urgent need to provide a sound generic framework for method and tool integration, where many differing notations are used, software development is distributed and mana...
93
Voted
JOT
2007
15 years 15 days ago
2007
Programs designed from scratch often start with just a set of classes. Classes can be instantiated and so deliver the objects that are the carriers of information and function. In...
142
click to vote
ALIFE
1999
15 years 9 days ago
1999
A novel machine language genetic programming system that uses one-dimensional core memories is proposed and simulated. The core is compared to a biochemical reaction space, and in ...