947 search results - page 80 / 190 » Declarative Programming in Prolog |
KBSE
1994
IEEE
15 years 1 months ago
1994
IEEE
This paper describes a formal approach to domain-oriented software design environments, based on declarative domain theories, formal specifications, and deductive program synthesi...
GPCE
2008
Springer
14 years 10 months ago
2008
Springer
Extensive research efforts have been devoted to implement a group of type-safe mutually recursive classes; recently, proposals for separating each member of the group as a reusabl...
SAC
2008
ACM
14 years 9 months ago
2008
ACM
Within aspect-oriented programming, the quality of aspect code depends on the readability and expressiveness of pointcut languages. Readability is increased by using specialized, ...
DSL
1997
14 years 11 months ago
1997
DiSTiL is a software generator that implements a declarative domain-specific language (DSL) for container data structures. DiSTiL is a representative of a new approach to domain-...
VLC
2008
14 years 9 months ago
2008
ToonTalk is a child-oriented programming language whose environment is an animated virtual world, with objects that children can pick up and use as in a game, such as birds, truck...