4008 search results - page 197 / 802 » An expressive language of signatures |
276
click to vote
POPL
2007
ACM
16 years 6 months ago
2007
ACM
We present an internal language with equivalent expressive power to Standard ML, and discuss its formalization in LF and the machine-checked verification of its type safety in Twe...
169
click to vote
COLCOM
2007
IEEE
16 years 26 days ago
2007
IEEE
—Dynamic scripting languages such as Ruby provide language features that enable developers to express their intent more rapidly and with fewer expressions. Organizations started ...
180
click to vote
XIMEP
2006
ACM
16 years 14 days ago
2006
ACM
XQuery is a declarative language for querying and updating XML data sources. Interfacing XQuery to a host programming language is difficult because of the type system mismatch, an...
150
click to vote
SEMWEB
2005
Springer
16 years 8 hour ago
2005
Springer
Abstract. Recently, there have been a number of proposals for languages for expressing web service constraints and capabilities, with WSPolicy and WSPL leading the way. The propose...
178
click to vote
PADO
2001
Springer
15 years 11 months ago
2001
Springer
Complex data dependencies can often be expressed concisely by defining a variable in terms of part of its own value. Such a circular reference can be naturally expressed in a lazy...