11022 search results - page 100 / 2205 » Programming Systems for Autonomy |
163
click to vote
PPCP
1993
15 years 8 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 ...
118
click to vote
ICFP
2000
ACM
15 years 9 months ago
2000
ACM
A number of security systems for programming languages have recently appeared, including systems for enforcing some form of ac
134
click to vote
CLIMA
2004
15 years 6 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...
143
click to vote
ECOOP
2012
Springer
13 years 7 months ago
2012
Springer
X10 is an object oriented programming language with a sophisticated type system (constraints, class invariants, non-erased generics, closures) and concurrency constructs (asynchron...
168
click to vote
IFL
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. In this paper we compare three systems for tracing and debugging Haskell programs: Freja, Hat and Hood. We evaluate their usefulness in practice by applying them to a num...