Browse Research and Tech Reports - Computer Science by Subject "abstract machine"

  • 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)