Results 231 to 240 of about 15,524 (267)
Some of the next articles are maybe not open access.

Rewriting the Renaissance, Rewriting Ourselves

Shakespeare Quarterly, 1987
My purpose is to assess, from a feminist standpoint, the current relations between new historicism and feminist criticism. I shall begin with two institutional moments: Stephen Orgel's reading of "Prospero's Wife" at the "Renaissance Man/Renaissance Woman" conference at Yale University in March 1982 and the meetings of the seminar on "Images of Gender ...
openaire   +1 more source

From Hack to Elaborate Technique—A Survey on Binary Rewriting

ACM Computing Surveys, 2020
Matthias Wenzl   +2 more
exaly  

Proving and rewriting

1990
This paper presents some ways to prove theorems in first and second order logic, such that rewriting does the routine work automatically, and partially successful proofs often return information that suggests what to try next. The theoretical framework makes extensive use of general algebra, and main results include an extension of many-sorted ...
openaire   +1 more source

Applications and extensions of context-sensitive rewriting

Journal of Logical and Algebraic Methods in Programming, 2021
Salvador Lucas
exaly  

Rewriting the Mother, Rewriting the Script

Abstract This chapter examines Janet Mock’s evolution from journalist to memoirist and ultimately screenwriter, showing how her creative trajectory shapes her intervention in televisual representations of Black trans women. It traces her entry into the writing room of Pose and demonstrates how she reframes dominant trans narrative ...
openaire   +1 more source

Context-sensitive Rewriting

ACM Computing Surveys, 2021
Salvador Lucas
exaly  

A rewriting system for convex optimization problems

Journal of Control and Decision, 2018
Akshay Agrawal   +2 more
exaly  

Term rewriting with traversal functions

ACM Transactions on Software Engineering and Methodology, 2003
Paul Klint, Jürgen J Vinju
exaly  

ELAN from a rewriting logic point of view

Theoretical Computer Science, 2002
Peter Borovanský   +2 more
exaly  

Home - About - Disclaimer - Privacy