<--- Back to Details
First PageDocument Content
Type theory / Quadrilaterals / Liskov substitution principle / Computer programming / Rectangle / Golden ratio / Method overriding / Object-oriented programming / Geometry / Software engineering
Date: 2004-07-31 12:13:26
Type theory
Quadrilaterals
Liskov substitution principle
Computer programming
Rectangle
Golden ratio
Method overriding
Object-oriented programming
Geometry
Software engineering

これはC++ Reportに掲載した私の Engineering Nodebookの2番目の記事です

Add to Reading List

Source URL: www2.ocn.ne.jp

Download Document from Source Website

File Size: 122,67 KB

Share Document on Facebook

Similar Documents

Software engineering / Object-oriented programming / Computer programming / Computing / Inheritance / Formal concept analysis / Class / Hierarchy / Dependency grammar / Method / Liskov substitution principle

Generating a Catalog of Unanticipated Schemas in Class Hierarchies using Formal Concept Analysis** Gabriela Ar´evaloa,f,∗ , St´ephane Ducassec , Silvia Gordillob,e , Oscar Nierstraszd a FI - Universidad Austral, Avd

DocID: 1qhLb - View Document

Object-oriented programming / Inheritance / Method / Subtyping / Liskov substitution principle / Is-a / Class / Eiffel / Monad / Subroutine / Covariance and contravariance

Reasoning about Inheritance and Unrestricted Reuse in Object-Oriented Concurrent Systems∗ Olaf Owe Department of Informatics, University of Oslo, Norway June 8, 2016

DocID: 1ptN4 - View Document

Interpretation / Philosophy of language / Philosophy of mind / Semantics / Constructible universe / Liskov substitution principle / Ordinal number / Theoretical computer science / Mathematical logic / Model theory / Logic

Full Substitutability∗ John William Hatfield† Scott Duke Kominers‡ Michael Ostrovsky¶

DocID: 16K29 - View Document

Software engineering / Computing / Computer science / Liskov substitution principle / Object-oriented programming / Type theory

On Context-Specific Substitutability of Web Services Jyotishman Pathak Samik Basu Vasant Honavar Department of Computer Science Iowa State University, Ames, IA, USA

DocID: 11Q9h - View Document

Programming paradigms / Concurrent computing / Formal methods / Design by contract / Software design / Hoare logic / Liskov substitution principle / Communications protocol / Algorithm / Software engineering / Computing / Theoretical computer science

A Framework for the Semantics of Behavioral Contracts Ashley McNeile Metamaxim Ltd, 48 Brunswick Gardens, London W8 4AN, UK [removed]

DocID: YeG3 - View Document