4008 search results - page 175 / 802 » An expressive language of signatures |
198
click to vote
ENTCS
2002
15 years 6 months ago
2002
In this work we provide a semantic description of functional logic languages covering notions like laziness, sharing, and non-determinism. Such a semantic description is essential...
211
click to vote
EDBT
2002
ACM
16 years 6 months ago
2002
ACM
Ontologies are set to play a key role in the "Semantic Web", extending syntactic interoperability to semantic interoperability by providing a source of shared and precise...
165
click to vote
POLICY
2007
Springer
16 years 17 days ago
2007
Springer
Abstract— We present the Cognitive Radio (Policy) Language (CoRaL), a new language for expressing policies that govern the behavior of cognitive radios that opportunistically sha...
162
click to vote
LICS
2005
IEEE
16 years 1 days ago
2005
IEEE
This paper describes an assembly-language type system capable of ensuring memory safety in the presence of both heap and stack allocation. The type system uses linear logic and a ...
165
click to vote
ICDT
2005
ACM
15 years 12 months ago
2005
ACM
Abstract. We survey work on statically type checking XML transformations, covering a wide range of notations and ambitions. The concept of type may vary from idealizations of DTD t...