4008 search results - page 79 / 802 » An expressive language of signatures |
134
click to vote
EXTREME
2003
ACM
15 years 11 months ago
2003
ACM
DTDs and XML Schema are important validation languages for XML documents. They lie at opposite ends of a spectrum of validation languages in terms of expressive power and readabil...
299
click to vote
POPL
2005
ACM
16 years 6 months ago
2005
ACM
Traditional class and object encodings are difficult to use in practical type-preserving compilers because of the complexity of the encodings. We propose a simple typed intermedia...
325
click to vote
CICLING
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Natural Language Processing holds great promise for making computer interfaces that are easier to use for people, since people will (hopefully) be able to talk to the com...
203
click to vote
TGC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In the age of the world-wide web and mobile computing, programming communication-centric software is essential. Thus, programmers and program designers are exposed to new...
169
click to vote
ENTCS
2007
15 years 6 months ago
2007
We construct a language extension for process calculi for modelling the exchange of cryptographically composed data. More specifically, we devise a succinct syntax for terms and ...