A document manipulation system based on natural semantics

Authors:
D. S. Arnon;I. Attali;P. Franchi-Zannettacci
Affiliations:
Xerox PARC, 3333 Coyote Hill Road Palo Alto, CA 94304, U.S.A.;INRIA Sophia Antipolis-BP 93 06902 Sophia Antipolis Cedex, France;CNRS I3S-University of Nice Sophia Antipolis Route des Colles-BP 145 06903 Sophia Antipolis Cedex, France
Venue:
Mathematical and Computer Modelling: An International Journal
Year:
1997

Citing 8
Cited 0

Generating language-based environments

Generating language-based environments
A structural view of the Cedar programming environment

ACM Transactions on Programming Languages and Systems (TOPLAS)
Latex: a document preparation system

Latex: a document preparation system
Centaur: the system

SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Attribute grammars in constraint-based graphics systems

Software—Practice & Experience
Garnet: Comprehensive Support for Graphical, Highly Interactive User Interfaces

Computer
Initial Algebra Semantics and Continuous Algebras

Journal of the ACM (JACM)
Incremental Evaluation of Natural Semantics Specification

PLILP '92 Proceedings of the 4th International Symposium on Programming Language Implementation and Logic Programming

Quantified Score

Hi-index	0.98

Visualization

Abstract

This paper reports on an application of programming environments generation to structured document manipulation. We use the Centaur system as a formal tool to model and implement logical and physical document structure, logical structure editing, layout processing, format conversion, and document queries, for a sample class of documents: scientific articles containing figures. We support two particular concrete external syntaxes for logical structure: LaT"EX, and Tioga (Tioga is a wysiwyg editor in the Cedar programming environment). From the formal specifications of the logical and physical structures of the article document class, and a formal specification of varied tools such as layout processing and document queries, the Centaur system automatically generates a document manipulation system including a structured editor for articles, a format converter between LaT"EX and Tioga, a previewer displaying articles in their layout form, as well as management tools over a set of articles.