4257 search results - page 87 / 852 » The Logical Modularity of Programs |
75
Voted
ELP
1989
15 years 6 months ago
1989
95
Voted
CORR
2002
Springer
15 years 2 months ago
2002
Springer
104
Voted
CSMR
1998
IEEE
15 years 6 months ago
1998
IEEE
AbstractA large body of research in the measurement of software complexity has been focused on imperative programs, but little eort has been made for logic programs. In this paper,...
122
click to vote
LICS
2007
IEEE
15 years 8 months ago
2007
IEEE
Abramsky’s logical formulation of domain theory is extended to encompass the domain theoretic model for picalculus processes of Stark and of Fiore, Moggi and Sangiorgi. This is ...
129
click to vote
FPCA
1995
15 years 6 months ago
1995
In this paper we study the relationships between logic programming and functional programming, trying to answer the following basic question: to what extent is logic programming j...