We are inviting IDEALS users, both people looking for materials in IDEALS and those who want to deposit their work, to give us feedback on improving this service through an interview. Participants will receive a $20 VISA gift card. Please sign up via webform.

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/pdfPDF (748kB)