Could someone guide me with the basics of SLIM+ (Stack language for Intermediate Machines)?
Thanks.

I really never heard about this "language", can you give us more details about it!