49 Infos zu Julia Trieflinger

12 Aktuelle Nachrichten

Julia Trieflinger Address. Arbeitsbereich für Programmiersprachen und Übersetzter Wilhelm-Schickard Institut für Informatik Sand 13, D Tübingen, Deutschland

News Paper accepted at ICFP May 1. Our paper on automatic refunctionalization for a language with copattern matching has been accepted for presentation at the ...

Am Schulzentrum bleibt vorerst alles beim Alten. Gleiches gilt für die Silcher-Schule.

Für die Schüler ist der Start am Montag ein Glück. Mütter und Väter hätten sich von der Politik aber mehr erwartet.

5  Bilder zu Julia Trieflinger

4 Profile in Sozialen Netzwerken

The blue social bookmark and publication sharing system.

Semantic Scholar profile for Julia Trieflinger, with 1 highly influential citations and 3 scientific research papers.

refunction (1) copattern (1) problem (1) languag (1) express (1) automat (1) applic (1) match (1). Person: Julia Trieflinger. DBLP: Trieflinger:Julia. Contributed to:.

... Jukka Talvio · Jukka Teuhola · Jules Testard · Jules Trasbot · Júlia Teles · Julia Trieflinger · Julian Tibble · Julian Tiedeken · Julian Tschannen · Juliana Tashiro ...

10 Wissenschaftliche Publikationen

List of computer science publications by BibTeX records: Julia Trieflinger

Holger Gast, Julia Trieflinger: High-level Proofs about Low-level Programs. ECEASST : 2009: DBLP BibTeX RDF:

List of computer science publications by Holger Gast

Holger Gast, Julia Trieflinger. Volume 22: Formal Methods for Interactive Systems 2009, Tightly coupled verification of pervasive systems ...

2 Allgemeine Veröffentlichungen

· We would like to thank Tillmann Rendel and Julia Trieflinger for providing some early ideas for the design of what eventually became GADT^T.

Holger Gast, Julia Trieflinger. High-level Proofs about Low-level Programs. ECEASST, 23, [doi]. Abstract; Authors · BibTeX · References · Bibliographies ...

15 Webfunde aus dem Netz

vor 5 Tagen · The paper is joint work with julia trieflinger alumni julia trieflinger and klaus ostermann head klaus ostermann. Read minnie mouse weekly ...

A decidable class of verification conditions for programs with higher order store. Holger Gast and Julia Trieflinger. High-level proofs about low-level programs.

Elternbeiratsvorsitzende: Daniela Raichle Herr Jürgen Hess und seine Stellvertreterin Frau Susanne Stellvertretende: Julia Trieflinger Klamroth wurden von ...

http://dl.acm.org/ft_gateway.cfm?id= &type=pdf - Tillmann Rendel, Julia Trieflinger, Klaus Ostermann Expressing Contract Monitors As Patterns Of Communication · http://dl.acm.org/citation.cfm?id= Cameron Swords, Amr Sabry, Sam Tobinhochstadt GADTs Meet Their Match: Pattern-matching ...

... to the Expression Problem: Tillmann Rendel (University of Tübingen), Julia Trieflinger (University of Tübingen), and Klaus Ostermann (University of Tübingen) ...

... about Memory LayoutsHolger Gast. fm 2009: [doi] · High-level Proofs about Low-level ProgramsHolger Gast, Julia Trieflinger. eceasst, 23, [doi] ...

... der ersten Semesterhäl#e } Veranstalter: Klaus Ostermann, Jonathan Brachthäuser, Julia Trieflinger } Termine: } VL: Mi h, Hörsaal Kriminologie (F119) 4.

Tillmann Rendel Julia Trieflinger Klaus Ostermann Julian Jabs David Binder Ingo Skupin Tobias Weber Tobias Weber from the University of Marburg visits ...

Automatic refunctionalization to a language with copattern matching: with applications to the expression problemTillmann Rendel, Julia Trieflinger, ...

Tillmann Rendel, Julia Trieflinger, Klaus Ostermann Automatic refunctionalization to a language with copattern matching: with applications to the expression ...

... Philipp Berens &-tuebingen.de> sig sig3 3EF281DA ______ ______ Julia Trieflinger &> sig sig2 ...

· Tillmann Rendel and Julia Trieflinger and Klaus Ostermann Automatic refunctionalization to a language with copattern matching: with ...

· By tillmann rendel, julia trieflinger, and klaus ostermann. In proceedings of international conference on functional programming, ...

I enjoyed many philosophical debates with Eray Gençay and Julia Trieflinger, to which Matthias Sauter provided a healthy down-toearth attittude. Many of my ...

· Holger Gast and Julia Trieflinger. High-level proofs about low-level programs. - Michael Huth, Nir Piterman and Huaxin Wang.