From Centaur to the Meta-Environment: a tribute to a great meta-technologist

Klint, Paul

doi:10.1017/cbo9780511770524.012

Search citation statements

Order By: Relevance

Paper Sections

Select...

Introduction To the K Framework1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2017

Publication Types

Select...

Article1

Relationship

Self Cite0

Independent1

Authors

Journals

Cited by 1 publication

(1 citation statement)

References 51 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Those tools include among others: PLT Redex [6,13], Ott [23], Lem [19], Maude MSOS Tool [3], and the K framework [20,26]. All those tools focus on the (clear formal) specification of languages rather than their (efficient) implementation, which is more the focus of tools and languages such as Rascal [16,2,15] or its ancestor The Meta-Environment [14,25], Kermeta [9,10], and others. PLT Redex is based on reduction relations.…”

Section: Introduction To the K Frameworkmentioning

confidence: 99%

Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework

Guernic¹,

Combemale²,

Galindo³

2017

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Cite

Many project-specific languages, including in particular filtering languages, are defined using nonformal specifications written in natural languages. This leads to ambiguities and errors in the specification of those languages. This paper reports on an industrial experiment on using a tool-supported language specification framework (K) for the formal specification of the syntax and semantics of a filtering language having a complexity similar to those of real-life projects. This experimentation aims at estimating, in a specific industrial setting, the difficulty and benefits of formally specifying a packet filtering language using a tool-supported formal approach.

show abstract