1143 search results - page 146 / 229 » Abstract Syntax and Logic Programming |
119
Voted
WCRE
2007
IEEE
15 years 8 months ago
2007
IEEE
Legacy applications can be difficult and time-consuming to understand and update due to the lack of modern abstraction mechanisms in legacy languages, as well as the gradual dete...
104
Voted
PLPV
2010
ACM
15 years 11 months ago
2010
ACM
This paper presents a resource typing framework for the Guru d-programming language, in which abstractions for various kinds of program resources can be defined. Implemented exam...
104
Voted
GC
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We present the computational counterpart of the KGP (Knowledge, Goals, Plan) declarative model of agency for Global Computing. In this context, a computational entity is ...
121
click to vote
DLOG
2009
15 years 8 days ago
2009
Abstract. Description Logic Programs (DLP) have been described as a description logic (DL) that is in the "expressive intersection" of DL and datalog. This is a very weak...
163
click to vote
JCST
2010
14 years 9 months ago
2010
With recent efforts to build foundational certified software systems, two different approaches have been proposed to certify thread context switching. One is to certify both thread...