No… it’s really not. There is no “open this spreadsheet with macros turned off” button.
You can say “don’t read other documents” but then the main usecase is voided. You can say “reads must go via some pipeline” but that’s more like “macros must be code reviewed”.
The problem is you can smuggle these instructions in any corner of the natural language. There is no up-front identifiable formal notation for these programs.
You can say “don’t read other documents” but then the main usecase is voided. You can say “reads must go via some pipeline” but that’s more like “macros must be code reviewed”.
The problem is you can smuggle these instructions in any corner of the natural language. There is no up-front identifiable formal notation for these programs.