7529 search results - page 94 / 1506 » The Modula-3 Type System |
261
click to vote
POPL
2004
ACM
16 years 4 months ago
2004
ACM
Defunctionalization is a program transformation that aims to turn a higher-order functional program into a first-order one, that is, to eliminate the use of functions as first-cla...
124
click to vote
ESOP
2009
Springer
15 years 11 months ago
2009
Springer
We present a type theory for analyzing concurrent multiparty interactions as found in service-oriented computing. Our theory introduces a novel and flexible type structure, able t...
101
click to vote
FUZZIEEE
2007
IEEE
15 years 10 months ago
2007
IEEE
— The inferencing stage of a type-2 fuzzy inferencing system is driven by join and meet operations. As conventionally implemented these algorithms are computationally complex. Th...
152
click to vote
COLING
1990
15 years 5 months ago
1990
An experimental system for dialogue structure analysis based on a new type plan recognition model for spoken dialogues has been implemented. This model is realized by using four t...
129
click to vote
ENTCS
2006
15 years 4 months ago
2006
Maude has revealed itself as a powerful tool for implementing different kinds of semantics so that quick prototypes are available for trying examples and proving properties. In th...