383 search results - page 58 / 77 » Abstracting Complex Languages through Transformation and Com... |
EMSOFT
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. We present a framework to extend the concept of type systems in programming languages to capture the dynamic interaction in component-based design, such as the communicat...
ICDT
2007
ACM
15 years 5 months ago
2007
ACM
Stay macro tree transducers (smtts) are an expressive formalism for reasoning about XSLT-like document transformations. Here, we consider the exact type checking problem for smtts....
ENTCS
2007
14 years 11 months ago
2007
This paper proposes a calculus for describing communication-centred programs and discusses its use through a formal description of several use cases from real business protocols. ...
WWW
2007
ACM
16 years 11 days ago
2007
ACM
XML delivers key advantages in interoperability due to its flexibility, expressiveness, and platform-neutrality. As XML has become a performance-critical aspect of the next genera...
113
click to vote
LOPSTR
2005
Springer
15 years 5 months ago
2005
Springer
We propose an extension of functional logic languages that allows the definition of operations with patterns containing other defined operation symbols. Such “function patterns...