Abstract Data Types and Software Validation

Guttag, John V.; Horowitz, Ellis; Musser, David R.

doi:10.21236/ada029896

Cited by 70 publications

(45 citation statements)

References 2 publications

(2 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Initially, it was introduced and used in programing language to define an abstract function that can be used with different data types [10] [22]. This approach optimized the code block for many programs and extended their usability for multiple data types.…”

Section: A Overview Of Polymorphic Approachmentioning

confidence: 99%

A Polymorphic Green Service Approach for Data Center Energy Consumption Management

Al-Hazemi

2013

2013 IEEE International Conference on Green Computing and Communications and IEEE Internet of Things and IEEE Cyber, Physical A

View full text Add to dashboard Cite

Information Technology has been reported as a vital energy consumer in the world. About two to five percent of the global total energy production is utilized by IT infrastructure. Therefore, IT research scientists have started proposing solutions to reduce energy consumption through smart approaches. While some of these approaches use renewable energy resources to power on computing devices, other approaches are considering decreasing IT infrastructure capability. These approaches, even though they may result in the reduction of emissions, do not consider the needs of adaptive services and consumer's demand. In this paper we propose a classification of services operation modes, discuss types of power supplied to a datacenter, and define the relationships between them. In addition, we demonstrate our proposed polymorphic service solution with the cooperation of DVFS approach to achieve a significant power consumption reduction in datacenters. Our approach is an applicable for service that has different capacity level of operation such as web enabled applications.

show abstract

Section: A Overview Of Polymorphic Approachmentioning

confidence: 99%

A Polymorphic Green Service Approach for Data Center Energy Consumption Management

Al-Hazemi

2013

2013 IEEE International Conference on Green Computing and Communications and IEEE Internet of Things and IEEE Cyber, Physical A

View full text Add to dashboard Cite

show abstract

“…Before further refinements are performed, a verification phase must show that any implementation which satisfies the lower level specification •will also satisfy the upper level one. In our model, this may be accomplished using any combination of mathematical reasoning [14,19,27,38], testing [11,18,28], technical review [36], and inspection. '].…”

Section: Incremental Program Developmentmentioning

confidence: 99%

“…It has been proposed that the use of abstract data types can enhance program specification and verificationl13, 14,20,26,29 ]. In PLEASE, abstract data types may be specified using an extension of Path Pascal objects.…”

Section: Specifying Abstract Data Typesmentioning

confidence: 99%

PLEASE:Predictable Logic based ExecutAble SpeCifications

Terwilliger

Campbell

1986

Proceedings of the 1986 ACM Fourteenth Annual Conference on Computer Science - CSC '86

View full text Add to dashboard Cite

PLEASE is an executable specification language which supports program development by incremental refinement. Software components are first specified using a combination of conventional programming languages and mathematics. These abstract components are then incrementally refined into components ill an implementation language. Each refinement is verified before another is applied; therefore, the final components produced by the development satisfy the original specilieations. PLEASE allows a procedure or function to be specified using pre-and post-conditions written in predicate logic and all abstract data type to have a type invariant. PLEASE specifications may be used in proofs of correctness, and may also be transformed into prototypes which use Prolog to "execute" pre-and post-conditions. The early production of executable prototypes for experimentation and evaluation may enhance the development process.

show abstract

“…A simple and well-known example [5] will illustrate the notion of type concept. Let S, X be sort variables and s E S, x E X element variables standing for stack and arbitrary element, respectively.…”

Section: Data Typesmentioning

confidence: 99%

“…(1) read (m,,, n) undef (The else-part in axiom (5) has been left out because only the trivial equivalence exists for n. = 1.) IN is given as a sort variable to indicate that the index sort is restricted to the set of natural numbers.…”

Section: Some Examples For Type Conceptsmentioning

confidence: 99%

Data abstractions for database systems

Lockemann¹,

Mayr²,

Weil³

et al. 1979

ACM Trans. Database Syst.

View full text Add to dashboard Cite

Data abstractions were originally conceived as a specification tool in programming. They also appear to be useful for exploring and explaining the capabilities and shortcomings of the data definition and manipulation facilities of present-day database systems. Moreover they may lead to new approaches to the design of these facilities. In the fit section the paper introduces an axiomatic method for specifying data abstractions and, on that basis, gives precise meaning to familiar notions such as data model, data type, and database schema. In a second step the various possibilities for specifying data types within a given data model are examined and illustrated. It is shown that data types prescribe the individual operations that are allowed within a database. Finally, some additions to the method are discussed which permit the formulation of interrelationships between arbitrary operations.

show abstract

Abstract Data Types and Software Validation

Cited by 70 publications

References 2 publications

A Polymorphic Green Service Approach for Data Center Energy Consumption Management

A Polymorphic Green Service Approach for Data Center Energy Consumption Management

PLEASE:Predictable Logic based ExecutAble SpeCifications

Data abstractions for database systems

Contact Info

Product

Resources

About