2148 search results - page 14 / 430 » From process logic to program logic |
LPAR
2005
Springer
14 years 2 months ago
2005
Springer
PLANX
2007
13 years 10 months ago
2007
CL
2000
Springer
14 years 1 months ago
2000
Springer
How to extract negative information from programs is an important issue in logic programming. Here we address the problem for functional logic programs, from a proof-theoretic pers...
CLIMA
2004
13 years 10 months ago
2004
An important branch of investigation in the field agents has been the definition of high level languages for representing effects of actions, the programs written in such languages...
ICFP
2012
ACM
11 years 11 months ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...