4257 search results - page 80 / 852 » The Logical Modularity of Programs |
175
Voted
JMLC
2000
Springer
15 years 6 months ago
2000
Springer
The principle of modularisation is one of the main techniques that software designers use to tame the complexity of programming. A software project, however, is complex in many oth...
119
click to vote
FUIN
2008
15 years 2 months ago
2008
We are concerned with the problem of defining a complex, hybrid, agent based discrete system in a modular way. The modularity results from looking at the system from a number of di...
139
Voted
PADL
2007
Springer
15 years 8 months ago
2007
Springer
Essential elements of aspect-oriented programming can be formulated as forms of logic programming. Extensions of Horn Clause rovide richer abstraction and control mechanisms. Defi...
119
click to vote
NGC
2000
Springer
15 years 2 months ago
2000
Springer
In this paper we introduce the logic programminglanguage Disjunctive Chronolog which combines the programming paradigms of temporal and disjunctive logic programming. Disjunctive C...
