Browse by Subject "programming languages"

  • Sundresh, Sameer (2009-05-04)
    How do you dynamically customize the programming language available in a context within an existing system, without changing the underlying system? This dissertation introduces a language design approach that addresses ...

    application/pdf

    application/pdfPDF (735Kb)
  • Hills, Mark; Serbanuta, Traian Florin; Rosu, Grigore (2005-12)
    A rewrite logic semantic definitional framework for programming languages is introduced, called K, together with partially automated translations of K language definitions into rewriting logic and into C. The framework is ...

    application/pdf

    application/pdfPDF (209Kb)
  • Chen, Feng; Hills, Mark; Rosu, Grigore (2006-03)
    This paper introduces a framework for rapid prototyping of object oriented programming languages and corresponding analysis tools. It is based on formal definitions of language features in rewrite logic, a simple and ...

    application/pdf

    application/pdfPDF (257Kb)
  • Hills, Mark; Rosu, Grigore (2006-10)
    This paper introduces a framework for the rapid prototyping of object oriented programming languages. This framework is based on specifying the semantics of a language using term rewriting and a continuation-based ...

    application/pdf

    application/pdfPDF (244Kb)
  • Ellison, Chucky M.; Serbanuta, Traian Florin; Rosu, Grigore (2008-03)
    Meseguer and Rosu proposed rewriting logic semantics (RLS) as a programming language definitional framework that unifies operational and algebraic denotational semantics. Once a language is defined as an RLS theory, many ...

    application/pdf

    application/pdfPDF (383Kb)
  • AlTurki, Musab; Meseguer, Jose (2007-11)
    Orc is a language for \emph{orchestration} of web services developed by J. Misra that offers simple, yet powerful and elegant, constructs to succinctly program sophisticated web orchestration applications. However, because ...

    application/pdf

    application/pdfPDF (757Kb)
  • Rosu, Grigore; Schulte, Wolfram; Serbanuta, Traian Florin (2009-03)
    C is the most widely used imperative system's implementation language. While C provides types and high-level abstractions, its design goal has been to provide highest performance which often requires low-level access to ...

    application/pdf

    application/pdfPDF (286Kb)
  • Dhurjati, Dinakar (2006-09)
    Many computing systems today are written in weakly typed languages such as C and C++. These languages are known to be ``unsafe'' as they do not prevent or detect common memory errors like array bounds violations, pointer ...

    application/pdf

    application/pdfPDF (745Kb)
  • Liu, Chao (2007-07)
    Recent years have seen great advances in software engineering and programming languages, and more and more time is devoted to extensive testing and exhaustive debugging. Unfortunately, software is still far from bug-free, ...

    application/pdf

    application/pdfPDF (2Mb)
  • Bocchino, Robert L., Jr.; Adve, Vikram S.; Dig, Danny; Heumann, Stephen; Komuravelli, Rakesh; Overbey, Jeffrey; Simmons, Patrick; Sung, Hyojin; Vakilian, Mohsen (2009-02)
    We describe a type and effect system for ensuring deterministic semantics in a concurrent object-oriented language. Our system provides several new capabilities over previous work, including support for linear arrays ...

    application/pdf

    application/pdfPDF (236Kb)
  • Boronat, Artur; Knapp, Alexander; Meseguer, Jose; Wirsing, Martin (2008-10)
    In large software projects often multiple modeling languages are used in order to cover the different domains and views of the application and the language skills of the developers appropriately. Such "multi-modeling" ...

    application/pdf

    application/pdfPDF (704Kb)