Skip to contents

Hammer, Christian [Author]; Dolby, Julian [Author]; Vaziri, Mandana [Author]; Tip, Frank [Author]

Dynamic Detection of Atomic-Set-Serializability Violations

View online
Schließen

Links

... to article

Close

Bookmarks

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

Association for Computing Machinery, 2008-01-01
Wasserrab, Daniel [Author]; Nipkow, Tobias [Author]; Snelting, Gregor [Author]; Tip, Frank [Author]

C++ ist typsicher? Garantiert!

View online
Schließen

Links

... to article

Close

Bookmarks

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

Ges. für Informatik, 2007-01-01
Stärzer, Maximilian [Author]; Ryder, Barbara [Author]; Ren, Xiaoxia [Author]; Tip, Frank [Author]

Finding Failure Inducing Changes in Java Programs using Change Classification

View online
Schließen

Links

... to article

Close

Bookmarks

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

Association for Computing Machinery, 2006-01-01
Wasserrab, Daniel [Author]; Nipkow, Tobias [Author]; Snelting, Gregor [Author]; Tip, Frank [Author]

An Operational Semantics and Type Safety Proof for Multiple Inheritance in C++

View online
Schließen

Links

... to article

Close

Bookmarks

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

Association for Computing Machinery, 2006-01-01
Aßmann, Uwe [Author]; Hendren, Laurie [Author]; Ryder, Barbara [Author]; Tip, Frank [Author] ; Uwe Aßmann and Laurie Hendren and Barbara Ryder and Frank Tip [Contributor]

Effective Implementation of Object-Oriented Programming Languages (Dagstuhl Seminar 00451)

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

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

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2001
Boella, Guido [Author]; Meijer, Erik [Author]; Pearce, David J. [Author]; Steimann, Friedrich [Author]; Tip, Frank [Author] ; Guido Boella and Erik Meijer and David J. Pearce and Friedrich Steimann and Frank Tip [Contributor]

10152 Abstracts Collection – Relationships, Objects, Roles, and Queries in Modern Languages

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

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

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2010
Boella, Guido [Author]; Meijer, Erik [Author]; Pearce, David J. [Author]; Steimann, Friedrich [Author]; Tip, Frank [Author] ; Guido Boella and Erik Meijer and David J. Pearce and Friedrich Steimann and Frank Tip [Contributor]

10152 Executive Summary – Relationships, Objects, Roles, and Queries in Modern Languages

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

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

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2010
Andreasen, Esben [Author]; Gordon, Colin S. [Author]; Chandra, Satish [Author]; Sridharan, Manu [Author]; Tip, Frank [Author]; Sen, Koushik [Author] ; Esben Andreasen and Colin S. Gordon and Satish Chandra and Manu Sridharan and Frank Tip and Koushik Sen [Contributor]

Trace Typing: An Approach for Evaluating Retrofitted Type Systems

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

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

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2016
Ahlin, E. Komponist; Axelson, Sten Komponist; Churchill, Frank Komponist; Donaldson, Walter Komponist; Ernst, J. Komponist; Gullmar, Kai Komponist; Hallden, Bjorn Komponist; Kraft, A. Komponist; Lincke, Paul Komponist; Maxell, Victor Komponist; Paddock, Sven Komponist; Perne, Nils Komponist; Ronell, Ann Komponist; Runo, S. Komponist; Runo, Sven Komponist; Sayers, Henry J. Komponist; Sylvain, Jules Komponist; Taube, Evert Komponist; Vejvoda, Jaromir Komponist; Wrubel, Allie Komponist ; Columbia Accordion Quartet, Columbia Dance Orchestra, Rhythmic Four, The, Rospiggarna, Runos Dance Orchestra, Studio orchestra, Swedish Rhythm Boys, Tip Top Band

SWEDISH FAVORITES (1931-1942)

View online
Schließen

Access

... to audio recording via Naxos (Verbindung zu Naxos Music Library Jazz)

Close

Bookmarks

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

Ancha, 100929

Published in: Ancha
Tip, Frank

Infeasible paths in object-oriented programs

View online
Schließen

Access

Close

Bookmarks

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

Elsevier BV, 2015

Published in: Science of Computer Programming, 97 (2015), Seite 91-97
Tip, Frank

Objects, Models, Components, Patterns: Finding and Fixing Bugs in Web Applications (Invited Talk)

View online
Schließen

Access

Close

Bookmarks

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

Springer Berlin Heidelberg, 2011

Published in: Objects, Models, Components, Patterns (2011), Seite 2-2
Tip, Frank

Session details: Debugging I

View online
Schließen

Access

Close

Bookmarks

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

Association for Computing Machinery (ACM), 2011

Published in: ACM SIGPLAN Notices, 46 (2011) 6
Tip, Frank

TAPSOFT '95: Theory and Practice of Software Development: Generic techniques for source-level debugging and dynamic program slicing

View online
Schließen

Access

Close

Bookmarks

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

Springer Berlin Heidelberg, 1995

Published in: TAPSOFT '95: Theory and Practice of Software Development (1995), Seite 516-530
Snelting, Gregor; Tip, Frank

ECOOP 2002 — Object-Oriented Programming: Semantics-Based Composition of Class Hierarchies

View online
Schließen

Access

Close

Bookmarks

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

Springer Berlin Heidelberg, 2002

Published in: ECOOP 2002 — Object-Oriented Programming (2002), Seite 562-584
Tip, Frank; Palsberg, Jens

Scalable propagation-based call graph construction algorithms

View online
Schließen

Access

Close

Bookmarks

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

Association for Computing Machinery (ACM), 2000

Published in: ACM SIGPLAN Notices, 35 (2000) 10, Seite 281-293
Snelting, Gregor; Tip, Frank

Understanding class hierarchies using concept analysis

View online
Schließen

Access

Close

Bookmarks

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

Association for Computing Machinery (ACM), 2000

Published in: ACM Transactions on Programming Languages and Systems, 22 (2000) 3, Seite 540-582
Snelting, Gregor; Tip, Frank

Reengineering class hierarchies using concept analysis

View online
Schließen

Access

Close

Bookmarks

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

Association for Computing Machinery (ACM), 1998

Published in: ACM SIGSOFT Software Engineering Notes, 23 (1998) 6, Seite 99-110
Field, John; Tip, Frank

Programming Language Implementation and Logic Programming: Dynamic dependence in term rewriting systems and its application to program slicing

View online
Schließen

Access

Close

Bookmarks

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

Springer Berlin Heidelberg, 1994

Published in: Programming Language Implementation and Logic Programming (1994), Seite 415-431
Tip, Frank; Sweeney, Peter F.

Class hierarchy specialization

View online
Schließen

Access

Close

Bookmarks

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

Springer Science and Business Media LLC, 2000

Published in: Acta Informatica, 36 (2000) 12, Seite 927-982
Sweeney, Peter F.; Tip, Frank

Extracting library-based object-oriented applications

View online
Schließen

Access

Close

Bookmarks

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

Association for Computing Machinery (ACM), 2000

Published in: ACM SIGSOFT Software Engineering Notes, 25 (2000) 6, Seite 98-107

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