3713 search results - page 99 / 743 » Constructing a Calculus of Programs |
113
click to vote
IJCAI
1993
15 years 4 months ago
1993
The paper is concerned with the design of a module system for logic programming so as to satisfy many of the requirements of software en gineering. The design is based on the la...
140
click to vote
FUIN
2000
15 years 2 months ago
2000
We give algorithms to construct the least L-model for a given positive modal logic program P, where L can be one of the modal logics KD, T, KDB, B, KD4, S4, KD5, KD45, and S5. If L...
123
click to vote
CAV
2005
Springer
15 years 8 months ago
2005
Springer
We consider in the current paper the issue of exploiting the structural form of Esterel programs [BG92] to partition the algorithmic RSS (reachable state space) fix-point construc...
114
click to vote
CPAIOR
2005
Springer
15 years 8 months ago
2005
Springer
Producing work schedules for airline crew normally results in individually different schedules. Some airlines do however want to give the same schedule to groups of people. The con...
130
click to vote
FPCA
1995
15 years 6 months ago
1995
This paper discusses the derivation of functional programs for grammar analysis problems, such as the Empty problem and the Reachable problem. Grammar analysis problems can be div...