Garrett Bluma gbluma

I like to use a technique from Richard Lanham's book "Revising Prose" to help myself write better English sentences. In the book, Lanham suggests that we break apart sentences at each predicate. Doing this helps us visually see the structure of our words. Errors and issues with flow stand out immediately. Likewise, sentences that contain many predicates don't flow nicely.

Splitting these sentences manually is a bit of work. Fortunately a computer can do this work trivially. It is not a problem to repetitively split apart sentences based on simple rules. Below is a program I

Abramsky and Jung "Domain Theory" http://www.cs.bham.ac.uk/~axj/pub/papers/handy1.pdf
Appel, Andrew "Modern Compiler Implementation in ML"
Cousot, Patrick "Abstract Interpretation Based Formal Methods and Future Challenges" http://www.di.ens.fr/~cousot/publications.www/Cousot-LNCS2000-sv-sb.pdf
Darais, Might, and Van Horn "Galois Transformers and Modular Abstract Interpreters" http://arxiv.org/pdf/1411.3962v1.pdf
Davey and Priestley, "Introduction To Lattices and Order"
Friedman and Mendhekar, "Using an Abstracted Interpreter to Understand Abstract Interpretation" http://www.cs.indiana.*du/l/www/classes/b621/abiall.pdf
Friedman and Wand, "Essentials of Programming Languages"
Jones and Nielson, "Abstract Interpretation: a Semantics-Based Tool for Program Analysis" http://se.inf.ethz.ch/courses/2014b_fall/sv/reading/jones-nielson.pdf
Livshits, Sridharan, Smaragdakis, et. al. "In Defense of Soundiness: A Manifesto" http://cgi.di.uoa.gr/~smaragd/Soundiness-CACM.pdf
Might, Matt "Writing an inte

	#!/usr/bin/env bash
	# memusg -- Measure memory usage of processes
	# Usage: memusg COMMAND [ARGS]...
	#
	# Author: Jaeho Shin <[email protected]>
	# Created: 2010-08-16
	############################################################################
	# Copyright 2010 Jaeho Shin. #
	# #
	# Licensed under the Apache License, Version 2.0 (the "License"); #

	<?php

	/** Lambda abstraction */
	class Lambda
	{
	function __construct($v, $body) {
	$this->v = $v;
	$this->body = $body;
	}