842 search results - page 111 / 169 » Linear logic |
FATES
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. In this paper we propose an approach to automatically produce test cases allowing to check the satis ability of a linear property on a given implementation. Linear proper...
FCSC
2010
13 years 7 months ago
2010
Quotients and factors are important notions in the design of various computational procedures for regular languages and for the analysis of their logical properties. We propose a n...
PLDI
2006
ACM
14 years 2 months ago
2006
ACM
We propose the monadic linear logic programming language LolliMon as a new foundation for the specification of distributed trust management systems, particularly the RT framework...
CSL
2010
Springer
13 years 10 months ago
2010
Springer
Our goal is to identify families of relations that are useful for reasoning about software. We describe such families using decidable quantifier-free classes of logical constraints...
VLSID
1997
IEEE
14 years 1 months ago
1997
IEEE
Integer addition is one of the most important operations in digital computer systems because the performance of processors is significantly influenced by the speed of their adde...