A new approach to version control

Plaice, John; Wadge, William W.

doi:10.1109/32.221137

Cited by 38 publications

(13 citation statements)

References 27 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In 1993, Bill Wadge and author Plaice published an article entitled "A New Approach to Version Control" [25], which applied the use of possible-world semantics 3 to the creation of software families. We summarise the results here.…”

Section: Possible-worlds Versioningmentioning

confidence: 99%

“…This research has followed naturally from the seminal article by author Plaice and William (Bill) Wadge, "A New Approach to Version Control" [25], which demonstrated that software configuration could be understood, and greatly simplified, using the possible-worlds semantics of Richard Montague's intensional logic, and which presented the vision of a flexible Unix-like system called Montagunix.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Possible Worlds Versioning

Mancilla

Plaice

2008

Math.comput.sci.

View full text Add to dashboard Cite

We present a history of the application of the possible-world semantics of intensional logic to the development of versioned structures, ranging from simple software configuration to the networking of distributed contextaware applications permeated by multiple shared contexts.In this approach, all of the components of a system vary over a uniform multidimensional version, or context, space, and the version tag of a built version is the least upper bound of the version tags of the selected bestfit components. Context deltas allow the description of changes to contexts, and the subsequent changes to components and systems from one context to another. With aethers, active contexts with multiple participants, several networked programs may communicate by broadcasting deltas through a shared context to which they are continually adapting.

show abstract

Section: Possible-worlds Versioningmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Possible Worlds Versioning

Mancilla

Plaice

2008

Math.comput.sci.

View full text Add to dashboard Cite

show abstract

“…The concept of possible-worlds versioning was first presented in [38]. A universe of possible worlds was defined in an algebraic manner, with a partial order defined over that universe.…”

Section: Possible Worlds Versioning: the Context Comes To The Forementioning

confidence: 99%

From Lucid to TransLucid: Iteration, Dataflow, Intensional and Cartesian Programming

2008

View full text Add to dashboard Cite

We present the development of the Lucid language from the Original Lucid of the mid-1970s to the TransLucid of today. Each successive version of the language has been a generalisation of previous languages, but with a further understanding of the problems at hand.The Original Lucid (1976), originally designed for purposes of formal verification, was used to formalise the iteration in while-loop programs. The pLucid language (1982) was used to describe dataflow networks. Indexical Lucid (1987) was introduced for intensional programming, in which the semantics of a variable was understood as a function from a universe of possible worlds to ordinary values. With TransLucid, and the use of contexts as firstclass values, programming can be understood in a Cartesian framework. (2000). 68N15. Mathematics Subject Classification

show abstract

“…Most software configuration tools work bottom-up, and allow the user to create a variant of the program by selecting different variants of the components. In [11], by contrast, each variant is described/determined by "version expression" assigning values to parameters. For example, the expression processor:ppc+OS:8+language:french might indicate the french language version for a PPC macintosh running OS 8.…”

Section: Intensional Versioningmentioning

confidence: 99%

“…The intensional (possible-worlds) approach to versioning was originally developed by Wadge and Plaice [11] for use in configuring families of programs from families of components. Most software configuration tools work bottom-up, and allow the user to create a variant of the program by selecting different variants of the components.…”

Section: Intensional Versioningmentioning

confidence: 99%

A Complementary Approach for Adaptive and Adaptable Hypermedia: Intensional Hypertext

Wadge

schraefel

2002

Hypermedia: Openness, Structural Awareness, and Adaptivity

View full text Add to dashboard Cite

Dear AHH01 Reviewers,The attached paper describes the intensional approach to versionable hypertext, whether that text is driven by an adaptable or adaptive interaction.The paper describes the current implementation to support this model-neutral approach to authoring a front end for versionable interaction.Consequently, though it's a fast read, and even though there's no page limit for the workshop, the paper may be a tad long in terms of specific detail. We hope this is ok for the workshop for a couple of reasons. Intensional Hypertext is a new-ish approach in this context. We hope by this paper to provide the reviewers and the workshop participants with as much info in this space as possible for good discussion and your feedback.Thank you for your consideration. Should our paper be accepted, we'll of course be more than happy to pare back for the printed proceedings as required. Abstract. In this paper describe a methodology and an authoring/publishing tool for adaptable Web documents (user-determined adaptable Web pages) as a complementary approach to Adaptive Hypermedia. Our approach is based on intensional logic, the logic of assertions and expressions, which vary over a collection of contexts or possible worlds. In our approach the contexts are sets of values for parameters which specify the current user profile as supplied by the current Web page URL, and the latest user input. The author produces generic (multi-version) source in the form of HTML with extra markup delimiting parts that are sensitive (in various ways) to the parameters. This source (in what we call Intensional Markup Language) is translated into a Perllike language called ISE (Intensional Sequential Evaluator). To generate the appropriately adapted individual pages, the server runs the ISE program in the appropriate context. The program produces HTML that, when displayed in the user's browser, is rendered into the desired adaptation of the requested page. Although this intensional approach was originally designed to work without any explicit user model, we can extend it (and make the documents adaptive as well as adaptable) simply by incorporating a user model that monitors the user and computes some of the profile parameters.

show abstract

A new approach to version control

Cited by 38 publications

References 27 publications

Possible Worlds Versioning

Possible Worlds Versioning

From Lucid to TransLucid: Iteration, Dataflow, Intensional and Cartesian Programming

A Complementary Approach for Adaptive and Adaptable Hypermedia: Intensional Hypertext

Contact Info

Product

Resources

About