126 search results - page 1 / 26 » Definitional Trees |
FLOPS
2004
Springer
13 years 8 months ago
2004
Springer
Abstract. This paper describes how high level implementations of (needed) narrowing into Prolog can be improved by analysing definitional trees. First, we introduce a refined repre...
DKE
2008
13 years 4 months ago
2008
XML Schema Definition (XSD) is the logical schemas of an XML model, but there is no standard format for the conceptual schema of an XML model. Therefore, we propose an XML Tree Mo...
ICTAC
2007
Springer
13 years 10 months ago
2007
Springer
ISPW
2006
IEEE
13 years 10 months ago
2006
IEEE
ALP
1992
Springer
13 years 8 months ago
1992
Springer
Rewriting is a computational paradigm that specifies the actions, but not the control. We introduce a hierarchical structure repreat a high level of abstraction, a form of control....