432 search results - page 25 / 87 » Type Inference for COBOL Systems |
POPL
2000
ACM
14 years 20 hour ago
2000
ACM
Distributed-memory programs are often written using a global address space: any process can name any memory location on any processor. Some languages completely hide the distincti...
CICLING
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Semantic inference is an important component in many natural language understanding applications. Classical approaches to semantic inference rely on logical representatio...
FLAIRS
2004
13 years 9 months ago
2004
When designing any type of fuzzy rule based system, considerable effort is placed in identifying the correct number of fuzzy sets and the fine tuning of the corresponding membersh...
ECOOP
2006
Springer
13 years 11 months ago
2006
Springer
A session takes place between two parties; after establishing a connection, each party interleaves local computations and communications (sending or receiving) with the other. Ses...
TLDI
2010
ACM
14 years 4 months ago
2010
ACM
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the scrutinee type and the data constructor type. Even th...