Type theory and language constructs for objects with states

zbMATH Open1272.68095MaRDI QIDQ2851715

S. Yu, H. Xu

Publication date: 2 October 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106000946

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Partiality, State and Dependent Types 👍 👎
• A Type Theory with Mixed Constructivity and Assignments 👍 👎
• Typed logics with states 👍 👎
• Stateless Higher-Order Logic with Quantified Types 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication: Type theory and language constructs for objects with states

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2851715)