10899 search results - page 93 / 2180 » The GP Programming System |
100
click to vote
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...
ASP
2003
Springer
14 years 2 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...
PPCP
1993
14 years 1 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 ...
ICFP
2000
ACM
14 years 1 months ago
2000
ACM
A number of security systems for programming languages have recently appeared, including systems for enforcing some form of ac
CLIMA
2004
13 years 10 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...