k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[[K-user] ] Documentation

From: Andreas Stahlbauer <stahlbau AT fim.uni-passau.de>
To: k-user AT lists.cs.illinois.edu
Subject: [[K-user] ] Documentation
Date: Thu, 31 Oct 2019 15:36:46 +0100
Authentication-results: illinois.edu; spf=none smtp.mailfrom=stahlbau AT fim.uni-passau.de; dmarc=none

Hi K-Community,

I have seen (and read) several tutorials (and paper) on using the K
framework.
Is there any document that summarizes all available functionality for
specifying the syntax and the semantics of a language?

At the moment, I have problems getting the statement

"syntax NumberDigit ::= Token{[0-9]} [notInRules, notInGround]”

to compile (within a module). This formalization was inspired b the
work on JavaScript semantics. Any hints or references on defining valid
tokens/lexemes? (also some details on the attributes would be interesting)

Thank you and best regards,
Andreas

--
Andreas Stahlbauer

University of Passau
Chair of Software Engineering II
Innstraße 33, 94032 Passau

Phone: +49 851 509 3198
Room: 126 IM

[[K-user] ] Documentation, Andreas Stahlbauer, 10/31/2019