A Lambda Calculus with Forms

Lumpe, Markus

doi:10.1007/11550679_7

Cited by 6 publications

(13 citation statements)

References 16 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In a term, a form serves as an explicit namespace that allows for a computational model with late binding [14]. Abstraction and application correspond to their counterparts in the λ-calculus, whereas a λF-context is the counterpart to a form context.…”

Section: The Core Languagementioning

confidence: 99%

“…In other words, parameters are passed to functions using a keyword-based mechanism. For a complete definition of the evaluation rules, the interested reader is referred to [14].…”

Section: The Core Languagementioning

confidence: 99%

“…Dynamic binding is a key element in a software development approach that, without affecting its previous behavior, allows for new functionality to be added to an existing piece of code [5]. On the other hand, explicit namespaces [3,14] in concert with incremental refinements provide a suitable means to directly specify the sets of both provided and required services of components [14]. From a technical point of view, explicit namespaces serve as a lookup environment with syntactic representations to resolve occurrences of free variables in programs.…”

Section: Introductionmentioning

confidence: 99%

“…To resolve those, we can use incremental refinements that allow for a phased recombination of mappings in a namespace to new, updated values. The notion of incremental refinement is based on λF-contexts [14]. A λF-context is a term that is evaluated with respect to a local lookup environment.…”

Section: Introductionmentioning

confidence: 99%

“…This mechanism is based to the λF-concept of abstract application [14] and allows for code abstractions defined in both GLoo and Java to coexist in one specification unit.…”

Section: Introductionmentioning

confidence: 99%

See 4 more Smart Citations

GLoo: A Framework for Modeling and Reasoning About Component-Oriented Language Abstractions

Lumpe

2006

Component-Based Software Engineering

Self Cite

View full text Add to dashboard Cite

Abstract.The most important contribution to the success or failure of a software project comes from the choice of the programming languages being used and their support in the target environment. The choice of a suitable implementation language is not a guarantor for success, but an unsuitable language may result in a long, error-prone, and costly implementation, often resulting in an unstable product. In this paper, we present GLoo, a framework for modeling and reasoning about open-ended language mechanisms for object-and component-oriented software development. At the heart of GLoo is a small dynamic composition language that provides abstractions to (i) define and/or import reusable software components, (ii) introduce new compositional language abstractions, and (iii) build executable and reusable component-oriented specifications. To demonstrate its flexibility and extensibility, we then present an encoding of the traits concept as an example of how to add support for a new and readily available language abstraction to the GLoo framework.

show abstract

Section: The Core Languagementioning

confidence: 99%

“…In other words, parameters are passed to functions using a keyword-based mechanism. For a complete definition of the evaluation rules, the interested reader is referred to [14].…”

Section: The Core Languagementioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

“…This mechanism is based to the λF-concept of abstract application [14] and allows for code abstractions defined in both GLoo and Java to coexist in one specification unit.…”

Section: Introductionmentioning

confidence: 99%

See 3 more Smart Citations

GLoo: A Framework for Modeling and Reasoning About Component-Oriented Language Abstractions

Lumpe

2006

Component-Based Software Engineering

Self Cite

View full text Add to dashboard Cite

show abstract

Growing a Language: The GLoo Perspective

Lumpe

Software Composition

View full text Add to dashboard Cite

Applications = Components + GLoo

Lumpe

2007

Electronic Notes in Theoretical Computer Science

Self Cite

View full text Add to dashboard Cite

We are advocating a component-oriented software development approach that provides support for a clear separation between the computational and the compositional entities of an application. This principle is best captured by the application building paradigm "Applications = Components + Scripts." However, the biggest obstacle for a successful use of this maxim originates from the choice of the scripting mechanisms being used to define applications as compositions of reusable software components. In this paper, we analyze GLoo, a novel component-oriented programming framework, which derives its expressive power from an extensible and open-ended scripting language. The design of GLoo aims at a higher-level, scalable, and problem-oriented software development approach, which enables simultaneously both small-scale and large-scale software development through the definition of specially-designed domain sublanguages.

show abstract

A Lambda Calculus with Forms

Cited by 6 publications

References 16 publications

GLoo: A Framework for Modeling and Reasoning About Component-Oriented Language Abstractions

GLoo: A Framework for Modeling and Reasoning About Component-Oriented Language Abstractions

Growing a Language: The GLoo Perspective

Applications = Components + GLoo

Contact Info

Product

Resources

About