Playing by the Rules:  A Formal Specification of BoGL’s Loops and Type System

Honors College Thesis

Public Deposited

Citeable URL: https://ir.library.oregonstate.edu/concern/honors_college_theses/1r66j799v

Descriptions

Attribute Name	Values
Creator	Grejuc, Alex
Abstract	BoGL is a programming language created for the purpose of computer science education that is specific to the domain of board games. Although there is a language grammar and an existing implementation that is currently used by students, a complete and formal language standard does not yet exist. In the format of inference rules, this thesis specifies the language's while loops, which are at the intersection of functional and imperative programming, as well as its type system. This formal specification has helped resolve language design issues, continues the effort to standardize the language, and supports future work on it, such as the creation of systematic and beginner-friendly type error message reporting. Key Words: Type Systems, Programming Languages, Functional Programming, Domain Specific Languages, Educational Programming Languages
License	Attribution 4.0 (CC BY 4.0)
Resource Type	Honors College Thesis
Date Issued	2021-05-21
Degree Level	Bachelor's
Degree Name	Honors Bachelor of Science (H.B.S.)
Degree Field	Computer Science
Degree Grantor	Oregon State University
Commencement Year	2021
Advisor	Erwig, Martin
Committee Member	Fedorin, Danila Walkingshaw, Eric
Non-Academic Affiliation	Oregon State University. Honors College
Rights Statement	In Copyright
Related Items	Online Language Implementation GitHub Repository of Source Code
Publisher	Oregon State University
Peer Reviewed	No
Language	English [eng]

Parents:

This work has no parents.

In Collection:

Thumbnail	Title	Date Uploaded	Visibility	Actions
	GrejucAlex2021.pdf	2021-05-31	Public	Download