Browse Research and Tech Reports - Computer Science by Contributor "Șerbănuță, Traian Florin"

  • Rosu, Grigore (2010-02-05)
    K is an executable semantic framework in which programming languages, calculi, as well as type systems or formal analysis tools can be defined making use of configurations, computations and rules. Configurations organize ...

    application/pdf

    application/pdfPDF (748kB)