10899 search results - page 93 / 2180 » The GP Programming System |
267
Voted
Lab
We are interested in studying and developing programming languages techniques such as multi-stage programming, reactive programming, and indexed types and in showing how they can b...
158
Voted
ASP
2003
Springer
15 years 7 months ago
2003
Springer
We present a general method to improve computation of answer sets by analyzing structural properties of normal logic programs. Therefore we use labeled directed graphs associated t...
146
click to vote
PPCP
1993
15 years 6 months ago
1993
Higher-order logic programming (HOLP) languages are particularly useful for various kinds of metaprogramming and theorem proving tasks because of the logical support for variable ...
102
click to vote
ICFP
2000
ACM
15 years 6 months ago
2000
ACM
A number of security systems for programming languages have recently appeared, including systems for enforcing some form of ac
119
click to vote
CLIMA
2004
15 years 3 months ago
2004
Abstract. Multidimensional dynamic logic programs (MDLPs) are suitable to represent knowledge dynamic in time, or more generally, information coming from various sources, partially...