Sökning: "type-inference"

Visar resultat 1 - 5 av 6 uppsatser innehållade ordet type-inference.

  1. 1. Type Inference in PHP using Deep Learning

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

    Författare :Samuel Klingström; Pontus Olsson; [2020]
    Nyckelord :Technology and Engineering;

    Sammanfattning : .... LÄS MER

  3. 2. A Type-inferencing Mechanism for Automatically Detecting Variable Types in System Requirements Specifications

    Kandidat-uppsats, Mälardalens högskola/Akademin för innovation, design och teknik

    Författare :Mustafa Husein; [2018]
    Nyckelord :system requirements specification; type-inference;

    Sammanfattning : A system requirements specification (SyRS) defines a set of functionalities that a system is expected to fulfil. A requirement may be “it is always the case that actualFuelLevel is greater than or equal to 0” for an industrial system. LÄS MER

  4. 3. Functional Shading Language : Kompilering av funktionsvärden, typinferens och automatisk generalisering till HLSL

    Kandidat-uppsats, Högskolan i Skövde/Institutionen för informationsteknologi

    Författare :Ludvig Christensson; [2018]
    Nyckelord :Shaders; shaderspråk; funktionell programmering; HLSL; datorgrafik;

    Sammanfattning : Rapporten beskriver design, utveckling och testning av det funktionella shaderspråket FSL i syftet att avgöra om funktionell paradigm gör shaderspråk enklare att förstå och använda än den existerande imperativa paradigmen. Implementationen presenterar tekniker för att kompilera de funktionella språkkonstruktionerna typinferens, funktionsvärden och automatisk generalisering till HLSL. LÄS MER

  5. 4. Anonymous Mobile Consumer Analysis Platform

    Master-uppsats, KTH/Geoinformatik

    Författare :Ehsan Saqib; [2016]
    Nyckelord :;

    Sammanfattning : Advances in mobile communication, computing and positioning technologies allow the real-time acquisition of continuously changing locations of moving objects, e.g., users carrying location-aware mobile devices. LÄS MER

  7. 5. Ahead of Time Compilation of EcmaScript Code Using Type Inference

    Uppsats för yrkesexamina på avancerad nivå, KTH/Skolan för datavetenskap och kommunikation (CSC)

    Författare :Jonas Lund; [2015]
    Nyckelord :EcmaScript; JavaScript; Compilation; Compilers; Type Inference; Cartesian Product Algorithm; Games;

    Sammanfattning : To investigate the feasibility of improving performance for EcmaScript code in environments that restricts the usage of dynamic just in time compilers, an ahead of time EcmaScript to C compiler capable of compiling a substantial subset of the EcmaScript language has been constructed. The compiler recovers type information without customized type information by using the Cartesian Product Algorithm. LÄS MER