List Question
20 TechQA 2023-01-25T20:20:45.233000What does InjL and InjR operator means in coq-Iris?
123 views
Asked by Huan Sun
Where is the formal semantics of Data Analysis Expressions (DAX) documented?
83 views
Asked by dami
Definition of functional dependency, ambigiuous "for all pairs"
149 views
Asked by AngryJohn
What type of semantics is used in Perl?
203 views
Asked by i0mar
Coq: prove while is equivalent to repeat
176 views
Asked by Ricardo Maurizio Paul
Why don't I have to declare that x is reusable/duplicable with affine semantics and function types?
242 views
Asked by Jonathan Gallagher
How to create a lattice-type data structure in Haskell?
349 views
Asked by Hugolin Bergier
What is the difference between operational, denotational and axiomatic semantics?
1.6k views
Asked by radrow
How to define a recursive function in Isabelle/HOL?
230 views
Asked by Junjie Chen
How to go from type theory to first-order logic lambda-expressions
141 views
Asked by yannis
K Framework produces an error in the OCaml backend
113 views
Asked by Mohsen Rahnamaei
Why can't I call a (non-static) lemma from a ghost field in Dafny?
453 views
Asked by ssice
How to define an expression translator?
103 views
Asked by Denis
Is static analysis really formal verification?
2.6k views
Asked by John V
How to describe the semantics of a language?
308 views
Asked by user1709408
Formalise the following requirement in propositional logic using suitable propositions for the component statements
145 views
Asked by mohammed As
What is the relationship between loop invariant and weakest precondition
1.2k views
Asked by Jove
What Is the Difference Between semantic and concept?
527 views
Asked by user3033531
PHP formal semantics?
1.9k views
Asked by jameshfisher