Now showing items 1-1 of 1

  • Automation production C code from specification in predicate calculus.

    T.E.I. of Crete, School of Engineering (STEF), Department of Mechanical Engineering
    Authors: Xylouris, Andreas
    Thesis advisor: Papadakis, Nikolaos
    Publication Date: 15-10-2013
    In this paper we describe how to transform reasonable proposals in high programming language. To do this we have to define a theoretical description of the algorithm. That we will find a way to get each part of the proposal ...