Index Catalog // 蹄兔

清除筛选

筛选: Advisor Fisler, Kathryn 创造者 Yoo, Daniel

1. Building Web Based Programming Environments for Functional Programming

关键词:: compilation, web, javascript, programming environments, and Education
创造者:: Yoo, Daniel
Advisor:: Fisler, Kathryn
出版者:: Worcester Polytechnic Institute
创建日期:: 2012-04-26
Resource Type:: Dissertation
Degree:: PhD
Unit (Department):: Computer Science

2. Alchemy: Transmuting Base Specifications into Implementations

关键词:: Alloy, program synthesis, and relational specification
创造者:: Yoo, Daniel
Advisor:: Fisler, Kathryn
出版者:: Worcester Polytechnic Institute
创建日期:: 2009-02-26
Resource Type:: Thesis
Degree:: MS
Unit (Department):: Computer Science