Certificate Programs
Courses
Proofs
Building Blocks
Types
Functions
Properties
Conditional Properties
Why Logicwalk?
Log In
Get Started
Evaluate Method Arguments (3)
if Expression Stack at time
t
=
[ [
obj_name
.
method_name
(
args
),
ys
],
rest
], then Parameters List at time (
t
+
1
)
=
None
Comments
Please
log in
to add comments