Intensional HTML is a high-level Web authoring language that makes practical (using standard client and server software) the specification of pages and sites that exist in many different versions or variants.
Each page of IHTML defines an intension — an indexed family of actual (extensional) HTML pages which varies over a multi-dimensional author-specified version space. The version space is partially ordered by a refinement/specialization ordering. For example, platform:mac can be refined to platform:mac+language:french or to platform:mac%k68 and the last two both refine to platform:mac%k68+language:french.
Authors can create multiple labeled versions of the IHTML source for a given page. Requests from clients specify both a page and a version, and the server software selects the appropriate source page and uses it to generate the requested actual HTML page.
Authors do not, however, have to provide separate source for each version. If the server-side software cannot find a source page with the exact version requested, it uses the page whose label most closely approximates the requested version. In other words, it treats the refinement ordering as a (reverse) inheritance ordering. Thus different versions can share source, and authors can write generic, multi-version code.
- J. Plaice and W. W. Wadge, “A New Approach to Version Control”, IEEE Transactions on Software Engineering, March 1993, pp268–276.
- R. Thomason, editor, Formal Philosophy, Selected Papers of R. Montague, Yale University Press, 1974.
- J. Plaice and S. Ben Lamine, “Eduction: A General Model for Computing”, in E. A. Ashcroft, editor, Intensional Programming II, Singapore: World Scientific, 1997. In Press.
- T. Yildirim, Intensional HTML, MSc Thesis, Computer Science Department, University of Victoria, 1997.
- B. Behlendorf et.al, The Apach HTTP Server Project, http://www.apache.org/.
- W. Wadge and A. Yoder, “The Possible-World Wide Web”, in Mehmet A. Orgun, Edward A. Ashcroft, editors, Intensional Programming I, pages 207–213. Singapore: World Scientific, 1996. (also available at http://lucy.uvic.ca/oo.html).
- m. c. schraefel, Talking to Antigone, PhD Dissertation (interdisciplinary), University of Victoria, 1997.
- Intensional HTML
- Book Title
- Principles of Digital Document Processing
- Book Subtitle
- 4th International Workshop, PODDP’98 Saint Malo, France, March 29–30, 1998 Proceedings
- pp 128-139
- Print ISBN
- Online ISBN
- Series Title
- Lecture Notes in Computer Science
- Series Volume
- Series ISSN
- Springer Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- Additional Links
- eBook Packages
- Editor Affiliations
- 4. Department of Electrical Engineering and Computer Science, University of Wisconsin-Milwaukee
- 5. Department of Computer Science and Electrical Engineering, University of Maryland, Baltimore County
- 6. Department of Computer Science, Hong Kong University of Science and Technology
- Author Affiliations
- 7. Department of Computer Science, University of Victoria, Victoria, B.C., V8W 3P6, Canada
To view the rest of this content please follow the download PDF link above.