Program analysis for documentation

A program analysis for documentation (PAD) written in FORTRAN has three steps: listing the variables, describing the structure and writing the program specifications. Technical notes on editing criteria for reviewing program documentation, technical notes for PAD, and FORTRAN program analyzer for documentation are appended

Program notes of graduate recital

Master's Project (M.Mu.) University of Alaska Fairbanks, 2017This paper discusses the four pieces of the graduate recital of student Evanthia Maniatopoulou; Johann Sebastian Bach's Prelude and Fugue in F minor, Well-Tempered Clavier Book II, BWV 881; Ludwig van Beethoven's Piano Sonata No. 30, Op. 109; Frederic Chopin's Scherzo No. 3, Op. 39; and Sergei Prokofiev's Piano Sonata No. 7, Op. 83. It is divided into four chapters, with one chapter dedicated to each piece. In each chapter there is a discussion about the composer's background, then some comments about his compositional style in general, then some information about the genre in which every piece falls into, and finally a brief analysis and discussion about the specific piece that was in the graduate recital.Chapter 1. Johann Sebastian Bach (1685-1750) -- Chapter 2. Ludwig van Beethoven (1770-1827) -- Chapter 3. Frederic Chopin (1810-1849) -- Chapter 4. Sergei Prokofiev (1891-1953) -- Bibliography

Lecture Notes on Formal Program Development

This document was originally produced as lecture notes for the MSc and PG course ``Formal Program Development'' early in 1997. After some initial general considerations on this subject the paper focusses on the way one can use Extended ML (EML) for formal program development, which features EML contains and why, and which pitfalls one has to avoid when formally developing ML programs. Usage, features, and pitfalls are all presented through examples

Israel notes

Notes from a meeting about the Clark-Rehovot program and upcoming trip to Israel

Introduction to Gromov-Witten Theory

The goal of these notes is to provide an informal introduction to Gromov-Witten theory with an emphasis on its role in counting curves in surfaces. These notes are based on a talk given at the Fields Institute during a week-long conference aimed at introducing graduate students to the subject which took place during the thematic program on Calabi-Yau Varieties: Arithmetic, Geometry, and Physics.Comment: 21 Page

Program Verification of Numerical Computation

These notes outline a formal method for program verification of numerical computation. It forms the basis of the software package VPC in its initial phase of development. Much of the style of presentation is in the form of notes that outline the definitions and rules upon which VPC is based. The initial motivation of this project was to address some practical issues of computation, especially of numerically intensive programs that are commonplace in computer models. The project evolved into a wider area for program construction as proofs leading to a model of inference in a more general sense. Some basic results of machine arithmetic are derived as a demonstration of VPC

Engaging with the Dory Fleet: A Panel Discussion on a Collaborative College and Community Oral History Project

This peer-reviewed program was presented at the annual Northwest Communication Association Conference in Coeur d’Alene Idaho on April 15, 2016. The presentation features an overview of the Launching through the Surf: The Dory Fleet of Pacific City project and includes detailed notes from each speaker. Special thanks go to Mary Beth Jones and Brenda DeVore Marshall, who served as transcriber and editor for the detailed speaker notes