scholarly journals Theory and practice of canonical term functors in abstract data type specifications

2005 ◽  
pp. 320-334
Author(s):  
Christoph Beierle ◽  
Angelika Voss
Keyword(s):  
Theory And Practice ◽  
Data Type ◽  
Abstract Data Type ◽  
Abstract Data

scholarly journals Towards Analysis-Driven Scientific Software Architecture: The Case for Abstract Data Type Calculus

2008 ◽  
Vol 16 (4) ◽  
pp. 329-339 ◽  
Author(s):  
Damian W.I. Rouson
Keyword(s):  
Software Architecture ◽  
Search Strategy ◽  
Object Oriented ◽  
New Physics ◽  
Data Type ◽  
Abstract Data Type ◽  
Scientific Software ◽  
Code Size ◽  
Design Metrics ◽  
Abstract Data

This article approaches scientific software architecture from three analytical paths. Each path examines discrete time advancement of multiphysics phenomena governed by coupled differential equations. The new object-oriented Fortran 2003 constructs provide a formal syntax for an abstract data type (ADT) calculus. The first analysis uses traditional object-oriented software design metrics to demonstrate the high cohesion and low coupling associated with the calculus. A second analysis from the viewpoint of computational complexity theory demonstrates that a more representative bug search strategy than that considered by Rouson et al. (ACM Trans. Math. Soft.34(1) (2008)) reduces the number of lines searched in a code with λ total lines from O(λ2) to O(λ log2λ ), which in turn becomes nearly independent of the overall code size in the context of ADT calculus. The third analysis derives from information theory an argument that ADT calculus simplifies developer communications in part by minimizing the growth in interface information content as developers add new physics to a multiphysics package.

Modeling and Language Support for the Pattern Management

2017 ◽  
pp. 86-106 ◽  
Author(s):  
Zdenka Telnarova
Keyword(s):  
Query Language ◽  
General Pattern ◽  
Specific Pattern ◽  
Data Type ◽  
Abstract Data Type ◽  
Crucial Issue ◽  
Simple Scheme ◽  
Language Support ◽  
Abstract Data ◽  
Query Patterns

Patterns are mentioned usually in the extraction context. Little stress is posed in their representation and management. This chapter is focused on the representation of the patterns, manipulation with patterns and query patterns. Crucial issue can be seen in systematic approach to pattern management and specific pattern query language which takes into consideration semantics of patterns. In the background we discuss two different approaches to the pattern store and manipulation (based on inductive database and PANDA project). General pattern model is illustrated using abstract data type implemented in Oracle. In the following chapters the introduction to querying patterns and simple scheme of the architecture PBMS is shown.

scholarly journals Blockchain Abstract Data Type

2019 ◽  
Author(s):  
Emmanuelle Anceaume ◽  
Antonella Del Pozzo ◽  
Romaric Ludinard ◽  
Maria Potop-Butucaru ◽  
Sara Tucci-Piergiovanni
Keyword(s):  
Data Type ◽  
Abstract Data Type ◽  
Abstract Data

scholarly journals MAT learners for tree series: an abstract data type and two realizations

2011 ◽  
Vol 48 (3) ◽  
pp. 165-189 ◽  
Author(s):  
Frank Drewes ◽  
Johanna Högberg ◽  
Andreas Maletti
Keyword(s):  
Data Type ◽  
Abstract Data Type ◽  
Tree Series ◽  
Abstract Data
Sign in / Sign up

Export Citation Format

Share Document