2148 search results - page 14 / 430 » From process logic to program logic |
LPAR
2005
Springer
15 years 3 months ago
2005
Springer
77
Voted
PLANX
2007
14 years 11 months ago
2007
CL
2000
Springer
15 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
14 years 11 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...
104
Voted
ICFP
2012
ACM
13 years 8 hour 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...