106 search results - page 1 / 22 » Specification of Logic Programming Languages from Reusable S... |
ENTCS
2002
13 years 4 months ago
2002
We present a Language Prototyping System that facilitates the modular development of interpreters from independent semantic buildks. The abstract syntax is modelled as the fixpoint...
WWW
2005
ACM
14 years 5 months ago
2005
ACM
We present an approach in which the semantics of an XML language is defined by means of a transformation from an XML document model (an XML schema) to an application specific mode...
ECOOP
1993
Springer
13 years 8 months ago
1993
Springer
: To supply the financial engineering community with adequate and timely software support we advocate a reusability oriented approach to software development. The approach focuses ...
EUROCAST
2001
Springer
13 years 9 months ago
2001
Springer
We present a Language Prototyping System that facilitates the modular development of interpreters from semantic specifications. The theoretical basis of our system is the integrat...
CADE
2004
Springer
14 years 5 months ago
2004
Springer
Formal semantic definitions of concurrent languages, when specified in a well-suited semantic framework and supported by generic and efficient formal tools, can be the basis of pow...