Output from OBJ Code from CSE 230 Midterm of 11 Feb 99


awk% obj
                     \|||||||||||||||||/
                   --- Welcome to OBJ3 ---
                     /|||||||||||||||||\
         OBJ3 version 2.04oxford built: 1994 Feb 28 Mon 15:07:40
            Copyright 1988,1989,1991 SRI International
                   1999 Feb 12 Fri 20:10:59
OBJ> in mid99
==========================================
obj ZZ
==========================================
obj ARRAY
==========================================
obj EXP
==========================================
obj TST
==========================================
obj BPGM
==========================================
th STORE
==========================================
obj PGM
==========================================
obj SEM
==========================================
obj PASS
==========================================
open 
==========================================
let s = ( initial ; 'X := 1 ) ; 'Y := 2 .
==========================================
reduce in PASS : s[['X]]
rewrites: 6
result NzNat: 1
==========================================
reduce in PASS : s[['Y]]
rewrites: 4
result NzNat: 2
==========================================
reduce in PASS : s[['Z]]
rewrites: 6
result Zero: 0
==========================================
close
==========================================
open 
==========================================
let s = ( initial ; 'X := 1 ) ; 'Y := 2 .
==========================================
reduce in PASS : s ; 'X,'Y := 'Y,'X[['X]]
rewrites: 6
result NzNat: 2
==========================================
reduce in PASS : s ; 'X,'Y := 'Y,'X[['Y]]
rewrites: 8
result NzNat: 1
==========================================
reduce in PASS : s ; 'X,'Y := 'Y,'X[['Z]]
rewrites: 10
result Zero: 0
==========================================
close
==========================================
open 
==========================================
let s = ( initial ; 'X := 1 ) ; 'Y := 2 .
==========================================
reduce in PASS : s ; 'X,'X := 3,4[['X]]
rewrites: 6
result Int: ((initial ; 'X := 1) ; 'Y := 2) ; 'X,'X := 3,4[['X]]
==========================================
reduce in PASS : s ; 'X,'X := 3,4[['Y]]
rewrites: 8
result NzNat: 2
==========================================
reduce in PASS : s ; 'X,'X := 3,4[['Z]]
rewrites: 10
result Zero: 0
==========================================
close
==========================================
obj PASS
Warning: redefining module PASS
==========================================
open 
==========================================
let s = ( initial ; 'X := 1 ) ; 'Y := 2 .
==========================================
reduce in PASS : s[['X]]
rewrites: 6
result NzNat: 1
==========================================
reduce in PASS : s[['Y]]
rewrites: 4
result NzNat: 2
==========================================
reduce in PASS : s[['Z]]
rewrites: 6
result Zero: 0
==========================================
close
==========================================
open 
==========================================
let s = ( initial ; 'X := 1 ) ; 'Y := 2 .
==========================================
reduce in PASS : s ; 'X,'Y := 'Y,'X[['X]]
rewrites: 8
result NzNat: 2
==========================================
reduce in PASS : s ; 'X,'Y := 'Y,'X[['Y]]
rewrites: 7
result NzNat: 2
==========================================
reduce in PASS : s ; 'X,'Y := 'Y,'X[['Z]]
rewrites: 11
result Zero: 0
==========================================
close
==========================================
open 
==========================================
let s = ( initial ; 'X := 1 ) ; 'Y := 2 .
==========================================
reduce in PASS : s ; 'X,'X := 3,4[['X]]
rewrites: 5
result NzNat: 4
==========================================
reduce in PASS : s ; 'X,'X := 3,4[['Y]]
rewrites: 9
result NzNat: 2
==========================================
reduce in PASS : s ; 'X,'X := 3,4[['Z]]
rewrites: 11
result Zero: 0
==========================================
close
OBJ> q
Bye.
awk% 

Back to the source code


Back to CSE 230 homepage
Maintained by Joseph Goguen
Last modified 12 February 1999