183 search results - page 28 / 37 » Trace Semantics is Fully Abstract |
85
Voted
COMPSAC
2009
IEEE
15 years 23 days ago
2009
IEEE
Abstract. The TransLucid programming language is a low-level intensional language, designed to be sufficiently rich for it to be the target language for translating the common prog...
IC
2004
14 years 11 months ago
2004
Abstract-- The Web Services infrastructure is a distributed computing environment for service-sharing. In this environment, resource discovery is required as a primitive functional...
CORR
2007
Springer
14 years 9 months ago
2007
Springer
We give a simple order-theoretic construction of a Cartesian closed category of sequential functions. It is based on bistable biorders, which are sets with a partial order — the ...
ECWEB
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Semantic Web Services can be seen as remote Problem Solving Methods offered via the Web through platform and language independent interfaces. They can be seamlessly inte...
POPL
1998
ACM
15 years 1 months ago
1998
ACM
abstractions, such as closures, tuples, and user-defined abstract data types. The type system ensures that well-typed programs cannot violate these abstractions. In addition, the ...