textabstractSoftware is becoming a pervasive presence in our lives, powering computing systems in the home, in businesses, and in safety-critical settings. In response, languages are being defined with support for new domains and complex computational abstractions. The need for formal techniques to help better understand the languages we use, correctly design new language abstractions, and reason about the behavior and correctness of programs is now more urgent then ever. In this dissertation we focus on research in programming language semantics and program analysis, aimed at building and reasoning about programming languages and applications. In language semantics, we first show how to use formal techniques during language design, pres...
A plethora of programming languages have been and continue to be developed to keep pace with hardwar...
Abstract. K is a rewriting-based framework for defining programming languages. K-Maude is a tool imp...
AbstractA rewrite logic semantic definitional framework for programming languages is introduced, cal...
Software is becoming a pervasive presence in our lives, powering computing systems in the home, in b...
Software is becoming a pervasive presence in our lives, powering computing systems in the home, in b...
Software is becoming a pervasive presence in our lives, powering computing systems in the home, in b...
The K framework, based on rewriting logic semantics, provides a powerful logic for defining the sema...
K is an algebraic framework for defining programming languages. It consists of a technique and of a ...
This paper introduces a framework for rapid prototyping of object oriented programming languages and...
K is an algebraic framework for defining programming languages. It consists of a technique and of a ...
AbstractThis paper gives an overview of the tool-supported K framework for semantics-based programmi...
Abstract. Object-oriented language concepts have been highly success-ful, resulting in a large numbe...
Abstract. Rewriting logic provides a powerful, flexible mechanism for language definition and analys...
Programming languages and formal notations are central to computer science. A significant part of c...
A rewrite logic semantic definitional framework for programming languages is introduced, called K, t...
A plethora of programming languages have been and continue to be developed to keep pace with hardwar...
Abstract. K is a rewriting-based framework for defining programming languages. K-Maude is a tool imp...
AbstractA rewrite logic semantic definitional framework for programming languages is introduced, cal...
Software is becoming a pervasive presence in our lives, powering computing systems in the home, in b...
Software is becoming a pervasive presence in our lives, powering computing systems in the home, in b...
Software is becoming a pervasive presence in our lives, powering computing systems in the home, in b...
The K framework, based on rewriting logic semantics, provides a powerful logic for defining the sema...
K is an algebraic framework for defining programming languages. It consists of a technique and of a ...
This paper introduces a framework for rapid prototyping of object oriented programming languages and...
K is an algebraic framework for defining programming languages. It consists of a technique and of a ...
AbstractThis paper gives an overview of the tool-supported K framework for semantics-based programmi...
Abstract. Object-oriented language concepts have been highly success-ful, resulting in a large numbe...
Abstract. Rewriting logic provides a powerful, flexible mechanism for language definition and analys...
Programming languages and formal notations are central to computer science. A significant part of c...
A rewrite logic semantic definitional framework for programming languages is introduced, called K, t...
A plethora of programming languages have been and continue to be developed to keep pace with hardwar...
Abstract. K is a rewriting-based framework for defining programming languages. K-Maude is a tool imp...
AbstractA rewrite logic semantic definitional framework for programming languages is introduced, cal...