1003 search results - page 37 / 201 » Proposal of Generalized Rule Programming Model |
ICFP
2002
ACM
14 years 9 months ago
2002
ACM
We propose an extension of Haskell's type class system with bstractions in the type language. Type inference for our extension relies on a novel constrained unification proce...
ACL
1998
13 years 10 months ago
1998
In this paper, we propose a generalization of Centering Theory (CT) (Grosz, Joshi, Weinstein 1995) called Veins Theory (VT), which extends the applicability of centering rules fro...
EDOC
2002
IEEE
14 years 2 months ago
2002
IEEE
The Object Management Group (OMG) is pursuing its new Model-Driven Architecture (MDA) strategy. The Meta-Object Facility (MOF) is an important technology to support the MDA, both ...
ICSE
2008
IEEE-ACM
14 years 10 months ago
2008
IEEE-ACM
WS-BPEL applications are a kind of service-oriented application. They use XPath extensively to integrate loosely-coupled workflow steps. However, XPath may extract wrong data from...
DKE
2007
13 years 9 months ago
2007
This paper presents a methodology for knowledge acquisition from source code. We use data mining to support semiautomated software maintenance and comprehension and provide practi...