3228 search results - page 244 / 646 » Computationally Sound Proofs |
135
click to vote
FMCO
2007
Springer
16 years 24 days ago
2007
Springer
The Universe Type System is an ownership type system for object-oriented programming languages that hierarchically structures the object store; it is used to reason modularly about...
168
click to vote
IFM
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Event-B is a notation and method for discrete systems modelling by refinement. We introduce a small but very useful construction: qualitative probabilistic choice. It ex...
214
click to vote
IFIP
2004
Springer
16 years 10 hour ago
2004
Springer
Pure Pattern Type Systems (P2 TS) combine in a unified setting the capabilities of rewriting and λ-calculus. Their type systems, adapted from Barendregt’s λ-cube, are especial...
177
click to vote
CSFW
2003
IEEE
15 years 12 months ago
2003
IEEE
To be practical, systems for ensuring secure information flow must be as permissive as possible. To this end, the author recently proposed a type system for multi-threaded progra...
153
click to vote
COOPIS
2002
IEEE
15 years 11 months ago
2002
IEEE
The Semantic Web is a vision of the next generation Web, in which semantic markup will make Web resources more accessible to automatic processes. Description Logics (DLs) are of cr...