A dirti la verità non conoscevo questi disegni sui record di attivazione , li ho guardati ora.. ( su )
Se li ho capiti a grandi linee la tua funzione InserisciElementoInLista dovrebbe essere:
InseriscielementoInLista
___________________________________________________________________
| |
|------------------------------------------------------------------|
|___||_______||____||______||___________|
L parola q prec PosTrovata
Poi a seconda dei controlli condizionali all'interno di questa funzione si creano altri record di attivazione in coda alla funzione nello stack della funzione inserisci (). Poi non so come si indichi ma *L e *q puntano ad aree di memoria presenti nell'heap e non nello stack del programma.
Questa è come l'ho capita io, poi come ti ho detto non saprei