7961 search results - page 462 / 1593 » Input-Output Model Programs |
191
click to vote
FOSSACS
2008
Springer
15 years 8 months ago
2008
Springer
We introduce Erasure Pure Type Systems, an extension to Pure Type Systems with an erasure semantics centered around a type constructor indicating parametric polymorphism. The eras...
184
click to vote
WCRE
2007
IEEE
16 years 23 days ago
2007
IEEE
The notion of functional or modular dependency is fundamental to understand the architecture and inner workings of any software system. In this paper, we propose to extend that no...
229
click to vote
ECOOP
2000
Springer
15 years 10 months ago
2000
Springer
We have recently shown how use cases can be systematically transformed into UML state charts considering all relevant information from a use case specification, including pre- and ...
177
click to vote
IFIP
1994
Springer
15 years 10 months ago
1994
Springer
The computer simulation control problem can be splitted in two parts, namely a local control problem and a global control problem. The local control de nes the \behavior" of ...
179
click to vote
TCS
2011
15 years 1 months ago
2011
New, simple, proofs of soundness (every representable function lies in a given complexity class) for Elementary Affine Logic, LFPL and Soft Affine Logic are presented. The proofs ...