#### Filter Results:

- Full text PDF available (53)

#### Publication Year

1989

2017

- This year (2)
- Last 5 years (12)
- Last 10 years (22)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Zena M. Ariola, Matthias Felleisen
- J. Funct. Program.
- 1995

The mismatch between the operational semantics of the lambda calculus and the actual behavior of implementations is a major obstacle for compiler writers. They cannot explain the behavior of their evaluator in terms of source level syntax, and they cannot easily compare distinct implementations of different lazy strategies. In this paper we derive an… (More)

The mismatch between the operational semantics of the lambda calculus and the actual behavior of implementations is a major obstacle for compiler writers. They cannot explain the behavior of their evaluator in terms of source level syntax, and they cannot easily compare distinct implementations of diierent lazy strategies. In this paper we derive an… (More)

- Zena M. Ariola, Jan Willem Klop
- Fundam. Inform.
- 1996

We present an equational framework for term graph rewriting with cycles. The usual notion of homomorphism is phrased in terms of the notion of bisimulation, which is well-known in process algebra and concurrency theory. Speciically, a homomorphism is a functional bisimulation. We prove that the bisimilarity class of a term graph, partially ordered by… (More)

- Zena M. Ariola, Stefan Blom
- TACS
- 1997

We precisely characterize a class of cyclic lambda-graphs, and then give a sound and complete axiomatization of the terms that represent a given graph. The equational axiom system is an extension of lambda calculus with the letrec construct. In contrast to current theories , which impose restrictions on where the rewriting can take place, our theory is very… (More)

- Zena M. Ariola, Jan Willem Klop
- Inf. Comput.
- 1997

This paper is concerned with the study of-calculus with explicit recursion, namely of cyclic-graphs. The starting point is to treat a-graph as a system of recursion equations involving-terms, and to manipulate such systems in an unrestricted manner, using equational logic, just as is possible for rst-order term rewriting. Surprisingly, now the connuence… (More)

- Zena M. Ariola, Stefan Blom
- Ann. Pure Appl. Logic
- 2002

- Zena M. Ariola, Arvind
- Theor. Comput. Sci.
- 1995

A calculus and a model for a rst-order functional language with sharing is presented. In most implementations of functional languages, argument subexpressions in a function application are shared to avoid their repeated evaluation. Recursive functions are typically implemented using graphs with cycles. Compilers for these languages sometimes employ… (More)

- Zena M. Ariola, Jan Willem Klop
- LICS
- 1994

This paper is concerned with the study of cyclic-graphs. The starting point is to treat a-graph as a system of recursion equations involving-terms, and to manipulate such systems in an unrestricted manner , using equational logic, just as is possible for rst-order term rewriting. Surprisingly, now the connuence property breaks down in an essential way.… (More)

- Sergio Antoy, Zena M. Ariola
- PLILP
- 1997

We introduce a framework for managing as a whole the space of a narrowing computation. The aim of our framework is to find a finite representation of an infinite narrowing space. This, in turn, allows us to replace an infinite enumeration of computed answers with an equivalent finite representation. We provide a semidecidable condition for this result. Our… (More)

- Zena M. Ariola, Hugo Herbelin
- ICALP
- 2003