B.H.Liskov, J.Guttag: Abstraction and specification in program development, MIT Press, Cambridge, MA, 1986.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....from unwanted external intervention. An abstract type is an ordinary type along with a set of operations; the structure of the type is hidden and the provided operations are the only ones authorized to manipulate objects of that type. This notion was well embedded in CLU [Liskov et al. 77] Liskov Guttag 86] and formed the basis for the later development of modular programming languages. This notion of abstraction is more restrictive than the general notion of algebraic abstract types [Futatsugi Goguen Jouannaud Meseguer 85] Polymorphism is the ability of a function to handle objects of many ....

B.H.Liskov, J.Guttag: Abstraction and specification in program development, MIT Press, Cambridge, MA, 1986.

....from unwanted external intervention. An abstract type is an ordinary type along with a set of operations; the structure of the type is hidden and the provided operations are the only ones authorized to manipulate objects of that type. This notion was well embedded in CLU [Liskov et al. 77] Liskov Guttag 86] and formed the basis for the Page 5 later development of modular programming languages. This notion of abstraction is more restrictive than the general notion of algebraic abstract types [Futatsugi Goguen Jouannaud Meseguer 85] Polymorphism is the ability of a function to handle objects of ....

B.H.Liskov, J.Guttag: Abstraction and specification in program development, MIT Press, Cambridge, MA, 1986.

....distribution system immutable objects can be collocated to two dislocated objects. This conflict is not solvable in the case of a mutable object. This kind of optimization is very suitable for all kinds of value objects. Previously, in CLU and Emerald, values were modelled by immutable objects, [12] and [4] There is no need to share integer values all over the system, as there can be copies for at least each cluster. As the identifier of an immutable object has enough information about the object itself, there is no need to implement the object in the memory space in all cases. For further ....

B. Liskov, J. Guttag: Abstraction and Specification in Program Development; MIT Press, Cambridge MA; 1986

....is ensured if the algebra is complete. The fact that consistency, completeness and intuitiveness are well defined by the ERC model, allowed the toolbox interface never to change, thus making concurrent development possible. 11 Another guideline for building a toolbox has been presented in [19]. Each kind of tools is responsible for a different kind of tasks: constructors: for creating new objects of the domain; observers: for giving information about objects of the domain; modifiers: for modifying objects of the domain; iterators: for yielding, one at a time, components of ....

B. Liskov, J. Guttag: Abstraction and Specification in Program Development, MIT Press/Mc Graw Hill, 1986

....such as multi sorted algebras or first order predicate calculus. The method of formal investigation used here is known as algebraic specifications. The theory behind algebraic specifications has been developed and used in software design [15] and practical introductions can be found in [14] and [24] We propose three levels of abstraction based on the different tasks that can be found in the process of navigating: planning, giving and receiving instructions, and driving. For example, one starts planning a trip by asserting that there is a way to drive by car from Boston to ....

B. Liskov, J. Guttag: Abstraction and Specification in Program Development. MIT Press 1989

No context found.

B.H.Liskov, J.Guttag: Abstraction and specification in program development, MIT Press, Cambridge, MA, 1986.

No context found.

B.H.Liskov, J.Guttag: Abstraction and specification in program development, MIT Press, Cambridge, MA, 1986.

No context found.

B. Liskov and J. Guttag: Abstraction and Specification in Program Development. New York (NY): McGraw-Hill, 1986.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC