645 search results - page 25 / 129 » Pure patterns type systems |
133
click to vote
TAPSOFT
1997
Springer
15 years 10 months ago
1997
Springer
The SML-like module systems are small typed languages of their own. As is, one would expect a proof of their soundness following from a proof of subject reduction. Unfortunately, t...
167
click to vote
CDC
2008
IEEE
16 years 11 days ago
2008
IEEE
Abstract— Recursive state estimation is considered for discrete time linear systems with mixed process and measurement disturbances that have stochastic and (convex) set-bounded ...
125
click to vote
TPHOL
2003
IEEE
15 years 11 months ago
2003
IEEE
Coverage checking is the problem of deciding whether any closed term of a given type is an instance of at least one of a given set of patterns. It can be used to verify if a functi...
202
click to vote
EUROPLOP
2006
15 years 7 months ago
2006
Abstract: As a general rule of thumb, business logic in a multi-layered information system should be implemented in a dedicated domain layer and be separated from the presentation ...
178
click to vote
INFOCOM
2011
IEEE
14 years 9 months ago
2011
IEEE
Abstract—Computer systems are increasingly driven by workloads that reflect large-scale social behavior, such as rapid changes in the popularity of media items like videos. Capa...