NOOP: A Nominal Mathematical Model of Object-Oriented Programming

Name: NOOP: A Nominal Mathematical Model of Object-Oriented Programming
Price: 486.68 NZD
Availability: InStock

Product ID: 15167124

Secure Transaction

Frequently Bought Together

Description

The majority of contemporary mainstream object-oriented (OO) software is written using statically-typed class-based OO programming languages (PLs) such as Java, C#, C++, Scala and others. Existing denotational models of OOP miss crucial features of these mainstream OO programming languages, such as nominality. This book presents the construction of NOOP as the first domain-theoretic model of OOP to include nominal information found in nominally-typed mainstream OO software. Inclusion of nominal information and asserting that type inheritance in statically-typed OO programming languages is an inherently nominal notion allow readily proving that inheritance and subtyping are completely identified in these languages. This conclusion is in full agreement with intuitions of OO developers using these languages, and contrary to the belief among PL researchers that “inheritance is not subtyping”, which came from developing structural non-nominal models of OOP. NOOP thus provides a firmer semantic foundation for analyzing and progressing nominally-typed mainstream OO programming languages.

Common Questions

Are the products genuine and authentic?+

Yes, all products are sourced directly from authorized retailers in the US, UK, UAE and India. We maintain strict quality control processes and verify each product before shipping. All items come with applicable manufacturer warranties and are covered by our standard return policy.

How long does delivery take and is it reliable?+

Delivery times vary by destination country, typically ranging from 3-9 business days. Each order is fully trackable through our system. We handle all customs clearance and use reliable courier partners for last-mile delivery. You'll receive regular updates about your order status via email and our app.

What is Desertcart? Is it safe to order from?+

Desertcart is an international e-commerce platform operating since 2014. We securely process thousands of orders globally each day. Every product goes through our quality verification process before delivery, and we provide end-to-end order tracking, 24/7 customer support, and a comprehensive returns policy to ensure a safe shopping experience.

How is product pricing calculated?+

Our prices include the product cost, international shipping, import duties, customs clearance, and local delivery charges. We handle all customs and import procedures, ensuring there are no hidden fees upon delivery. PRO members receive additional benefits including free shipping.