K—A semantic framework for programming languages and formal analysis

Xiaohong Chen*, Grigore Roşu

*Corresponding author for this work

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    3 Citations (SciVal)
    Original languageEnglish
    Title of host publicationEngineering Trustworthy Software Systems - 5th International School, SETSS 2019, Tutorial Lectures
    EditorsJonathan P. Bowen, Zhiming Liu, Zili Zhang
    PublisherSpringer
    Pages122-158
    Number of pages37
    ISBN (Print)9783030550882
    DOIs
    Publication statusPublished (VoR) - 2020
    Event5th International School on Engineering Trustworthy Software Systems, SETSS 2019 - Chongqing, China
    Duration: 21 Apr 201927 Apr 2019

    Publication series

    NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
    Volume12154 LNCS
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Conference

    Conference5th International School on Engineering Trustworthy Software Systems, SETSS 2019
    Country/TerritoryChina
    CityChongqing
    Period21/04/1927/04/19

    Keywords

    • Formal semantics
    • K framework
    • Matching logic

    Fingerprint

    Dive into the research topics of 'K—A semantic framework for programming languages and formal analysis'. Together they form a unique fingerprint.

    Cite this