TechQA.

Question

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 123 · Answer 1 · 2023-01-25T20:20:45.233000

0

Answer

123

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

123 views Asked by Ilya Kolomin At 25 January 2023 at 20:20

score 123 · Answer 2 · 2022-12-13T13:00:40.633000

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

123 views Asked by Huan Sun At 13 December 2022 at 13:00

score 83 · Answer 3 · 2022-10-29T18:40:24.503000

Where is the formal semantics of Data Analysis Expressions (DAX) documented?

83 views Asked by dami At 29 October 2022 at 18:40

score 149 · Answer 4 · 2022-10-16T13:31:21.847000

Definition of functional dependency, ambigiuous "for all pairs"

149 views Asked by AngryJohn At 16 October 2022 at 13:31

score 203 · Answer 5 · 2022-04-24T08:46:42.330000

What type of semantics is used in Perl?

203 views Asked by i0mar At 24 April 2022 at 08:46

score 176 · Answer 6 · 2022-02-21T12:41:30.613000

Coq: prove while is equivalent to repeat

176 views Asked by Ricardo Maurizio Paul At 21 February 2022 at 12:41

score 242 · Answer 7 · 2021-05-11T21:54:48.573000

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

242 views Asked by Jonathan Gallagher At 11 May 2021 at 21:54

score 349 · Answer 8 · 2021-04-18T22:53:26.897000

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

349 views Asked by Hugolin Bergier At 18 April 2021 at 22:53

score 1649 · Answer 9 · 2021-03-25T15:56:26.387000

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

1.6k views Asked by radrow At 25 March 2021 at 15:56

score 230 · Answer 10 · 2020-06-16T05:43:11.607000

How to define a recursive function in Isabelle/HOL?

230 views Asked by Junjie Chen At 16 June 2020 at 05:43

score 141 · Answer 11 · 2020-03-04T22:11:00.917000

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

141 views Asked by yannis At 04 March 2020 at 22:11

score 113 · Answer 12 · 2019-07-27T12:53:44.577000

K Framework produces an error in the OCaml backend

113 views Asked by Mohsen Rahnamaei At 27 July 2019 at 12:53

score 453 · Answer 13 · 2018-10-22T11:04:01.420000

Why can't I call a (non-static) lemma from a ghost field in Dafny?

453 views Asked by ssice At 22 October 2018 at 11:04

score 103 · Answer 14 · 2017-07-10T12:20:43.933000

How to define an expression translator?

103 views Asked by Denis At 10 July 2017 at 12:20

score 2639 · Answer 15 · 2016-02-21T07:22:57.400000

Is static analysis really formal verification?

2.6k views Asked by John V At 21 February 2016 at 07:22

score 308 · Answer 16 · 2016-01-30T17:58:51.900000

How to describe the semantics of a language?

308 views Asked by user1709408 At 30 January 2016 at 17:58

score 145 · Answer 17 · 2015-12-06T15:31:58.417000

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

145 views Asked by mohammed As At 06 December 2015 at 15:31

score 1284 · Answer 18 · 2014-10-11T19:26:58.357000

What is the relationship between loop invariant and weakest precondition

1.2k views Asked by Jove At 11 October 2014 at 19:26

score 527 · Answer 19 · 2014-07-29T09:31:30.550000

What Is the Difference Between semantic and concept?

527 views Asked by user3033531 At 29 July 2014 at 09:31

score 1967 · Answer 20 · 2013-12-15T14:39:18.313000

PHP formal semantics?

1.9k views Asked by jameshfisher At 15 December 2013 at 14:39

TechQA.

List Question

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

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

Where is the formal semantics of Data Analysis Expressions (DAX) documented?

Definition of functional dependency, ambigiuous "for all pairs"

What type of semantics is used in Perl?

Coq: prove while is equivalent to repeat

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

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

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

How to define a recursive function in Isabelle/HOL?

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

K Framework produces an error in the OCaml backend

Why can't I call a (non-static) lemma from a ghost field in Dafny?

How to define an expression translator?

Is static analysis really formal verification?

How to describe the semantics of a language?

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

What is the relationship between loop invariant and weakest precondition

What Is the Difference Between semantic and concept?

PHP formal semantics?

Popular Questions

Trending Questions