The ECL Programming System

Wegbreit, Ben

doi:10.21236/ad0736413

Cited by 12 publications

(3 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Of those cases, 28 resulted in a judgment against the tenant, and all but five were for sums of less than $300. In fact, almost half were for less than $100 (Wegbreit, 2019). This mass eviction brought the issue into the public discourse.…”

Section: Eviction and Submarkets In Richmondmentioning

confidence: 99%

Eviction and Segmented Housing Markets in Richmond, Virginia

Teresa

Howell

2020

Housing Policy Debate

View full text Add to dashboard Cite

This article examines the relationship between housing market segmentation and eviction in Richmond, Virginia. Housing market segmentation conceptualizes housing consumption through multiple distinct submarkets instead of a unitary regional market. To examine the production of housing segmentation we rely on an original large-building database for all multifamily buildings in Richmond with more than 25 units, which we complement with qualitative interviews with more than 25 Richmond tenants who have experienced at least one eviction. Our analysis makes three key contributions. First, by placing two different scholarly traditions in conversation-urban economics and critical urban political economy-we foreground the importance of understanding what institutions and actors create and maintain submarkets. Second, the article takes a novel methodological approach to segmentation by analyzing ownership of rental housing and tenant experience. Finally, these approaches allow us to move beyond framing eviction as simply a feature of some rental submarkets and to pose the question about what role eviction plays in creating and maintaining submarkets and classmonopoly rents. We offer evidence that through eviction and the threat of eviction landlords create targeted housing scarcity for specific groups of tenants. We argue for understanding eviction as a formative institution of housing submarkets.

show abstract

Section: Eviction and Submarkets In Richmondmentioning

confidence: 99%

Eviction and Segmented Housing Markets in Richmond, Virginia

Teresa

Howell

2020

Housing Policy Debate

View full text Add to dashboard Cite

show abstract

“…For others, this is awkward and inefficient. To overcome this, a few languages -e.g., Algol 68 (Wijngaarden, 1969) and ELI (Wegbreit, 1971 etc. In general, the programmer is free to define the sorts of objects he needs, allocate such objects, and link these up as desired.…”

Section: Motivationmentioning

confidence: 99%

A Generalized Compactifying Garbage Collector (A Computer Storage Management Algorithm)

Wegbreit¹

1971

Self Cite

View full text Add to dashboard Cite

“…(SAL is an extension of the extenslble language ECL [Weg70] [Weg74], using data, operator, and control extension facilities [Pren72]. SYNVER is itself written in ECL as well.)…”

Section: Introductionmentioning

confidence: 99%

Verifying formal specifications of synchronous processes

Griffiths¹,

Prenner²

1976

Proceedings of the 3rd ACM SIGACT-SIGPLAN Symposium on Principles on Programming Languages - POPL '76

View full text Add to dashboard Cite

SYNVER is an automatic programming system for the synthesis of solutions to problems of synchronization among concurrent processes from specifications written in a high level assertion language (SAL). The correctness of the solutions constructed by SYNVER follows from the soundness of the synthesizer itself and from a verification phase which is applied to the specifications. This verification phase is the main topic of this paper. To provide context for the verification the paper includes a discussion of synchronization problems and a brief overview of both the SYNVER system and the SAL specification language. A formal definition of the correctness of a SAL specification is then presented along with algorithms which may be used to determine if a given specification is correct.

show abstract

The ECL Programming System

Cited by 12 publications

References 4 publications

Eviction and Segmented Housing Markets in Richmond, Virginia

Eviction and Segmented Housing Markets in Richmond, Virginia

A Generalized Compactifying Garbage Collector (A Computer Storage Management Algorithm)

Verifying formal specifications of synchronous processes

Contact Info

Product

Resources

About