Sökning: "Deductive Compilation"

Hittade 4 avhandlingar innehållade orden Deductive Compilation.

  1. 1. Towards a Deductive Compilation Approach

    Författare :Ran Ji; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Software Engineering; Software Verification; Partial Evaluation; Symbolic Execution; Deductive Compilation;

    Sammanfattning : Software correctness is an important topic, however, it is difficult to achieve. This thesis is a step towards a new way to ensure the software correctness in both source code and bytecode level. KeY is a state-of-the-art verification tool for Java source code. LÄS MER

  3. 2. Abstract interpretations and abstract machines : contributions to a methodology for the implementation of logic programs

    Författare :Ulf Nilsson; Jan Maluszynski; Samya Debray; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap;

    Sammanfattning : Because of the conceptual gap between high-level logic programming languages and existing hardware, the problem of compilation is hard. This thesis addresses two ways of narrowing this gap – program analysis through abstract interpretation and the introduction of intermediate languages and abstract machines. LÄS MER

  4. 3. Self-service Last Mile Delivery : E-consumer perspective on service renovation

    Författare :Yulia Vakulenko; Förpackningslogistik; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; self-service technology; e-commerce; last mile delivery; consumer; service renovation;

    Sammanfattning : The continuous growth of e-retail in the B2C sector has been generating new recordsin revenues for several years. This has led to diversification of the marketinteractions and actors that are involved and impacted by the respective operationsand trends. LÄS MER

  5. 4. OPEN DATA AND INNOVATION ADOPTION: Lessons From Sweden

    Författare :Serdar Temiz; Terrence Edison Brown; Kent Thorén; Daniel Örtqvist; KTH; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Open data; open innovation; innovation adoption; modes of innovation; eGovernment; open government; digital government; PLS-SEM; Industrial Economics and Management; Industriell ekonomi och organisation; Informations- och kommunikationsteknik; Information and Communication Technology;

    Sammanfattning : The Internet has significantly reduced the cost of producing, accessing, and using data, with governments, companies, open data advocates, and researchers observing open data’s potential for promoting democratic and innovative solutions and with open data’s global market size estimated at billions of dollars in the European Union alone (Carrara, Chan, Fischer, & Steenbergen, 2015). This thesis explores the concept of open data, describing and analyzing how open data adoption occurs to better identify and understand key challenges in this process and thus contribute to better use of the available data resources and valuable services for citizens. LÄS MER