899 search results - page 101 / 180 » A CTL-Based Logic for Program Abstractions |
BIRTHDAY
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Heuristic programming was the first area in which AI methods were tested. The favourite case-studies were fairly simple toyproblems, such as cryptarithmetic, games, such ...
95
Voted
ICFP
2006
ACM
16 years 15 days ago
2006
ACM
Design patterns are reusable abstractions in object-oriented software. However, using current mainstream programming languages, these elements can only be expressed extra-linguist...
111
click to vote
GPCE
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. SafeGen is a meta-programming language for writing statically safe generators of Java programs. If a program generator written in SafeGen passes the checks of the SafeGen...
APLAS
2000
ACM
15 years 4 months ago
2000
ACM
We describe a system called CFLP which aims at the integration of the best features of functional logic programming (FLP), cooperative constraint solving (CCS), and distributed co...
102
Voted
PODS
2005
ACM
16 years 20 days ago
2005
ACM
Abstract. We present a semantics and answer set programs for relational peer data exchange systems. When a peer answers a query, it exchanges data with other peers in order to supp...