Essays about: "static checker"

Found 5 essays containing the words static checker.

  1. 1. MLpylint: Automating the Identification of Machine Learning-Specific Code Smells

    University essay from Blekinge Tekniska Högskola/Institutionen för programvaruteknik

    Author : Peter Hamfelt; [2023]
    Keywords : Code Smell; Machine Learning; Static Code Analysis; Software Quality; Technical Debt;

    Abstract : Background. Machine learning (ML) has rapidly grown in popularity, becoming a vital part of many industries. This swift expansion has brought about new challenges to technical debt, maintainability and the general software quality of ML systems. READ MORE

  3. 2. Gradual Typing for a More Pure JavaScript

    University essay from Göteborgs universitet/Institutionen för data- och informationsteknik

    Author : JAKOB ERLANDSSON; ERIK NYGREN; OSKAR VIGREN; ANTON WESTBERG; [2020-10-29]
    Keywords : ;

    Abstract : Dynamically typed languages have surged in popularity in recent years, owing to their flexibility and ease of use. However, for projects of a certain size dynamic typing can cause problems of maintainability as refactoring becomes increasingly difficult. READ MORE

  4. 3. Evaluating the Accuracy of Annotations in the Loci 3.0 Pluggable Type Checker

    University essay from Institutionen för informationsteknologi

    Author : Nosheen Zaza; [2013]
    Keywords : ;

    Abstract : This thesis work investigates the accuracy of Loci, a static type checker in expressing thread-locality at compile time. To do this, we need to capture both thread-locality at runtime, and thread-locality expressed statically using Loci. READ MORE

  5. 4. Contract Checking for Feldspar

    University essay from Göteborgs universitet/Institutionen för data- och informationsteknik

    Author : Fatemeh Lashkari; [2012-05-25]
    Keywords : ;

    Abstract : "Contracts play an important role in the construction of robust software" [13]. Program invariants are expressed in familiar notation with known semantics by using contracts. Assertions based on contracts has been widely used in procedural and object-oriented languages. READ MORE

  6. 5. HDL code analysis for ASICs in mobile systems

    University essay from Institutionen för systemteknik

    Author : Fredrik Wickberg; [2007]
    Keywords : HDL Spyglass RTL netlist lint constraints CDC DFT;

    Abstract : The complex work of designing new ASICs today and the increasing costs of time to market (TTM) delays are putting high responsibility on the research and development teams to make fault free designs. The main purpose of implementing a static rule checking tool in the design flow today is to find errors and bugs in the hardware definition language (HDL) code as fast and soon as possible. READ MORE