9264 search results - page 1172 / 1853 » Space Between Languages |
180
click to vote
COBUILD
1998
Springer
15 years 11 months ago
1998
Springer
Interfaces to information systems, and the buildings in which such systems are embedded will typically be the result of the work of a large number of different disciplines, potenti...
183
click to vote
ICALP
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We study entailment of structural and nonstructural recursive subtyping constraints. Constraints are formal inequalities between type expressions, interpreted over an ord...
179
click to vote
EDOC
1997
IEEE
15 years 11 months ago
1997
IEEE
This paper describes an environment for interactive configuration management of the software components comprising a distributed enterprise application. The environment permits on...
175
click to vote
ILP
1998
Springer
15 years 11 months ago
1998
Springer
In this paper we argue that the use of a language with a type system, together with higher-order facilities and functions, provides a suitable basis for knowledge representation in...
209
click to vote
PPOPP
1997
ACM
15 years 11 months ago
1997
ACM
Array remappings are useful to many applications on distributed memory parallel machines. They are available in High Performance Fortran, a Fortran-based data-parallel language. T...