3470 search results - page 10 / 694 » Head-Elementary-Set-Free Logic Programs |
FECS
2007
13 years 10 months ago
2007
The adoption of logic programming in an introductory course on computer programming offers several rewards. The higher al level of this programming paradigm guides students to an ...
IFIP
1994
Springer
14 years 1 months ago
1994
Springer
The paper surveys the work which has been done from 1986-1994 on speci cations of logic programming systems by evolving algebras. 1
ECOOPW
1998
Springer
14 years 1 months ago
1998
Springer
It is our opinion that declaring aspects by means of a full- edged logic language has a fundamental advantage over using a restricted special purpose aspect language. As an illust...
CSL
2004
Springer
14 years 21 days ago
2004
Springer
Using separation logic, this paper presents three Hoare logics (corresponding to different notions of correctness) for the simple While language extended with commands for heap acc...
ESOP
1999
Springer
14 years 1 months ago
1999
Springer