dillmo

method FastExp(a: int, n: nat) returns (z: int)
  ensures z == Exp(a, n)
{
  var b: int, i: nat;
  z, b, i := 1, a, n;
  while (i != 0)
    invariant ExpInv(z, b, i, a, n)
    decreases i
  {
    if i % 2 == 1 {

dillmo

#include <stdlib.h>
#include <stdio.h>

struct node {
    struct node *parent;
    struct node *left;
    struct node *right;
    int value;
    int weight;
};

dillmo

def soundex(name):
    code = {
        'b': '1',
        'f': '1',
        'p': '1',
        'v': '1',
        'c': '2',
        'g': '2',
        'j': '2',
        'k': '2',

dillmo

<?xml version="1.0" ?>
<enemy>
    <behaviour>
        <root x="110" y="40">
            <normal>
                <andblock>
                    <string id="Comment">Avoid Earthquake</string>
                    <normal>
                        <condition id="isOnGround">
                            <string id="condition" values="yesno">yes</string>

dillmo

BANG !!!
AND THEY'RE OFF !!!!!

H==T=================================================================
T = Tortoise
H = Hare
B = Both

=H==T================================================================
T = Tortoise

dillmo

/* Introduction to C++ Project 2 by Dillon Morse
 * =============================================
 *
 * Description
 * -----------
 * Spec out how you will code and test the definition and use of a right
 * triangle class.
 * 1. Determine what your data will be.
 * 2. Create prototypes of the following functions:
 *   - Constructor(s)

dillmo

#include <iostream>
#include <regex>
#include <cstdlib>

using namespace std;

double* getInput();
bool undefined(double*);
double a(double*);
double c(double*, double);

dillmo

/* Introduction to C++ Homework Problem Set 5 Project by Dillon Morse
 * ------------------------------------------------------------------
 * Create a sequential file that contains 34 rows and 34 columns. Fill the
 * array with random numbers between -20 and 80. Your main code will ask the
 * user to enter a number N between -20 and 80. Yoiu will open the file and
 * search the two dimension array you read in for the number N. If found,
 * display the number of times it was found. Next, pass your two dimension
 * array to a functoin called diagonal. The function will ask the user if they
 * want the sum of the main diagonal values to a function called diagonal. The
 * function will ask the user if they want the sum of the main diagonal values

dillmo

/* Introduction to C++ Test 2 Lab solution by Dillon Morse
 * -------------------------------------------------------
 * a) Write a program that will create a file that will contain
 * the data values:
 * 4 -9 7
 * 1 -1 8
 * 7 4 5
 * 9 0 -3
 * when your program completes.
 *

dillmo

/* Dwarves and Coins Solution by Dillon Morse
 * ------------------------------------------
 * Several (M) dwarves have found a goblin's chest with N gold coins and have
 * to divide them. Due to ancient rules governing the allocation of loot to
 * pirates in order of seniority, the oldest dwarf should get one coin more
 * than the next oldest dwarf, and so on, so that the youngest dwarf gets M-1
 * fewer coins than the oldest dwarf. Additionally, no dwarf has to pitch in
 * any coins (ie no negative coins to any dwarfs)
 *
 * Help the dwarves to divide the coins in this way, or tell them that this is