Applications of the calculus of trees to process description languages

2005 ◽  
pp. 282-301 ◽  
Author(s):  
P. Degano ◽  
S. Kasangian ◽  
S. Vigna
Keyword(s):  
Description Languages

Color processing and management in Ghostscript

2019 ◽  
Vol 2019 (1) ◽  
pp. 62-68
Author(s):  
Michael J. Vrhel ◽  
Artifex Software
Keyword(s):  
Open Source ◽  
Computational Efficiency ◽  
Color Processing ◽  
Description Languages

Ghostscript has a long history in the open source community and was developed at the same time that page description languages were evolving to the complex specification of PDF today. Color is a key component in this specification and its description and proper implementation is as complex as any other part of the specification. In this document, the color processing and management that takes place in Ghostscript is reviewed with a focus on how its design achieves computational efficiency while providing flexibility for the developer and user.

Sheaf semantics for concurrent interacting objects

1992 ◽  
Vol 2 (2) ◽  
pp. 159-191 ◽  
Author(s):  
Joseph A. Goguen
Keyword(s):  
Computer Security ◽  
Object Oriented ◽  
Continuous Linear ◽  
Sheaf Theory ◽  
Electrical Circuits ◽  
Object Based ◽  
Time Concepts ◽  
Hardware Description ◽  
Description Languages ◽  
Object Oriented Systems

This paper uses concepts from sheaf theory to explain phenomena in concurrent systems, including object, inheritance, deadlock, and non-interference, as used in computer security. The approach is very; general, and applies not only to concurrent object oriented systems, but also to systems of differential equations, electrical circuits, hardware description languages, and much more. Time can be discrete or continuous, linear or branching, and distribution is allowed over space as well as time. Concepts from categpru theory help to achieve this generality: objects are modelled by sheaves; inheritance by sheaf morphisms; systems by diagrams; and interconnection by diagrams of diagrams. In addition, behaviour is given by limit, and the result of interconnection by colimit. The approach is illustrated with many examples, including a semantics for a simple concurrent object-based programming language.

Testing Stand Using Hardware Description Languages

2021 ◽  
Author(s):  
Ursan George-Andrei ◽  
Plopa Olga ◽  
Ursan Maria
Keyword(s):  
Hardware Description Languages ◽  
Testing Stand ◽  
Hardware Description ◽  
Description Languages

scholarly journals Principle of Complementarity in the Research of the Links between Language, World View and Picture of the World

2019 ◽  
Vol 17 (3) ◽  
pp. 66-82
Author(s):  
Ludmila B. Sandakova
Keyword(s):  
World View ◽  
Research Process ◽  
Problem Area ◽  
Point Of View ◽  
Complementarity Principle ◽  
The World ◽  
Epistemological Model ◽  
Description Languages ◽  
Model Subject ◽  
Principle Of Complementarity

The article deals with the problem of the epistemological status of the complementarity principle in socio-humanitarian studies. It clarifies the content of the principle of complementarity and the possibility of its application from the point of view of its methodological significance for studying the interdependence of language, world view and the picture of the world. It is shown that the authentic application of the principle is possible within the framework of a constructionist epistemological model, subject to a number of methodological requirements for the organization of the research process. To correlate the complementary description languages in the designated problem area, the interdisciplinary conceptual apparatus of cultural studies seems productive.

Sign in / Sign up

Export Citation Format

Share Document