Question

PHP formal semantics?

score 1.9k · Answer 1 · 2013-12-15 14:39:18

1.9k

Views

PHP formal semantics?

Published on 15 December 2013 at 14:39

score 123 · Answer 2 · 2022-04-24 08:46:42

123

Views

What type of semantics is used in Perl?

Published on 24 April 2022 at 08:46

score 302 · Answer 3 · 2021-04-18 22:53:26

302

Views

How to create a lattice-type data structure in Haskell?

Published on 18 April 2021 at 22:53

score 201 · Answer 4 · 2021-05-11 21:54:48

201

Views

Why don't I have to declare that x is reusable/duplicable with affine semantics and function types?

Published on 11 May 2021 at 21:54

score 2.5k · Answer 5 · 2016-02-21 07:22:57

2.5k

Views

Is static analysis really formal verification?

Published on 21 February 2016 at 07:22

score 80 · Answer 6 · 2022-12-13 13:00:40

80

Views

What does InjL and InjR operator means in coq-Iris?

Published on 13 December 2022 at 13:00

score 257 · Answer 7 · 2016-01-30 17:58:51

257

Views

How to describe the semantics of a language?

Published on 30 January 2016 at 17:58

score 484 · Answer 8 · 2014-07-29 09:31:30

484

Views

What Is the Difference Between semantic and concept?

Published on 29 July 2014 at 09:31

score 6k · Answer 9 · 2010-02-28 23:27:07

6k

Views

What is "formal semantics"?

Published on 28 February 2010 at 23:27

score 293 · Answer 10 · 2010-04-13 16:39:05

293

Views

is there a Universal Model for languages?

Published on 13 April 2010 at 16:39

score 75 · Answer 11 · 2017-07-10 12:20:43

75

Views

How to define an expression translator?

Published on 10 July 2017 at 12:20

score 1.6k · Answer 12 · 2021-03-25 15:56:26

1.6k

Views

What is the difference between operational, denotational and axiomatic semantics?

Published on 25 March 2021 at 15:56

score 123 · Answer 13 · 2015-12-06 15:31:58

123

Views

Formalise the following requirement in propositional logic using suitable propositions for the component statements

Published on 06 December 2015 at 15:31

score 207 · Answer 14 · 2020-06-16 05:43:11

207

Views

How to define a recursive function in Isabelle/HOL?

Published on 16 June 2020 at 05:43

score 96 · Answer 15 · 2023-01-25 20:20:45

96

Views

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

Published on 25 January 2023 at 20:20

score 925 · Answer 16 · 2013-04-03 23:43:15

925

Views

PLT Redex: parameterizing a language definition

Published on 03 April 2013 at 23:43

score 301 · Answer 17 · 2013-04-11 16:18:08

301

Views

How do I denote this syntax's semantics?

Published on 11 April 2013 at 16:18

score 159 · Answer 18 · 2012-07-24 22:14:19

159

Views

adding variables/types to a typing environment

Published on 24 July 2012 at 22:14

score 117 · Answer 19 · 2020-03-04 22:11:00

117

Views

How to go from type theory to first-order logic lambda-expressions

Published on 04 March 2020 at 22:11

score 154 · Answer 20 · 2022-02-21 12:41:30

154

Views

Coq: prove while is equivalent to repeat

Published on 21 February 2022 at 12:41

List Question

PHP formal semantics?

What type of semantics is used in Perl?

How to create a lattice-type data structure in Haskell?

Why don't I have to declare that x is reusable/duplicable with affine semantics and function types?

Is static analysis really formal verification?

What does InjL and InjR operator means in coq-Iris?

How to describe the semantics of a language?

What Is the Difference Between semantic and concept?

What is "formal semantics"?

is there a Universal Model for languages?

How to define an expression translator?

What is the difference between operational, denotational and axiomatic semantics?

Formalise the following requirement in propositional logic using suitable propositions for the component statements

How to define a recursive function in Isabelle/HOL?

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

PLT Redex: parameterizing a language definition

How do I denote this syntax's semantics?

adding variables/types to a typing environment

How to go from type theory to first-order logic lambda-expressions

Coq: prove while is equivalent to repeat

Trending Questions

Popular # Hahtags

Popular Questions