1401 search results - page 12 / 281 » Tool Integration for Reasoned Programming |
PLDI
2011
ACM
12 years 10 months ago
2011
ACM
Program analysis and verification tools crucially depend on the ability to symbolically describe and reason about sets of program behaviors. Separation logic provides a promising...
IHI
2012
12 years 3 months ago
2012
Asthma is a leading chronic disease of children and currently affects about 6.2 million (8.5%) children in the United States. National Asthma Education and Prevention Program (NAE...
RR
2009
Springer
14 years 2 days ago
2009
Springer
In this paper we argue the case for integrating the distinctive functionalities of logic programs and production systems within an abductive logic programming agent framework. In t...
CCL
1994
Springer
13 years 11 months ago
1994
Springer
Abstract: This paper describes the application of CLP (constraint logic programming) to several digital circuit design problems. It is shown that logic programming together with ef...
ERLANG
2008
ACM
13 years 9 months ago
2008
ACM
Wrangler is a refactoring tool for Erlang, implemented in Erlang. This paper reports the latest developments in Wran