K Overview and SIMPLE Case Study | Zendy

Grigore Roşu | Zendy; Traian Florin Şerbănuţă | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

K Overview and SIMPLE Case Study

Author(s) -

Grigore Roşu,

Traian Florin Şerbănuţă

Publication year - 2014

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2014.05.002

Subject(s) - programming language , syntax , computer science , interpreter , semantics (computer science) , parsing , simple (philosophy) , notation , algorithm , artificial intelligence , mathematics , arithmetic , philosophy , epistemology

This paper gives an overview of the tool-supported K framework for semantics-based programming language design and formal analysis. K provides a convenient notation for modularly defining the syntax and the semantics of a programming language, together with a series of tools based on these, including a parser and an interpreter. A case study is also discussed, namely the K definition of the dynamic and static semantics of SIMPLE, a non-trivial imperative programming language. The material discussed in this paper was presented in an invited talk at the K'11 workshop

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research