Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by William E. Weihl
Reasoning About Object-Oriented Programs That Use Subtypes
PROTEUS: A High-Performance Parallel-Architecture Simulator
Related publications
Reasoning About Multi-Stage Programs
Journal of Functional Programming
Software
Tutorial Notes: Reasoning About Logic Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Completeness Analysis for Incomplete Object-Oriented Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Reasoning About Programs Using a Scientific Method
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Using Types to Analyze and Optimize Object-Oriented Programs
ACM Transactions on Programming Languages and Systems
Software
Equational Reasoning About Programs With General Recursion and Call-By-Value Semantics
Object-Oriented Programming
A Primer on Scientific Programming with Python
Object-Oriented Programming
Undergraduate Topics in Computer Science
Object-Oriented Programming
Computational Frameworks for Political and Social Research with Python
