2944 search results - page 226 / 589 » On Well Quasi-orders on Languages |
157
click to vote
POPL
1999
ACM
15 years 11 months ago
1999
ACM
Superfluous variables are often produced as the byproducts of program transformations, compilation, and poorly written code. These variables are irrelevant to the computational o...
149
click to vote
IFIP
1999
Springer
15 years 10 months ago
1999
Springer
Most control systems of flexible production cells have a hierarchical structure. They become very complicated and difficult to maintain and modify when the underlying production c...
165
click to vote
HIPS
1998
IEEE
15 years 10 months ago
1998
IEEE
Distributed shared objects are a well known approach to achieve independenceof the memory model for parallel programming. The illusion of shared (global) objects is a conabstracti...
198
click to vote
ICFP
1998
ACM
15 years 10 months ago
1998
ACM
We present a purely functional implementation of the computational differentiation tools — the well known numeric (i.e., not symbolic) techniques which permit one to compute poin...
143
click to vote
SIGADA
1998
Springer
15 years 10 months ago
1998
Springer
Our institute has been developing the only publicly available implementation of the Ada 95 Distributed Systems Annex for several years in strong collaboration with Ada Core Techno...