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.
Unable to display preview. Download preview PDF.
- 1.J. Plaice and W. W. Wadge, “A New Approach to Version Control”, IEEE Transactions on Software Engineering, March 1993, pp268–276.Google Scholar
- 2.R. Thomason, editor, Formal Philosophy, Selected Papers of R. Montague, Yale University Press, 1974.Google Scholar
- 3.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.Google Scholar
- 4.T. Yildirim, Intensional HTML, MSc Thesis, Computer Science Department, University of Victoria, 1997.Google Scholar
- 5.B. Behlendorf et.al, The Apach HTTP Server Project, http://www.apache.org/.
- 7.m. c. schraefel, Talking to Antigone, PhD Dissertation (interdisciplinary), University of Victoria, 1997.Google Scholar