Index Catalog // Hyrax

Cancellare i filtri

Filtro per: Contributor Krishnamurthi, Shriram Unit (Department) Computer Science

1. First-Order Models for Configuration Analysis

Parola chiave:: firewalls, Security, static analysis, logic, scenarios, model finding, and configuration
Creatore:: Nelson, Tim
Advisor:: Dougherty, Daniel J. and Fisler, Kathryn
Editore:: Worcester Polytechnic Institute
data di creazione:: 2013-04-25
Resource Type:: Dissertation
Degree:: PhD
Unit (Department):: Computer Science

2. Fexprs as the basis of Lisp function application; or, $vau: the ultimate abstraction

Parola chiave:: Scheme, abstraction, lambda calculus, Lisp, vau calculus, fexpr, and Kernel
Creatore:: Shutt, John N
Advisor:: Gennert, Michael A.
Editore:: Worcester Polytechnic Institute
data di creazione:: 2010-09-01
Resource Type:: Dissertation
Degree:: PhD
Unit (Department):: Computer Science