Polleverywhere Questions
History
oldest PL
first PL with objects
goto considered harmful
OO pillars
Structured Program theorem
Concurrency
basic concurrency models
Java threads model
concurrency issues
classic problems
item threads share
private shared fields
Java synch mechanisms
mutex vs semaphore
hardware support
Erlang
immutable data types
infinite loops
erlang concurrency model
actor model
single assignment rule
max number of processes
no message in mailbox
message passing
legal messages
hot swapping code
Erlang concurrency
deadlock in Erlang
Elixir
power erlang vs. elixir
Elixir data types
elixir concurrency model
referential transparency
single assignment rule in erlang?
single assignment rule in elixir?
elixir shell input
var binding rules
stateful processes
stateful process state
Elixir/Erlang interoperation
Go
Go designed from...
Is Go WORA ?
Go and race conditions
Main ends... goroutines?
Features no in Go
Go and arrays
Go and closures
Accessing shared memory
Go concurrency model
Goroutine waiting
Higher order function
Classes in Go
Defer in Go
Unbuffered channels
Make a buffered channel
Deadlock in Dining Philosophers
Analysis tools in Go suite
Go race detection false positive
Go race detection false negative
Race detection in Go
Livelock is ...
Model Checking and Verification
Model Checking defined
Model checking characteristics
Go tools for model checking
Rust
Rust's creation