1313 search results - page 100 / 263 » Generic Universe Types |
140
click to vote
LREC
2010
15 years 6 months ago
2010
A research has been carried on and is still in progress aimed at the construction of three specialized lexicons organized as databases of relational type. The three databases cont...
121
click to vote
WICSA
2001
15 years 5 months ago
2001
Increasingly, systems are composed from independently developed parts, and mechanisms that allow those parts to interact (connectors). In many situations, specialized forms of int...
152
click to vote
STTT
2010
15 years 2 months ago
2010
Kermeta is a meta-language for specifying the structure and behavior of graphs of interconnected objects called models. In this paper, we show that Kermeta is relatively suitable f...
148
click to vote
POPL
1990
ACM
15 years 8 months ago
1990
ACM
Typed -calculus is an important tool in programming language research because it provides an extensible framework for studying language features both in isolation and in their rel...
137
click to vote
ORDER
2010
15 years 2 months ago
2010
Let P be the ordered set of isomorphism types of finite ordered sets (posets), where the ordering is by embeddability. We study first-order definability in this ordered set. We ...