Events Tagged: "termination"
Home
Browse Events
People
Places
Books
Search
Timeline
Go →
1 events with tag "termination"
2004
ID: 4548
Turner proposes Total Functional Programming - Turing incompleteness as feature for guaranteed termination
ID: 4548
programming
total functions
Turner
termination
verification