Computations in APS

Letichevsky, Alexander A.; Kapitonova, J. V.; Konozenko, S. V.

doi:10.1016/0304-3975(93)90343-r

Cited by 38 publications

(5 citation statements)

References 1 publication

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Therefore, the problem of design process automation is topical. This article proposes a development of formal design methods on the basis of concepts of algebraic programming [7] and algebraic dynamic models of programs [8] with the use of the technique of rewriting rules [9][10][11] for the automated development of efficient programs for GPUs. High-level models of programs and models of execution of programs for CPUs and GPUs are developed.…”

Section: Graphics Processing Units As Multiprocessor Systemsmentioning

confidence: 99%

Programming high-performance parallel computations: formal models and graphics processing units

2011

View full text Add to dashboard Cite

show abstract

Section: Graphics Processing Units As Multiprocessor Systemsmentioning

confidence: 99%

Programming high-performance parallel computations: formal models and graphics processing units

2011

View full text Add to dashboard Cite

show abstract

“…To describe the proposed algorithms, a high-level language will be used that consists of the Simplified Algol [31] and the rules for writing terms from the algebraic programming language APLAN [32]. For the sake of the simplicity of descriptions and proofs, the presented algorithms make no pretence of optimality.…”

Section: Main Assumptionsmentioning

confidence: 99%

An automatic method for the dynamic construction of abstractions of states of a formal model

Kolchin

2010

Cybern Syst Anal

View full text Add to dashboard Cite

show abstract

“…DCU was incorporated in an optimizing compiler from the procedural subset of the source language of the APS algebraic programming system [19] to C. This is an example of using dictionary tools to generate compilers in simple soft, rare domains.…”

Section: Implementation and Applicationmentioning

confidence: 99%

“…The optimizing compiler [22] from the procedural subset of the source language of the algebraic programming system APS [19] to C has an interesting feature. Optimization is custom-made, and the user supplies the program with hierarchical algebraic specifications for optimization.…”

Section: Implementation and Applicationmentioning

confidence: 99%

Paradigm of software component dictionaries for software development

Val'kevich¹,

Kapitonova²,

Letichevskiĭ³

et al. 1996

Cybern Syst Anal

View full text Add to dashboard Cite

Software development today emphasizes flexible open distributed systems that evolve in response to application requirements and hardware capabilities. One of the main current technological ideas in programming is integration (assembly, composition) of programs from software components and coordination of computations in the process of execution of the integrated software system. The intellectual focus of programming activity has shifted to comprehension, selection, and correct and efficient use of prefabricated software components.The idea of reusable software products was advanced about 30 years ago [1]. Considerable progress with practical implementation of this idea was accomplished in the 1980s in connection with the rapid spread of object-oriented systems as an efficient methodology and technology of software development. However, these accomplishments are mainly restricted to homogeneous systems and are of essentially limited scope. The creation of large libraries of reusable components involves major difficulties with specification, retrieval, and specialization [2].Natural extension of the reuse paradigm to application generators, transformation systems, new architectures [3], and new paradigms has led to multiparadigm languages [4,5], megaprogramming [6], and interest in social and legal issues of software reuse [7]. Large-scale support of reuse requires new tools and technologies that promote further development of computer hardware and meet the criteria of efficient integration of the accumulated intellectual software potential in the world computer space. New forms of information systems are needed for storage and management of reusable software products in a software environment. In this article, we propose a dictionary approach to information processing for software components, highlighting the information aspect of software development from components. SOFTWARE COMPONENT AS A BASIC UNIT OF MODERN PROGRAM DEVELOPMENTThe reuse paradigm envisages the creation of a composite software product from several building blocks, which many authors intuitively and independently have called components [1,2,8,9]. The concept of software component is not rigorous, and it is not restricted to a specific structured software unit; this concept may be used in modular, procedural, object-oriented, or any other programming paradigm. Components may be functions, procedures, objects, classes, modules, and so on. A software component is an abstraction denoting a constituent part of a more complex software product.To identify a software component and to ensure the necessary conditions for its existence and operation in a complex software environment, we need an information model that adequately represents the basic notions of a component, as well as support tools and a technology for manipulating this model in the framework of programming tasks. ONTOLOGY AS A CONCEPTUAL FOUNDATION FOR THE STUDY OF soFrWARE COMPONENTSOntology endows multicomponent software systems with intelligence. Ontology makes it possible to represent th...

show abstract

Computations in APS

Cited by 38 publications

References 1 publication

Programming high-performance parallel computations: formal models and graphics processing units

Programming high-performance parallel computations: formal models and graphics processing units

An automatic method for the dynamic construction of abstractions of states of a formal model

Paradigm of software component dictionaries for software development

Contact Info

Product

Resources

About