Question

How to let functions run recursively in k framework?

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

17

Views

How to let functions run recursively in k framework?

Published on 19 January 2024 at 07:29

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

21

Views

resolving parsing ambiguity for syntactic lists

Published on 21 June 2023 at 11:26

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

43

Views

Inner Parser: Scanner Error: Numeric Argument to substrString

Published on 27 March 2022 at 18:10

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

57

Views

Computation of dependencies (related to the K prelude)

Published on 14 February 2022 at 09:31

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

82

Views

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

Published on 21 September 2021 at 21:52

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

55

Views

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

Published on 13 July 2021 at 11:30

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

54

Views

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

Published on 23 June 2021 at 07:29

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

55

Views

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

Published on 18 June 2021 at 07:25

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

24

Views

K Framework: Cannot convert to subtype

Published on 08 June 2021 at 16:41

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

36

Views

Parsing annotations within comments / Negative matching of strings in regexps

Published on 04 June 2021 at 06:54

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

63

Views

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

Published on 31 May 2021 at 07:46

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

42

Views

Variable substitution error in Pi-calculus

Published on 12 May 2021 at 02:03

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

82

Views

K Framework: problem with semantic cast in function declarations

Published on 09 May 2021 at 22:09

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

76

Views

K framework install failure on MacOS catalina 10.15.6

Published on 12 January 2021 at 03:24

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

174

Views

Difficulties with solving the exercises in the K Framework Tutorial

Published on 06 August 2020 at 18:44

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

30

Views

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

Published on 16 July 2020 at 21:49

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

70

Views

Higher-Order Functions in K?

Published on 15 July 2020 at 02:33

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

49

Views

Is substitution implemented in the Haskell backend?

Published on 10 July 2020 at 23:55

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

26

Views

Traversing an evaluation context in K?

Published on 07 July 2020 at 14:07

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

26

Views

Branching on a range of integers in K?

Published on 01 July 2020 at 23:09

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?

Trending Questions

Popular # Hahtags

Popular Questions