Index Catalog // Digital WPI

Start Over

Filtering by: Contributor Fisler, Kathryn Contributor Guttman, Joshua

1. First-Order Models for Configuration Analysis

Keyword:: firewalls, Security, static analysis, logic, scenarios, model finding, and configuration
Creator:: Nelson, Tim
Advisor:: Dougherty, Daniel J. and Fisler, Kathryn
Publisher:: Worcester Polytechnic Institute
Date Created:: 2013-04-25
Resource Type:: Dissertation
Degree:: PhD
Unit (Department):: Computer Science

2. Building Web Based Programming Environments for Functional Programming

Keyword:: compilation, web, javascript, programming environments, and Education
Creator:: Yoo, Daniel
Advisor:: Fisler, Kathryn
Publisher:: Worcester Polytechnic Institute
Date Created:: 2012-04-26
Resource Type:: Dissertation
Degree:: PhD
Unit (Department):: Computer Science