Skip to contents

Knoop, Jens [Editor] ; CC 20 2011 Saarbrücken, ETAPS 14 2011 Saarbrücken

Compiler construction : 20th international conference, CC 2011, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2011

Published in: Lecture notes in computer science ; 6601
Knoop, Jens [Author]

Optimal interprocedural program optimization : a new framework and its application

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1998

Published in: Lecture notes in computer science ; 1428
Graf, Willi [Author]; Jens, Walter [Author] ; Knoop-Graf, Anneliese [Editor]

Briefe und Aufzeichnungen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Frankfurt am Main: Fischer, 1988
Knoop, Jens [Author]; Steffen, Bernhard [Author]

Efficient and optimal bit-vector data flow analyses : a uniform interprocedural framework

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Kiel: Inst. für Informatik und Praktische Mathematik, 1993

Published in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9309
Knoop, Jens [Author]; Steffen, Bernhard [Author] ; Fachgruppe Informatik, Technische Hochschule Aachen

The interprocedural coincidence theorem

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Aachen: RWTH, Fachgruppe Informatik, 1991

Published in: Aachener Informatik-Berichte ; 91,27
Knoop, Jens [Author]; Steffen, Bernhard [Author] ; Fachgruppe Informatik, Technische Hochschule Aachen

Unifying strength reduction and semantic code motion

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Aachen: RWTH, Fachgruppe Informatik, 1991

Published in: Aachener Informatik-Berichte ; 91,28
Knoop, Jens [Author]; Rüthing, Oliver [Author]; Steffen, Bernhard [Author]

Syntactic versus semantic code motion : analogies and essential differences

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Kiel: Inst. für Informatik und Praktische Mathematik, 1996

Published in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9616
Knoop, Jens [Author]; Rüthing, Oliver [Author]; Steffen, Bernhard [Author]

Towards a tool kit for the automatic generation of interprocedural data flow analyses

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Kiel: Inst. für Informatik und Praktische Mathematik, 1996

Published in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9615
Knoop, Jens [Author]; Rüthing, Oliver [Author]; Steffen, Bernhard [Author]

Partial dead code elimination

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Kiel: Inst. für Informatik und Praktische Mathematik, 1994

Published in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9407
Knoop, Jens [Author]; Rüthing, Oliver [Author]; Steffen, Bernhard [Author]

Lazy code motion

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Kiel: Inst. für Informatik und Praktische Mathematik, 1992

Published in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9208
Knoop, Jens [Author]; Rüthing, Oliver [Author]; Steffen, Bernhard [Author]

Lazy strength reduction

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Kiel: Inst. für Informatik und Praktische Mathematik, 1992

Published in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9216
Meyer, Ernst Hermann [Author] ; Gerlach, Jens [Other]; Kurzweg, Ehm [Performer]; Knoop, Alfred [Performer]; Koziel, Jola [Performer]; Neumann, Günter [Performer]; Hausmann, Siegfried [Performer]; Pohl, Gisela [Performer]; Krausewald, Friedrich [Performer]; Blumhagen, Günter [Performer] Rundfunkchor Berlin, Kammerorchester Berlin, Ost, Rundfunk-Sinfonieorchester Berlin, Berliner Rundfunk Solistenvereinigung

Lenin hat gesprochen : Kantate (1 Schallpl)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin: Dt. Schallpl., 1972
Knoop, Jens [Author] ; Jens Knoop [Contributor]

Data-Flow Analysis for Multi-Core Computing Systems: A Reminder to Reverse Data-Flow Analysis

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2008
Knoop, Jens [Author] ; Association for Computing Machinery-Digital Library, ACM Special Interest Group on Microarchitectural Research and Processing, ACM Special Interest Group on Programming Languages

Proceedings of the 2018 International Symposium on Code Generation and Optimization

View online
Schließen

Access

http://dl.acm.org/citation.cfm?id=3179541

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York, NY: ACM, 2018

Published in: ACM Digital Library- ACM Conferences
Knoop, Jens [Author] ; Association for Computing Machinery

Proceedings of the First Workshop on Cryptography and Security in Computing Systems

View online
Schließen

Access

http://dl.acm.org/citation.cfm?id=2556315

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York, NY: ACM, 2014

Published in: ACM Digital Library- ACM Other conferences
Knoop, Jens [Author]

Compiler Construction : 20th International Conference, CC 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2011

Published in: Lecture notes in computer science ; 6601
Knoop, Jens [Author] ; Association for Computing Machinery, ACM Special Interest Group on Programming Languages

Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation

View online
Schließen

Access

http://dl.acm.org/citation.cfm?id=512529

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York, NY: ACM, 2002

Published in: ACM Digital Library- ACM Conferences
Knoop, Jens [Author]

Optimal Interprocedural Program Optimization : A New Framework and Its Application

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 1998

Published in: Lecture notes in computer science ; 1428
Richter, Dirk [Author] ; Zimmermann, Wolf [Contributor]; Knoop, Jens [Contributor]

Programmanalysen zur Verbesserung der Softwaremodellprüfung

View online
Schließen

Links

https://opendata.uni-halle.de//handle/1981185920/7533

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Universitäts- und Landesbibliothek Sachsen-Anhalt, 2012
Hartmann, Andreas [Author] ; Knoop, Jens [Contributor]; Amme, Wolfram [Contributor]

Eine Methode der effizienten und verifizierbaren Programmannotation für den Transport von Escape-Informationen

View online
Schließen

Links

https://nbn-resolving.org/urn:nbn:de:gbv:27-20061207-144200-4

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Digital Library Thüringen, 2006

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication