2236 search results - page 53 / 448 » Language Independence and Language Tolerance in Logic Progra... |
145
click to vote
IFIP
2005
Springer
15 years 11 months ago
2005
Springer
We present a method for trust scenarios with more than one trustee, where sets of trustees are ordered in a relation of relative trustworthiness. We show how a priority structure i...
181
click to vote
PADL
2007
Springer
16 years 4 days ago
2007
Springer
Essential elements of aspect-oriented programming can be formulated as forms of logic programming. Extensions of Horn Clause rovide richer abstraction and control mechanisms. Defi...
151
click to vote
ESWS
2006
Springer
15 years 9 months ago
2006
Springer
The Web Service Modeling Language (WSML) is a language for the specification of different aspects of Semantic Web Services. It provides a formal language for the Web Service Modeli...
139
click to vote
ENTCS
2008
15 years 6 months ago
2008
Traditional programming languages are algorithmic: they are best suited to writing programs that acquire all their inputs before executing and only produce a result on termination...
164
click to vote
LICS
2005
IEEE
15 years 11 months ago
2005
IEEE
We introduce the language QML, a functional language for quantum computations on finite types. Its design is guided by its categorical semantics: QML programs are interpreted by ...