Add to ORKGWe define and prove correct a mode checker for a significant fragment of the concurrent logical framework CLF. ∗ This paper was made possible by grant 09-1107-1-168, Formal Reasoning about Languages for Distribute
Abstract. We have implemented Kima, an automated error correction system for concurrent logic progra...
Concurrency is ubiquitous in modern software. The computing base of systems software, including oper...
CLF (the Concurrent Logical Framework) is a language for specifying and reasoning about concurrent s...
The concurrent logical framework CLF is an extension of the logical framework LF designed to specify...
The concurrent logical framework CLF is an extension of the logical framework LF designed to specify...
The Concurrent Logical Framework, or CLF, is a new logical framework in which concurrent computation...
Abstract. We present the propositional fragment CLF0 of the Concurrent Logical Framework (CLF). CLF ...
AbstractThe notions of serializability, linearizability, and sequential consistency are used in the ...
CLF is a new logical framework with an intrinsic notion of concurrency. It is designed as a conserva...
The notions of serializability, linearizability and sequential consistency are used in the specifica...
Abstract. This paper presents a proof framework for verifying concurrent programs that communicate u...
Modes were introduced in logic programming to differentiate the input arguments of a predicate from ...
AbstractModes were introduced in logic programming to differentiate the input arguments of a predica...
AbstractIn this paper we present a new kind of semantics for Concurrent ML, apopular concurrent exte...
We present two kinds of Concurrent Constraint Programming languages. The first one is based on a cla...
Abstract. We have implemented Kima, an automated error correction system for concurrent logic progra...
Concurrency is ubiquitous in modern software. The computing base of systems software, including oper...
CLF (the Concurrent Logical Framework) is a language for specifying and reasoning about concurrent s...
The concurrent logical framework CLF is an extension of the logical framework LF designed to specify...
The concurrent logical framework CLF is an extension of the logical framework LF designed to specify...
The Concurrent Logical Framework, or CLF, is a new logical framework in which concurrent computation...
Abstract. We present the propositional fragment CLF0 of the Concurrent Logical Framework (CLF). CLF ...
AbstractThe notions of serializability, linearizability, and sequential consistency are used in the ...
CLF is a new logical framework with an intrinsic notion of concurrency. It is designed as a conserva...
The notions of serializability, linearizability and sequential consistency are used in the specifica...
Abstract. This paper presents a proof framework for verifying concurrent programs that communicate u...
Modes were introduced in logic programming to differentiate the input arguments of a predicate from ...
AbstractModes were introduced in logic programming to differentiate the input arguments of a predica...
AbstractIn this paper we present a new kind of semantics for Concurrent ML, apopular concurrent exte...
We present two kinds of Concurrent Constraint Programming languages. The first one is based on a cla...
Abstract. We have implemented Kima, an automated error correction system for concurrent logic progra...
Concurrency is ubiquitous in modern software. The computing base of systems software, including oper...
CLF (the Concurrent Logical Framework) is a language for specifying and reasoning about concurrent s...