Noble, James
- More Programming Than Programming: Teaching Formal Methods in a Software Engineering Programme
2022/05/02 by James Noble, Noble, James, David Streader +5 · 2 citations
Computer Science · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Software Engineering (cs.SE) #Software Engineering Research #Software Engineering Techniques and Practices #Teaching and Learning Programming
- The Essence of Inheritance
2016/01/09 by Andrew P. Black, Black, Andrew P., Kim B. Bruce +3 · 1 voice
Computer Science · #Computability, Logic, AI Algorithms #cs.PL
- Dala: A Simple Capability-Based Dynamic Language Design For Data\n Race-Freedom
2021/09/15 by Kiko Fernandez-Reyes, Fernandez-Reyes, Kiko, Isaac Oscar Gariano +9 · 1 voice
Computer Science · #Advanced Data Storage Technologies #Distributed #Distributed systems and fault tolerance #FOS: Computer and information sciences #Parallel #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL) #and Cluster Computing (cs.DC) #cs.DC #cs.PL
- Rusty Links in Local Chains
2022/05/02 by James Noble, Noble, James, Julian Mackay +3 · 1 citation
Computer Science · #Distributed systems and fault tolerance #FOS: Computer and information sciences #Logic, programming, and type systems #Programming Languages (cs.PL) #Security and Verification in Computing
- Necessity Specifications for Robustness
2022/09/17 by Julian Mackay, Sophia Drossopoulou, Mackay, Julian +5 · 2 citations
Business, Management and Accounting · Computer Science · #Business Process Modeling and Analysis #FOS: Computer and information sciences #Formal Methods in Verification #Programming Languages (cs.PL) #Security and Verification in Computing