8766 search results - page 361 / 1754 » Functional logic programming |
133
click to vote
VMCAI
2010
Springer
16 years 17 days ago
2010
Springer
Abstract. Logics that involve collections (sets, multisets), and cardinality constraints are useful for reasoning about unbounded data structures and concurrent processes. To make ...
146
click to vote
ISMVL
2008
IEEE
15 years 9 months ago
2008
IEEE
Compact realizations of reversible logic functions are of interest in the design of quantum computers. In this paper we present an exact synthesis algorithm, based on Boolean Sati...
113
click to vote
DATE
1998
IEEE
15 years 7 months ago
1998
IEEE
Functional scan chains are scan chains that have scan paths through a circuit's functional logic and flip-flops. Establishing functional scan paths by test point insertion (T...
153
click to vote
ESOP
2010
Springer
16 years 20 days ago
2010
Springer
Formal reasoning about concurrent programs is usually done with the assumption that the underlying memory model is sequentially consistent, i.e. the execution outcome is equivalen...
118
click to vote
TARK
2005
Springer
15 years 8 months ago
2005
Springer
The paper focuses on extending to the first order case the semantical program for modalities first introduced by Dana Scott and Richard Montague. We focus on the study of neighb...