Software developers seek a standard object-oriented database management system as a substrate on which to build object-oriented products. Convinced of the real value of object-oriented benefits, independent software v...
详细信息
Software developers seek a standard object-oriented database management system as a substrate on which to build object-oriented products. Convinced of the real value of object-oriented benefits, independent software vendors seek a platform to minimize development risk. A minimalist position is compared to the object-oriented database programming language position and the latter is shown to be the cleanest but pragmatic considerations may intervene.
Cellular automata might be implemented as programmable special-purpose processors controoled by universal computer systems. This configuration is appropriate, because in general only special tasks of complex problems ...
详细信息
Cellular automata might be implemented as programmable special-purpose processors controoled by universal computer systems. This configuration is appropriate, because in general only special tasks of complex problems are efficiently parallelizable. Many task for image processing like window operators for filtering, smoothing or edge detection may be presented in a way particularly suitable for cellular automata. In this paper we present CELIP, a CEllular language for Image Processing. It has been developed for prototyping cellular algorithms for image processing.
This paper addresses the software aspect of an integrated hardware-software scheme called LGDG for computation with ‘large-grain dataflow graph’. It will show that data flow analysis* can be used to obtain parallel ...
详细信息
En Prolog standard, la réalisation d’un programme de bonne qualité opérationnelle suppose une formulation souvent très éloignée de la spécification initiale du problème. En Lis...
详细信息
En Prolog standard, la réalisation d’un programme de bonne qualité opérationnelle suppose une formulation souvent très éloignée de la spécification initiale du problème. En Lislog-C (LISp + proLOG + Contraintes), la déclaration de contraintes permet généralement d’assurer la qualité opérationnelle de la programmation simplement calquée sur la spécification. Sur le plan externe, le nouveau concept de base de Lislog-C est le concept de contraintes; il s’intègre très naturellement au formalisme des clauses de Horn. Le point fort de la notion de contraintes est que, tout en améliorant la puissance et la souplesse du langage, elle assure un comportement optimisé des programmes à l’exécution. Sur le plan interne, l’approche Lislog-C assure, d’une part, la richesse et la fiabilité de l’interface Lisp/Prolog et, d’autre part, la réalisation de mécanismes de contr?le transparents pour l’utilisateur. De nombreux types de problèmes font naturellement appel au concept de contraintes: caracterisation d’ensembles, description de types, domaines, gestion de ressources, synchronisation par événements, etc. Les quelques exemples traités illustrent la facilité de la programmation basée sur les contraintes.
Le langage de programmation Prolog III est une extension de Prolog au niveau de ce qu’il a de plus fondamental, le mécanisme d’unification. Il intègre dans ce mécanisme un traitement fin des arbres et...
详细信息
Le langage de programmation Prolog III est une extension de Prolog au niveau de ce qu’il a de plus fondamental, le mécanisme d’unification. Il intègre dans ce mécanisme un traitement fin des arbres et des listes, un traitement numérique et un traitement du calcul propositionnel complet. L’auteur présente ici les spécifications et le modèle logico-mathématique de ce nouveau langage. A cette occasion, il remplace la notion même d’unification par celle plus appropriée de résolution de contraintes. Puis il illustre les possibilités accrues du langage à travers des exemples variés.
The paper presents a new programming language and its reduction machine. The name of the language is Graal and it is based on the unusual concepts of functional form issued from FP systems and uncurryfied combinator f...
详细信息
The paper presents a new programming language and its reduction machine. The name of the language is Graal and it is based on the unusual concepts of functional form issued from FP systems and uncurryfied combinator from combinatory logic. It does not use variables but is nevertheless readable. Its reduction machine is new, object-oriented, distributed and modular. It runs very efficiently on classical Von Neumann architectures and can be used to implement other functional languages.
The language of universal algebras is used as an alternative approach for programming language specification. BNF rules are employed for specifying the signature of the language algebra instead of the context free syn...
详细信息
The language of universal algebras is used as an alternative approach for programming language specification. BNF rules are employed for specifying the signature of the language algebra instead of the context free syntax. The algorithm for program parsing is inductively defined by the following universal algebraic construction: Any function defined on the generators of a free algebra taking values in the carrier of another similar algebra can be uniquely extended to a homomorphism between the two algebras. Any conventional programming language can be specified by a finite set of BNF rules and its algebra of symbols is generated by a finite set of generator classes. Thus any function defined on the finite set of generators offers an algebraic mechanism for a universal algorithm for source language program parsing. The right-hand side of the BNF rules are the patterns searched by the algorithm in the source text of the program. The essential feature of this algorithm is that it can be used as a driver for code generation and optimization in a translator. This driver recognizes source language constructs in the source text. The code generator evaluates them into the target language regenerating the source language program inductively as a target language program. Therefore this parser is also called a program evaluator. [ABSTRACT FROM AUTHOR]
This paper proposes an approach, called “the Harmonic Design Method”, to achieve an approximately ideal language that simultaneously serves the purposes or requirements of software specification, verification, imple...
详细信息
This paper proposes an approach, called “the Harmonic Design Method”, to achieve an approximately ideal language that simultaneously serves the purposes or requirements of software specification, verification, implementation and so on. This approach is based on two important concepts—partitioning and unification. In the Harmonic Design Method, the collection of the problem-oriented languages and the transformation algorithms between the languages, provided through the process of the partitioning and unification, is regarded as the approximation to the target ideal language. As an application of the Harmonic Design Method, the design of a software support system for making the development of protocols and communication software easy is given. In this design, we provide three problem-oriented languages, viz., the protocol specification language NESDEL, the communication software oriented programming language IDL and the language EXPA which has both a framework for expressing protocols and an algorithm for verifying protocols, and three transformation algorithms between them, i.e., NESDEL-to-EXPA, EXPA-to-NESDEL and NESDEL-to-IDL. The details of these languages and transformation algorithms are also given. Finally, we introduce some software tools used for supporting these languages and transformation algorithms.
AbstractThe programming language Oberon is the result of a concentrated effort to increase the power of Modula‐2 and simultaneously to reduce its complexity. Several features were eliminated, and a few were added in ...
详细信息
AbstractThe programming language Oberon is the result of a concentrated effort to increase the power of Modula‐2 and simultaneously to reduce its complexity. Several features were eliminated, and a few were added in order to increase the expressive power and flexibility of the language. This paper describes and motivates the changes. The language is defined in a concise report
暂无评论