AbstractThis paper considers MiniML equipped with a standard big-step semantics and a destination-passing semantics both represented in concurrent LF (CLF) and prove the two semantics equivalent. The proof is then examined yielding insights into the issues concerning induction on concurrent terms. We conclude by outlining some of the difficulties that one will need to address when designing a meta-logic for CLF
Concurrent ML is an extension of Standard ML with π-calculus-like primitives for multi-threaded prog...
Concurrent ML is an extension of Standard ML with ?-calculus-like primitives for multithreaded progr...
We define and prove correct a mode checker for a significant fragment of the concurrent logical fram...
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...
Abstract. We present the propositional fragment CLF0 of the Concurrent Logical Framework (CLF). CLF ...
The Concurrent Logical Framework, or CLF, is a new logical framework in which concurrent computation...
CLF is a new logical framework with an intrinsic notion of concurrency. It is designed as a conserva...
Abstract. We present the propositional fragment CLF0 of the Concur-rent Logical Framework (CLF). CLF...
We present CLL, a concurrent programming language that symmetrically integrates functional and concu...
As System F is the logical foundation of functional programming, it has long been expected that Clas...
CLF (the Concurrent Logical Framework) is a language for specifying and reasoning about concurrent s...
This paper has the purpose of reviewing some of the established relationships between logic and conc...
Abstract: "We present CLL, a concurrent programming language that symmetrically integrates functiona...
Linear logic has long been heralded for its potential of providing a logical basis for concurrency. ...
Concurrent ML is an extension of Standard ML with π-calculus-like primitives for multi-threaded prog...
Concurrent ML is an extension of Standard ML with ?-calculus-like primitives for multithreaded progr...
We define and prove correct a mode checker for a significant fragment of the concurrent logical fram...
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...
Abstract. We present the propositional fragment CLF0 of the Concurrent Logical Framework (CLF). CLF ...
The Concurrent Logical Framework, or CLF, is a new logical framework in which concurrent computation...
CLF is a new logical framework with an intrinsic notion of concurrency. It is designed as a conserva...
Abstract. We present the propositional fragment CLF0 of the Concur-rent Logical Framework (CLF). CLF...
We present CLL, a concurrent programming language that symmetrically integrates functional and concu...
As System F is the logical foundation of functional programming, it has long been expected that Clas...
CLF (the Concurrent Logical Framework) is a language for specifying and reasoning about concurrent s...
This paper has the purpose of reviewing some of the established relationships between logic and conc...
Abstract: "We present CLL, a concurrent programming language that symmetrically integrates functiona...
Linear logic has long been heralded for its potential of providing a logical basis for concurrency. ...
Concurrent ML is an extension of Standard ML with π-calculus-like primitives for multi-threaded prog...
Concurrent ML is an extension of Standard ML with ?-calculus-like primitives for multithreaded progr...
We define and prove correct a mode checker for a significant fragment of the concurrent logical fram...
DOI
Add to ORKG