11653 search results - page 401 / 2331 » The Development of the C Language |
209
click to vote
FDL
2006
IEEE
15 years 10 months ago
2006
IEEE
Many different system description and specification languages are used in modern design flows to emphasize different aspects like modular architecture, multibehavior, abstract act...
217
click to vote
ECEASST
2006
15 years 7 months ago
2006
We present an mda framework, developed in the functional programming language sml, that tries to bridge the gap between formal software development and the needs of industrial soft...
139
click to vote
SAC
2006
ACM
16 years 26 days ago
2006
ACM
The heterogeneity of architectural constraint languages makes difficult the transformation of architectural constraints throughout the development process. Indeed they have signiï...
163
click to vote
SIGMOD
2001
ACM
16 years 7 months ago
2001
ACM
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...
161
click to vote
PADL
2004
Springer
16 years 7 days ago
2004
Springer
An XML data binding is a translation of XML documents into values of some programming language. This paper discusses a typepreserving XML–Haskell data binding that handles docume...