1021 search results - page 71 / 205 » Design of a Specification Language by Abstract Syntax Engine... |
153
Voted
CAISE
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Even though SQL has become widely accepted as a language for implementing relational database schemas and querying data, there are cases where s experience the need for n...
124
Voted
TACS
1994
Springer
15 years 6 months ago
1994
Springer
Abstract. We have designed a programming logic based on an integration of functional programming languages with classical set theory. The logic merges a classical view of equality ...
111
Voted
WWW
2005
ACM
16 years 3 months ago
2005
ACM
Continuing changes in the domains of consumer devices and multimedia formats demand for a new approach to media adaptation. The publication of customized content on a device requi...
220
Voted
ASWSD
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Test processes in the automotive industry are tool-intensive and affected by technologically heterogeneous test infrastructures. In the industrial practice a product has ...
113
Voted
ICFP
2001
ACM
16 years 2 months ago
2001
ACM
The categorical notion of monad, used by Moggi to structure denotational descriptions, has proved to be a powerful tool for structuring combinator libraries. Moreover, the monadic...