Reasoning About Object-Oriented Programs That Use Subtypes

doi 10.1145/97945.97970
Full Text
Abstract

Available in full text

Date
Authors
Publisher

ACM Press

Related search

Reasoning About Multi-Stage Programs

Journal of Functional Programming
Software
2016English

Tutorial Notes: Reasoning About Logic Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1992English

Completeness Analysis for Incomplete Object-Oriented Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Reasoning About Programs Using a Scientific Method

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Using Types to Analyze and Optimize Object-Oriented Programs

ACM Transactions on Programming Languages and Systems
Software
2001English

Equational Reasoning About Programs With General Recursion and Call-By-Value Semantics

2012English

Object-Oriented Programming

A Primer on Scientific Programming with Python
2011English

Object-Oriented Programming

Undergraduate Topics in Computer Science
2017English

Object-Oriented Programming

Computational Frameworks for Political and Social Research with Python
2020English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy