StackOverflow Questions for Tag: formal-semantics
Reputation: 6035
How to apply jsonnet's local-var rule?
Score: 0
Views: 64
Answers: 1
Reputation: 23
Given a function in Agda, some argument, and a new value, how to generate new function where the result for this argument will be the new value
Score: 1
Views: 106
Answers: 1
Reputation: 167
What does InjL and InjR operator means in coq-Iris?
Score: 3
Views: 111
Answers: 1
Reputation: 643
Definition of functional dependency, ambigiuous "for all pairs"
Score: 1
Views: 161
Answers: 1
Reputation: 180
Where is the formal semantics of Data Analysis Expressions (DAX) documented?
Score: 2
Views: 108
Answers: 0
Reputation: 29
Coq: prove while is equivalent to repeat
Score: 0
Views: 194
Answers: 1
Reputation: 2245
Why don't I have to declare that x is reusable/duplicable with affine semantics and function types?
Score: 8
Views: 210
Answers: 1
Reputation: 155
How to create a lattice-type data structure in Haskell?
Score: 2
Views: 364
Answers: 1
Reputation: 7129
What is the difference between operational, denotational and axiomatic semantics?
Score: 2
Views: 1903
Answers: 1
Reputation: 15
How to define a recursive function in Isabelle/HOL?
Score: 0
Views: 236
Answers: 1
Reputation: 918
How to go from type theory to first-order logic lambda-expressions
Score: 2
Views: 137
Answers: 0
Reputation: 411
K Framework produces an error in the OCaml backend
Score: 2
Views: 112
Answers: 0
Reputation: 3683
Why can't I call a (non-static) lemma from a ghost field in Dafny?
Score: 1
Views: 477
Answers: 3
Reputation: 67224
What is "formal semantics"?
Score: 9
Views: 6249
Answers: 4
Reputation: 2270
How do I denote this syntax's semantics?
Score: 1
Views: 313
Answers: 1
Reputation: 5047
Is static analysis really formal verification?
Score: 7
Views: 2911
Answers: 3
Reputation: 74344
Are denotational semantic mappings decidable?
Score: 12
Views: 331
Answers: 2
Reputation: 538
How to describe the semantics of a language?
Score: 1
Views: 279
Answers: 1