MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Patricia Johann" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

19 documents found, showing 1 through 10. Next 10 →

ATOM

Short cut fusion: Proved and improved
by Patricia Johann — 2001 — Pages 47–71 of: Semantics, Applications, and Implementation of Program Generation
…Short Cut Fusion: Proved and Improved Patricia Johann Department of Mathematics and Computer…
Cited by 3 (1 self) – Add To MetaCart

Normal Forms in Combinatory Logic
by Patricia Johann — 1992 — Wesleyan University
… Logic PATRICIA JOHANN Abstract Let R be a convergent term rewriting system, and let CR…
Cited by 1 (1 self) – Add To MetaCart

Foundations for structured programming with GADTs
by Patricia Johann — 2008 — Conference record of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
…Foundations for Structured Programming with GADTs Patricia Johann Rutgers University, Camden, NJ…
Cited by 4 (0 self) – Add To MetaCart

Staged Notational Definitions
by Walid Taha, Patricia Johann — 2003 — GENERATIVE PROGRAMMING AND COMPONENT ENGINEERING (GPCE), LECTURE NOTES IN COMPUTER SCIENCE
…Staged Notational Definitions Walid Taha 1,⋆ and Patricia Johann 2 1 Department of Computer…
Cited by 3 (1 self) – Add To MetaCart

Strategies for Fusing Logic and Control via Local, Application-Specific Transformations
by Patricia Johann, Patricia Johann, Patricia Johann, Eelco Visser, Eelco Visser, Eelco Visser — 2003
… Utrecht University February 2003 Copyright c○ 2003 Patricia Johann, Eelco Visser ISSN 0924-3275 Address…
Cited by 4 (1 self) – Add To MetaCart

Fusing Logic and Control with Local Transformations: An Example Optimization
by Patricia Johann, Eelco Visser — 2001 — Workshop on Reduction Strategies in Rewriting and Programming (WRS’01), volume 57 of Electronic Notes in Theoretical Computer Science
…://www.elsevier.nl/locate/entcs/volume57.html Fusing Logic and Control with Local Transformations: An Example Optimization Patricia Johann…
Cited by 10 (7 self) – Add To MetaCart

A Combinator-based Order-sorted Higher-order Unification Algorithm
by Patricia Johann, Fachbereich Informatik — 1993
…A Combinator-based Order-sorted Higher-order Unification Algorithm Patricia Johann Fachbereich…
Cited by 1 (0 self) – Add To MetaCart

Warm Fusion for the Masses: Detailing Virtual Data Structure Elimination in Fully Recursive Languages
by Patricia Johann, John Launchbury — 1997
… Languages Patricia Johann John Launchbury Pacific Software Research Center October 29, 1997 Abstract…
Cited by 1 (1 self) – Add To MetaCart

Initial algebra semantics is enough
by Patricia Johann, Neil Ghani — 2007 — Proceedings, Typed Lambda Calculus and Applications
…Initial Algebra Semantics is Enough! Patricia Johann ⋆ and Neil Ghani ⋆⋆ Abstract. Initial algebra…
Cited by 1 (1 self) – Add To MetaCart

Warm Fusion in Stratego: A Case Study in Generation of Program Transformation Systems
by Patricia Johann, Eelco Visser — 2000
… Study in Generation of Program Transformation Systems Patricia Johann a Eelco Visser b a Department…
Cited by 23 (14 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB