Ben's Homepage

This is my homepage. I'm really just setting it up because my Computer Science professor, Charlie, wants me to set up one. All it contains are links to programs which I am supposed to display. Not very entertaining, I'm afraid. Maybe one day I'll actually do something fun and interesting with it.

Programs to be looked at for Software Engineering:

• Non-deterministic Pushdown Automaton Verifier

Programs written for Principles of Computer Organization:

• Two's Complement Binary Adder

Here's a simple example of a program which writes another program.
It's a bit hard to read at first, but hopefully it's understandable.

• Time Test Writer
• Sample Input

And here's a more complicated version, which accounts for the time
it takes for the loop, and allows one to determine how many times the
test should loop for each operation.

• Another Time Test Writer
• Sample Input

In case you want to try running it yourself, here is the useinfo module I use in the code.

• Useinfo header file
• Useinfo code

Here are links to pages dealing with specific areas:

• My Open Source Page