TechQA.

Question

How to let functions run recursively in k framework?

score 17 · Answer 1 · 2024-01-19T07:29:12.693000

0

Answer

17

Views

How to let functions run recursively in k framework?

17 views Asked by MogicFrog At 19 January 2024 at 07:29

score 21 · Answer 2 · 2023-06-21T11:26:29.283000

resolving parsing ambiguity for syntactic lists

21 views Asked by Byoungho Son At 21 June 2023 at 11:26

score 43 · Answer 3 · 2022-03-27T18:10:50.937000

Inner Parser: Scanner Error: Numeric Argument to substrString

43 views Asked by Colm Bhandal At 27 March 2022 at 18:10

score 57 · Answer 4 · 2022-02-14T09:31:43.280000

Computation of dependencies (related to the K prelude)

57 views Asked by Amélie LEDEIN At 14 February 2022 at 09:31

score 82 · Answer 5 · 2021-09-21T21:52:15.733000

K framework installation repeatedly fails on MacBookPro 19 OS X Mojave 10.14.6

82 views Asked by liuba At 21 September 2021 at 21:52

score 55 · Answer 6 · 2021-07-13T11:30:04.290000

How to check if there exist a sub list of a list in a Map?

55 views Asked by NotBad4U At 13 July 2021 at 11:30

score 54 · Answer 7 · 2021-06-23T07:29:33.993000

Problem with the lookup in a Map to get the value of a stored variable

54 views Asked by NotBad4U At 23 June 2021 at 07:29

score 55 · Answer 8 · 2021-06-18T07:25:11.290000

Is there a way to add a new constructors to hooked sort Int?

55 views Asked by NotBad4U At 18 June 2021 at 07:25

score 24 · Answer 9 · 2021-06-08T16:41:37.350000

K Framework: Cannot convert to subtype

24 views Asked by kdmnk At 08 June 2021 at 16:41

score 36 · Answer 10 · 2021-06-04T06:54:56.563000

Parsing annotations within comments / Negative matching of strings in regexps

36 views Asked by nishantjr At 04 June 2021 at 06:54

score 63 · Answer 11 · 2021-05-31T07:46:04.567000

How do I make an item optional or repeatable in K syntax rule?

63 views Asked by NotBad4U At 31 May 2021 at 07:46

score 42 · Answer 12 · 2021-05-12T02:03:24.630000

Variable substitution error in Pi-calculus

42 views Asked by NotBad4U At 12 May 2021 at 02:03

score 82 · Answer 13 · 2021-05-09T22:09:46.910000

K Framework: problem with semantic cast in function declarations

82 views Asked by kdmnk At 09 May 2021 at 22:09

score 76 · Answer 14 · 2021-01-12T03:24:59.800000

K framework install failure on MacOS catalina 10.15.6

76 views Asked by david streader At 12 January 2021 at 03:24

score 174 · Answer 15 · 2020-08-06T18:44:21.057000

Difficulties with solving the exercises in the K Framework Tutorial

174 views Asked by Tiago Mendes At 06 August 2020 at 18:44

score 30 · Answer 16 · 2020-07-16T21:49:42.787000

KFramework: Issues with `#isConcrete` and function global configuration lookup

30 views Asked by Reed Oei At 16 July 2020 at 21:49

score 70 · Answer 17 · 2020-07-15T02:33:37.053000

Higher-Order Functions in K?

70 views Asked by laifs At 15 July 2020 at 02:33

score 49 · Answer 18 · 2020-07-10T23:55:54.660000

Is substitution implemented in the Haskell backend?

49 views Asked by laifs At 10 July 2020 at 23:55

score 26 · Answer 19 · 2020-07-07T14:07:10.167000

Traversing an evaluation context in K?

26 views Asked by laifs At 07 July 2020 at 14:07

score 26 · Answer 20 · 2020-07-01T23:09:48.120000

Branching on a range of integers in K?

26 views Asked by laifs At 01 July 2020 at 23:09

TechQA.

List Question

How to let functions run recursively in k framework?

resolving parsing ambiguity for syntactic lists

Inner Parser: Scanner Error: Numeric Argument to substrString

Computation of dependencies (related to the K prelude)

K framework installation repeatedly fails on MacBookPro 19 OS X Mojave 10.14.6

How to check if there exist a sub list of a list in a Map?

Problem with the lookup in a Map to get the value of a stored variable

Is there a way to add a new constructors to hooked sort Int?

K Framework: Cannot convert to subtype

Parsing annotations within comments / Negative matching of strings in regexps

How do I make an item optional or repeatable in K syntax rule?

Variable substitution error in Pi-calculus

K Framework: problem with semantic cast in function declarations

K framework install failure on MacOS catalina 10.15.6

Difficulties with solving the exercises in the K Framework Tutorial

KFramework: Issues with `#isConcrete` and function global configuration lookup

Higher-Order Functions in K?

Is substitution implemented in the Haskell backend?

Traversing an evaluation context in K?

Branching on a range of integers in K?

Popular Questions

Popular Tags

Trending Questions