Zum Inhalt springen

Riis Nielson, Hanne [Sonstige Person, Familie und Körperschaft]; Filé, Gilberto [Sonstige Person, Familie und Körperschaft]; Nielson, Hanne Riis [Herausgeber:in] ; SAS 14 2007 Lyngby-Tårbaek

Static analysis : 14th international symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007 ; proceedings

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 4634
Cortesi, Agostino [Verfasser:in] ; Filè, Gilberto [Sonstige Person, Familie und Körperschaft]

Static Analysis : 6th International Symposium, SAS’99 Venice, Italy, September 22–24, 1999 Proceedings

Online ansehen
Schließen

Zugang

... zum E-Book via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 1999

Erschienen in: Lecture notes in computer science ; 1694
Nielson, Hanne Riis [Sonstige Person, Familie und Körperschaft]; Filè, Gilberto [Sonstige Person, Familie und Körperschaft]

Static Analysis : 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings

Online ansehen
Schließen

Zugang

... zum E-Book via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2007

Erschienen in: Lecture notes in computer science ; 4634
Cousot, Patrick [Verfasser:in] ; Falaschi, Moreno [Sonstige Person, Familie und Körperschaft]; Filè, Gilberto [Sonstige Person, Familie und Körperschaft]; Rauzy, Antoine [Sonstige Person, Familie und Körperschaft]

Static Analysis : Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993. Proceedings

Online ansehen
Schließen

Zugang

... zum E-Book via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin, Heidelberg: Springer Berlin Heidelberg, 1993

Erschienen in: Lecture notes in computer science ; 724
Filé, Gilberto

The relation of two patterns with comparable languages patterns

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

EDP Sciences, 1989

Erschienen in: RAIRO - Theoretical Informatics and Applications, 23 (1989) 1, Seite 45-57
Filé, Gilberto

STACS 85: Tree automata and logic programs : Extended abstract : Extended abstract

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 1984

Erschienen in: STACS 85 (1984), Seite 119-130
Cortesi, Agostino; Filé, Gilberto

Static Analysis

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 2003

Erschienen in: Science of Computer Programming, 47 (2003) 2-3, Seite 89-90
Filé, Gilberto; Ranzato, Francesco

The powerset operator on abstract interpretations

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 1999

Erschienen in: Theoretical Computer Science, 222 (1999) 1-2, Seite 77-111
Cortesi, Agostino; Filé, Gilberto

Sharing is optimal

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 1999

Erschienen in: The Journal of Logic Programming, 38 (1999) 3, Seite 371-386
Baldan, Dante; Filé, Gilberto

Static Analysis: Abstract interpretation for improving WAM code

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 1997

Erschienen in: Static Analysis (1997), Seite 364-364
Cortesi, Agostino; Filé, Gilberto

Graph properties for normal logic programs

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 1993

Erschienen in: Theoretical Computer Science, 107 (1993) 2, Seite 277-303
Filé, Gilberto; Rossi, Sabina

Logic Programming and Automated Reasoning: Static analysis of Prolog with cut

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 1993

Erschienen in: Logic Programming and Automated Reasoning (1993), Seite 134-145
Engelfriet, Joost; Filé, Gilberto

Passes, sweeps, and visits in attribute grammars

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 1989

Erschienen in: Journal of the ACM, 36 (1989) 4, Seite 841-869
Engelfriet, Joost; Filé, Gilberto

Simple multi-visit attribute grammars

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 1982

Erschienen in: Journal of Computer and System Sciences, 24 (1982) 3, Seite 283-314
Engelfriet, Joost; Filè, Gilberto

Automata, Languages and Programming: Formal properties of one-visit and multi-pass attribute grammars (extended abstract)

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 1980

Erschienen in: Automata, Languages and Programming (1980), Seite 182-194
Engelfriet, Joost; Filè, Gilberto

Automata, Languages and Programming: Passes, sweeps and visits : Extended abstract : Extended abstract

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 1981

Erschienen in: Automata, Languages and Programming (1981), Seite 193-207
Engelfriet, Joost; Filè, Gilberto

Passes and paths of attribute grammars

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 1981

Erschienen in: Information and Control, 49 (1981) 2, Seite 125-169
Cortesi, Agostino; Filé, Gilberto; Winsborough, William

The quotient of an abstract interpretation

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 1998

Erschienen in: Theoretical Computer Science, 202 (1998) 1-2, Seite 163-192
Cortesi, Agostino; File', Gilberto; Winsborough, William

Optimal groundness analysis using propositional logic

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 1996

Erschienen in: The Journal of Logic Programming, 27 (1996) 2, Seite 137-167
Filé, Gilberto; Giacobazzi, Roberto; Ranzato, Francesco

A unifying view of abstract domain design

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 1996

Erschienen in: ACM Computing Surveys, 28 (1996) 2, Seite 333-336

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr