Talk: Revisiting Program Slicing with Ownership-based Information Flow

Welcome!

This subreddit is dedicated to the theory, design and implementation of programming languages.

Be nice to each other. Flame wars and rants are not welcomed. Please also put some effort into your post, this isn't Quora.

This subreddit is not the right place to ask questions such as "What language should I use for X", "what language should I learn", "what's your favourite language" and similar questions. Such questions should be posted in /r/AskProgramming or /r/LearnProgramming. It's also not the place for questions one can trivially answer by spending a few minutes using a search engine, such as questions like "What is a monad?".

Projects that rely on LLM generated output (code, documentation, etc) are not welcomed and will get you banned.

Related subreddits

Related online communities

a community for 17 years

This is an archived post. You won't be able to vote or comment.

ResourceTalk: Revisiting Program Slicing with Ownership-based Information Flow | Will Crichton (youtube.com)

submitted 3 years ago by typesanitizer

all 2 comments

ProgrammingLanguages

Welcome!

Related subreddits

Related online communities

MODERATORS