4212 search results - page 376 / 843 » Rights Expression Languages |
194
click to vote
SEW
2005
IEEE
16 years 10 days ago
2005
IEEE
Compared with texts, graphs are more intuitive to express comparative and structural information. Many graphical approaches, however, lack a formal basis for precise specification...
167
click to vote
ESOP
2005
Springer
16 years 9 days ago
2005
Springer
Abadi-Leino Logic is a Hoare-calculus style logic for a simple imperative and object-based language where every object comes with its own method suite. Consequently, methods need t...
149
click to vote
LACL
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Kanazawa has shown that k-valued classical categorial grammars have the property of finite elasticity [1], which is a sufficient condition for learnability. He has also ...
185
click to vote
SPC
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Most attempts at analysing secure information flow in programs are based on domain-specific logics. Though computationally feahese approaches suffer from the need for ...
181
click to vote
APLAS
2004
ACM
16 years 6 days ago
2004
ACM
This paper develops a mathematical characterisation of object-oriented concepts by defining an observation-oriented semantics for an object-oriented language (OOL) with a rich var...