Processed feedback

1 files changed, 6 insertions, 6 deletions

diff --git a/paper/intro.tex b/paper/intro.tex
index 2d44b4a..8d76100 100644
--- a/paper/intro.tex
+++ b/paper/intro.tex
@@ -4,15 +4,15 @@ Compilers and interpreters are among the most complex pieces of software
 written to date. Due to the rapid technological development of the last
 decades, programming languages have become increasingly complex, semantically
 speaking. It has become impossible for a programmer to keep in mind the impact
-of their changes on the generated machine code. Developers now constantly rely on assumptions about how
-the language that they write in works. Intuitive semantics may change over
-time, however, and proper definitions are required now that our world relies so
-principally on software.
+of their changes on the generated machine code. Developers now constantly rely
+on assumptions about how the language they are using actually works. Intuitive
+semantics may change over time, however, and proper definitions are required
+now that our world relies so principally on software.
 
 Nowadays, programming languages have semantical specifications as the main link
 between programmers and compiler designers. This solves the problem on the
-programmer's side. However, now that programming languages become increasingly
-complex, another problem occurs on the compiler designer's side: the
+programmer's side. However, with the increasing complexity of programming
+languages, another problem occurs on the compiler designer's side: the
 specification has become too complex to efficiently translate it into
 imperative code, and writing a correct compiler or interpreter is no longer a
 trivial task.