cue icon indicating copy to clipboard operation
cue copied to clipboard
verified publisher icon cue-lang

Denotational Semantics for CUE

Open myitcv opened this issue 3 years ago • 2 comments

This is a tracking issue for all things related to denotational semantics and CUE.

More details to follow.

myitcv avatar Oct 24 '22 13:10 myitcv

What was the purpose of this issue? It contains no context and hasn't been updated at all since October 2022. cc @4ad

mvdan avatar May 14 '24 22:05 mvdan

Currently we do not have a formal semantics for the CUE language. Ideally we would have both an operational and a denotational semantics for CUE with proofs of soundness and adequacy mechanized in some theorem prover.

This issue is an umbrella issue for the denotational semantics work.

The work has been low priority, hence the low (zero) activity in this issue, bu I have some partial semantics of CUE based on topology and Kripke semantics, but they are not mechanized yet. We are planning to pick up the work on this soon though.

4ad avatar May 15 '24 12:05 4ad

My understanding is that there are no plans to continue this work anytime soon, so I suggest that we close this issue for now to reflect that. We can always reopen it if needed.

mvdan avatar Dec 09 '25 23:12 mvdan