@mastersthesis{liang_inheritance_2004,
	address = {Hamilton, Ontario, Canada},
	title = {Inheritance, {Specification} and {Documentation} {Support} for an {Object}-{Oriented} {Language}},
	url = {http://www.cas.mcmaster.ca/~emil/pubs/Liang04InheritSpecDocForOO.pdf},
	abstract = {Lime is an object-oriented programming language with action-based concurrency. Concurrency in Lime has been previously implemented. Our current work integrates specification and documentation features into Lime and its compiler. The goal of this integration is to improve software quality, in particular correctness, extensibility, and maintainability in a uniform and coherent manner. Lime provides a flexible inheritance mechanism that separates subclassing (code sharing) from subtyping (substitutability). Any class can sever as a superclass (for the purpose of reuse) or/and as a supertype (for the purpose of specification) and any child class can either inherit the implementation, the interface specification, or both. Behavioral specifications are expressed by preconditions, postconditions and in- variants. These and other intermediate annotations can be written using quantifiers and other standard mathematical notation, and can be checked at run-time. The associated documentation tool generates a description of the behavioral inter- face of each class that includes the preconditions and postconditions of the methods, the class invariants, the subtype hierarchy, and subclass hierarchy.},
	school = {McMaster University},
	author = {Liang, Jie},
	month = aug,
	year = {2004},
}

{"_id":"Qf7eXQfwyEMwZybgy","bibbaseid":"liang-inheritancespecificationanddocumentationsupportforanobjectorientedlanguage-2004","author_short":["Liang, J."],"bibdata":{"bibtype":"mastersthesis","type":"mastersthesis","address":"Hamilton, Ontario, Canada","title":"Inheritance, Specification and Documentation Support for an Object-Oriented Language","url":"http://www.cas.mcmaster.ca/~emil/pubs/Liang04InheritSpecDocForOO.pdf","abstract":"Lime is an object-oriented programming language with action-based concurrency. Concurrency in Lime has been previously implemented. Our current work integrates specification and documentation features into Lime and its compiler. The goal of this integration is to improve software quality, in particular correctness, extensibility, and maintainability in a uniform and coherent manner. Lime provides a flexible inheritance mechanism that separates subclassing (code sharing) from subtyping (substitutability). Any class can sever as a superclass (for the purpose of reuse) or/and as a supertype (for the purpose of specification) and any child class can either inherit the implementation, the interface specification, or both. Behavioral specifications are expressed by preconditions, postconditions and in- variants. These and other intermediate annotations can be written using quantifiers and other standard mathematical notation, and can be checked at run-time. The associated documentation tool generates a description of the behavioral inter- face of each class that includes the preconditions and postconditions of the methods, the class invariants, the subtype hierarchy, and subclass hierarchy.","school":"McMaster University","author":[{"propositions":[],"lastnames":["Liang"],"firstnames":["Jie"],"suffixes":[]}],"month":"August","year":"2004","bibtex":"@mastersthesis{liang_inheritance_2004,\n\taddress = {Hamilton, Ontario, Canada},\n\ttitle = {Inheritance, {Specification} and {Documentation} {Support} for an {Object}-{Oriented} {Language}},\n\turl = {http://www.cas.mcmaster.ca/~emil/pubs/Liang04InheritSpecDocForOO.pdf},\n\tabstract = {Lime is an object-oriented programming language with action-based concurrency. Concurrency in Lime has been previously implemented. Our current work integrates specification and documentation features into Lime and its compiler. The goal of this integration is to improve software quality, in particular correctness, extensibility, and maintainability in a uniform and coherent manner. Lime provides a flexible inheritance mechanism that separates subclassing (code sharing) from subtyping (substitutability). Any class can sever as a superclass (for the purpose of reuse) or/and as a supertype (for the purpose of specification) and any child class can either inherit the implementation, the interface specification, or both. Behavioral specifications are expressed by preconditions, postconditions and in- variants. These and other intermediate annotations can be written using quantifiers and other standard mathematical notation, and can be checked at run-time. The associated documentation tool generates a description of the behavioral inter- face of each class that includes the preconditions and postconditions of the methods, the class invariants, the subtype hierarchy, and subclass hierarchy.},\n\tschool = {McMaster University},\n\tauthor = {Liang, Jie},\n\tmonth = aug,\n\tyear = {2004},\n}\n\n","author_short":["Liang, J."],"key":"liang_inheritance_2004","id":"liang_inheritance_2004","bibbaseid":"liang-inheritancespecificationanddocumentationsupportforanobjectorientedlanguage-2004","role":"author","urls":{"Paper":"http://www.cas.mcmaster.ca/~emil/pubs/Liang04InheritSpecDocForOO.pdf"},"metadata":{"authorlinks":{}}},"bibtype":"mastersthesis","biburl":"https://api.zotero.org/users/2218414/collections/6P65S5DZ/items?key=5GEsy5KK5k3NW6g00lvqCrRy&format=bibtex&limit=100","dataSources":["QefEapbXGXWuTqpmX"],"keywords":[],"search_terms":["inheritance","specification","documentation","support","object","oriented","language","liang"],"title":"Inheritance, Specification and Documentation Support for an Object-Oriented Language","year":2004}