Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
Special pages
In other projects
MaRDI portal item
Discussion
View source
View history
Purge
English
Log in

scientific article

From MaRDI portal
Publication:2906947
Jump to:navigation, search

zbMATH Open1253.68247MaRDI QIDQ2906947

Barbara Liskov, Jeannette M. Wing

Publication date: 5 September 2012



Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.


zbMATH Keywords

invariantstypeconstraintssubtypesupertype


Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)



Related Items (3)

Unnamed Item ⋮ Lazy behavioral subtyping ⋮ Simplifying subtyping constraints: a theory






This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2906947&oldid=15872789"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 3 February 2024, at 21:11.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki