k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[[K-user] ] Static + Dynamic Semantic

From: Markus Knecht <markus.knecht85 AT gmail.com>
To: k-user AT lists.cs.illinois.edu
Subject: [[K-user] ] Static + Dynamic Semantic
Date: Wed, 5 Dec 2018 07:53:17 +0100
Authentication-results: illinois.edu; spf=pass smtp.mailfrom=markus.knecht85 AT gmail.com; dkim=pass header.d=gmail.com header.s=20161025; dmarc=pass header.from=gmail.com

Hello Together

For a language I develop I want to write define the semantics in K. I would like to?seperate the Static Semantic from the Dynamic Semantic. My question is: If i do this, can the K tools take both semantics into account? Meaning is theire an option such that it only applies the dynamic semantic to inputs that are sound according to the static semantic?

Kind Regard,

Markus Knecht

[[K-user] ] Static + Dynamic Semantic, Markus Knecht, 12/05/2018