kframework

kframework

Computation of dependencies (related to the K prelude)

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

Parsing annotations within comments / Negative matching of strings in regexps

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

K Framework: Cannot convert to subtype

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

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

Variable substitution error in Pi-calculus

K Framework: problem with semantic cast in function declarations

Difficulties with solving the exercises in the K Framework Tutorial

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

Traversing an evaluation context in K?

Higher-Order Functions in K?

Is substitution implemented in the Haskell backend?

Implementing a list of evaluation contexts?

Branching on a range of integers in K?

Is there a parser tag for comments in K?

How to pass a string argument to `krun` in K framework?

When are K configuration cells type-checked?

Transition rule priority and set pattern matching in K?

Stateful rules that manipulate global state in K?

How to use [binder] in K?

What is a concatenated term and in what contexts are they unexpected?

Why does a list of values not cool on the LLVM backend of K?

K Framework: Macros not recursively expanding

Structural Operational Semantics in K?

How can I check if a key-value pair is not in a map of kframework?

Printing the value of the configuration

Compiler: No fresh generator defined for sort Optional[KVar]

How do we use the --pdf flag for generating documentation?

K Framework: Substitution not substituting in simple terms?

What exactly does context do in K?

Adding a colon to language in K

K Framework - confusion with toy language

Difference between "requires" and "when" side conditions

How do I use the `--directory` flag of KRun

page:1 of 1 main page

Categories

voice-recognition

http-status-code-502

anypoint-studio

conditional-formatting

flutter-platform-channel

azure-storage-queues

android-connectionservice

system.text.json

google-rich-snippets

azure-database-postgresql

mutation-testing

instantsearch.js

window.location

google-drive-android-api

apache-spark-ml

internet-explorer-10

knockout-components

struts2-jquery-plugin

nsnotificationcenter

onconfigurationchanged

jquery-mobile-listview

multiscaleimage

uiviewanimation-curve

recursive-datastructures

payment-services

Resources