The following pages link to John Guttag (Q1067765):
Displaying 25 items.
- (Q836627) (redirect page) (← links)
- Clustering and symbolic analysis of cardiovascular signals: discovery and visualization of medically relevant patterns in long-term data using limited prior knowledge (Q836629) (← links)
- Report on the Larch shared language (Q1067767) (← links)
- A Larch shared language handbook (Q1067768) (← links)
- Some notes on putting formal specifications to productive use (Q1167530) (← links)
- The algebraic specification of abstract data types (Q1243118) (← links)
- Proof rules for the programming language Euclid (Q1249430) (← links)
- Introduction to computation and programming using Python (Q2865940) (← links)
- Learning approximate sequential patterns for classification (Q2880954) (← links)
- On Proving Uniform Termination and Restricted Termination of Rewriting Systems (Q3040518) (← links)
- (Q3787422) (← links)
- (Q3942387) (← links)
- (Q4028317) (← links)
- Abstract data types and the development of data structures (Q4127984) (← links)
- (Q4151142) (← links)
- Abstract data types and software validation (Q4168047) (← links)
- (Q4178466) (← links)
- (Q4184271) (← links)
- (Q4184295) (← links)
- (Q4282672) (← links)
- (Q4581935) (← links)
- Using machine learning to draw inferences from pass location data in soccer (Q4970211) (← links)
- Goldilocks and the three specifications (Q5044720) (← links)
- An overview of LP, the Larch Prover (Q5055717) (← links)
- (Q5396630) (← links)
