Sciweavers

1375 search results - page 10 / 275
» SDL-2000: A Language with a Formal Semantics
Sort
View
SIGMOD
2001
ACM
93views Database» more  SIGMOD 2001»
15 years 9 months ago
XQuery Formal Semantics: State and Challenges
The XQuery formalization is an ongoing effort of the W3C XML Query working group to define a precise formal semantics for XQuery. This paper briefly introduces the current state o...
Peter Fankhauser
GI
2010
Springer
14 years 7 months ago
Query Languages for Semantic Web Services
: Even though service discovery is one of the vital steps in Web service invocation, service requests are usually expressed by rather simple means. While syntax-based service descr...
Stefan Schulte 0002, Melanie Siebenhaar, Julian Ec...
ENTCS
2008
106views more  ENTCS 2008»
14 years 9 months ago
Reduction Semantics and Formal Analysis of Orc Programs
Orc is a language for orchestration of web services developed by J. Misra that offers simple, yet powerful and elegant, constructs to program sophisticated web orchestration appli...
Musab AlTurki, José Meseguer
FM
2009
Springer
95views Formal Methods» more  FM 2009»
15 years 4 months ago
A Robust Semantics Hides Fewer Errors
Steve Reeves, David Streader
IWPSE
2010
IEEE
14 years 7 months ago
An exercise in iterative domain-specific language design
We describe our experiences with the process of designing a domain-specific language (DSL) and corresponding model transformations. The simultaneous development of the language an...
Marcel van Amstel, Mark van den Brand, Luc Engelen