Index Catalog // Hyrax

Cancellare i filtri

Filtro per: Advisor Fisler, Kathryn Unit (Department) Computer Science

Development of a Data-Grounded Theory of Program Design in HTDP

First-Order Models for Configuration Analysis

Building Web Based Programming Environments for Functional Programming

Disjunction of Regular Timing Diagrams

Margrave: An Improved Analyzer for Access-Control and Configuration Policies

Alchemy: Transmuting Base Specifications into Implementations

Feature-Oriented Specification of Hardware Bus Protocols

An Axiomatic Semantics for Functional Reactive Programming

A Modular Model Checking Algorithm for Cyclic Feature Compositions

Modular Detection of Feature Interactions Through Theorem Proving: A Case Study