rewriting

-1Hitze

2Antwort

Wie kann das Neuschreiben von Text automatisiert werden?

Ich werde erklären, was ich tun möchte. Wenn ich einen Text wie "go there Jack" habe und ich automatisieren will, um es als "Jack ging dort" zu automatisieren. Lassen Sie uns vorstellen, es ist ein la

text rewriting 2010-11-25

---

5Hitze

2Antwort

Umschreiben von Netzwerkpaketen on the fly mit libnetfilter_queue

Ich bin versucht, ein Userspace-Anwendung zu schreiben, die in ein Netzwerk-Stack des Betriebssystem einhängen kann, schnüffeln Pakete vorbei fliegen und bearbeiten diejenigen, die ihre Interesse an.

networking netfilter rewriting 2010-11-26

---

26Hitze

3Antwort

Umschreiben als eine praktische Optimierungstechnik in GHC: Wird es wirklich benötigt?

Ich las das Papier von Simon Peyton Jones, et al. benannt “Playing by the Rules: Rewriting as a practical optimization technique in GHC”. Im zweiten Abschnitt, nämlich “ Die Grundidee ” sie schreiben:

haskell optimization ghc compiler-optimization rewriting 2014-11-09

---

2Hitze

1Antwort

Drucken Sie bestehende Seetoids und Morphismen in Coq

Ich verwende die generalized rewriting features of Coq. Ich möchte die derzeit verfügbaren setoid_rewrite Seetoids und Morphismen drucken, um besser zu verstehen, welche Relation oder Funktion fehlt,

coq rewriting 2016-07-09

---

6Hitze

1Antwort

Wie überschreibt man Rle innerhalb eines Terms mit Rmult in Coq?

Im Hinblick auf die Beziehung Rle (< =), kann ich umschreiben innen Rplus (+) und Rminus (-), da beide Positionen der beiden binären Operatoren haben feste Varianz: Require Import Setoid Relation_Defi

relation coq rewriting 2015-01-13

---