Navigation section

executable semantics

About this tag
The tag executable semantics on WindowsForum.com covers discussions about formal methods and program verification, particularly in the context of programming languages and software engineering. Content includes references to research by Grigore Rosu, an associate professor at UIUC, whose work involves theoretical foundations and system development in formal methods. The tag is relevant to topics such as executable semantics for programming languages, formal verification, and related tools. While the tag appears in a Windows forum, the content focuses on computer science research rather than Windows-specific issues.
  1. News

    Windows 7 ICSE 2011: Grigore Rosu - The Art and Science of Program Verification

    Grigore Rosu is an associate professor in the Department of Computer Science at the University of Illinois at Urbana-Champaign (UIUC), where he leads the Link Removed (FSL). His research interests encompass both theoretical foundations and system development in the areas of formal methods...
    • News
    • Thread
    • acm sigsoft awards computer science etaps 2002 executable semantics formal methods grigore rosu hoare logic icse 2011 nasa ames nsf career programming languages research software development software verification system development teaching theoretical foundations uiuc
    • Replies: 0
    • Forum: Live RSS Feeds
Back
Top