Sökning: "Karl-Oskar Rikås"

Hittade 1 uppsats innehållade orden Karl-Oskar Rikås.

  1. 1. Filtering False Positive Alarms in JavaDL and Language Experience Report

    Master-uppsats, Lunds universitet/Institutionen för datavetenskap

    Författare :Karl-Oskar Rikås; Frank Weslien; [2021]
    Nyckelord :static program analysis; alarm filtering; feature engineering; Technology and Engineering;

    Sammanfattning : JavaDL is a domain-specific language (DSL) for writing static program analyses in a declarative logic programming style, based on Datalog. The key feature of this DSL is the ability to pattern-match on literal source code syntax and reason non-locally through declarative programming. LÄS MER