1438 search results - page 67 / 288 » An Expressive Extension of TLC |
ERCIMDL
2003
Springer
15 years 5 months ago
2003
Springer
As many metadata are encoded in XML, and many digital libraries need to manage XML documents, eļ¬cient techniques for searching in such formatted data are required. In order to eļ...
103
click to vote
ECMAST
1999
Springer
15 years 5 months ago
1999
Springer
Combining eXtensible Markup Language (XML) and Active Layer Networking may yield strong benefits for networked services. A Wide range of new Multimedia applications can be develope...
89
Voted
JMLC
1997
Springer
15 years 4 months ago
1997
Springer
Strongly typed polymorphism is necessary for expressing safe reusable code. Two orthogonal forms of polymorphism exist: inclusion and parametric, the Oberon language only supports ...
106
Voted
CSFW
2004
IEEE
15 years 4 months ago
2004
IEEE
We present a system, BLF, that combines an authorization logic based on the Binder language with a logical framework, LF, able to express semantic properties of programs. BLF is a...
106
click to vote
ESOP
2008
Springer
15 years 2 months ago
2008
Springer
We present a denotational model of impredicative Hoare Type Theory, a very expressive dependent type theory in which one can and reason about mutable abstract data types. The model...