· are local variables statically or dynamically allocated?
· can subprogram definitions appear in other subprogram definitions?
· what parameter-passing method or methods are used?
· are the types of the actual parameters checked against the types of the formal parameters?
· if a subprograms can be passed as parameters and subprograms can be nested, what is the
referencing environment of a passed subprogram?
· can subprograms be overloaded?
· can subprograms be generic?
· if the language allows nested subprograms , are closures supported?