Peter Flynn has been an enthusiastic and skillful contributor in the world of SGML and XML for many years, and it is a pleasure to see him set some of his expertise down in writing as well. The range and power of SGML tools have taken a sharp upward turn: the first step leading to this was that the Web came along with HTML, and showed the whole world that pointy brackets and (at least somewhat) descriptive markup could make a difference. Soon afterward, 'HTML claustrophobia' began to grow and XML came to the rescue. Since XML is fundamentally an elegant subset of SGML that reduces complexity without reducing functionality, the movement to XML is great for SGML too. The massive interest in XML is bringing forth a huge variety of new, faster, more powerful, and cheaper software tools. Peter has caught the cusp of this change and shows in detail how SGML and XML tools fit together into integrated solutions that return value for your investment in structured information.

Peter Flynn has been an enthusiastic and skillful contributor in the world of SGML and XML for many years, and it is a pleasure to see him set some of his expertise down in writing as well. The range and power of SGML tools have taken a sharp upward turn: the first step leading to this was that the Web came along with HTML, and showed the whole world that pointy brackets and (at least somewhat) descriptive markup could make a difference. Soon afterward, 'HTML claustrophobia' began to grow and XML came to the rescue. Since XML is fundamentally an elegant subset of SGML that reduces complexity without reducing functionality, the movement to XML is great for SGML too. The massive interest in XML is bringing forth a huge variety of new, faster, more powerful, and cheaper software tools. Peter has caught the cusp of this change and shows in detail how SGML and XML tools fit together into integrated solutions that return value for your investment in structured information.

DocBook is a Document Type Definition (DTD) for use with XML (the Extensible Markup Language) and SGML (the Standard Generalized Markup Language). DocBook lets authors in technical groups exchange and reuse technical information. This book contains an introduction to SGML, XML, and the DocBook DTD, plus the complete reference information for DocBook.

DSSSL (Document Style Semantics and Specification Language) is an ISO standard (ISO/IEC 10179: 1996) published in the year 1996. DSSSL is a standard of the SGML family (Standard Generalized Markup Language, ISO 8879:1986), whose aim is to establish a processing model for SGML documents. For a good understanding of the SGML standard, many books exist including Author's guide[BryanI988] and The SGML handbook[GoldfarbI990]. A DSSSL document is an SGML document, written with the same rules that guide any SGML document. The structure of a DSSSL document is explained in Chapter 2. DSSSL is based, in part, on scheme, a standard functional programming language. The DSSSL subset of scheme along with the procedures supported by DSSSL are explained in Chapter 3. The DSSSL standard starts with the supposition of a pre-existing SGML document, and offers a series of processes that can be performed on it: • Groves The first process that is performed on an SGML document in DSSSL is always the analysis of the document and the creation of a grove. The DSSSL standard shares many common characteristics with another standard of the SGML family, HyTime (ISO/IEC 10744). These standards were developed in parallel, and their developers designed a common data model, the grove, that would support the processing needs of each standard.

The International Symposium on Practical Aspects of Declarative Languages (PADL) is a forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, especially those emerging from functional, logic, and c- straint languages. Declarative languages have been studied since the inception of computer science, and continue to be a vibrant subject of investigation today due to their applicability in current application domains such as bioinformatics, network con?guration, the Semantic Web, telecommunications software, etc. The 6th PADL Symposium was held in Dallas, Texas on June 18–19, 2004, and was co-located with the Compulog-Americas Summer School on Compu- tional Logic. From the submitted papers, the program committee selected 15 for presentation at the symposium based upon three written reviews for each paper, which were provided by the members of the program committee and additional referees. Two invited talks were presented at the conference. The ?rst was given by Paul Hudak (Yale University) on “An Algebraic Theory of Polymorphic T- poral Media. ” The second invited talk was given by Andrew Fall (Dowlland Technologies and Simon Fraser University) on “Supporting Decisions in C- plex, Uncertain Domains with Declarative Languages. ” Following the precedent set by the previous PADL symposium, the program committee this year again selected one paper to receive the ‘Most Practical - per’award.

Índice abreviado: 1.The Web, its documents, and LaTeX 2. Portable document format 3. The LaTeX2HTML translator 4. Translating LaTeX to HTML using TEXT4ht 5. Direct display of LaTeX on the Web 6. HTML, SGML, and XML: three markup languages 7. CSS, DSSSL, and XSL: doing it with style 8. MathML, intelligent math markup A. Example files B. Technical appendixes C. Internalization issues.