Engels

Arabisch Catalaans Chinees Deens Duits Engels Frans Grieks Hebreeuws Hindi Hongaars Italiaans Japans Koreaans Nederlands Oekraïens Perzisch Pools Portugees Roemeens Russisch Slowaaks Spaans Thai Tsjechisch Turks Vietnamees Zweeds

Duits

Definitie Arabisch Catalaans Chinees Deens Duits Engels Frans Grieks Hebreeuws Hindi Hongaars Italiaans Japans Koreaans Nederlands Oekraïens Perzisch Pools Portugees Roemeens Russisch Slowaaks Spaans Thai Tsjechisch Turks Vietnamees Zweeds

Favorieten

Publiciteit

type systems

Geflecteerde vorm van type system

Vertaling van "type systems" in Duits

Typsysteme

Schriftsystemen

Schriftsysteme

Systeme vom Typ

Typsystemen

Blutgruppensysteme

Opfer-Typ

Among these are domain specific analyses, optional type systems and checks for structural properties.

Unter diesen sind domainspezifische Analysen, optionale Typsysteme und das Überprüfen struktureller Eigenschaften.

I offer mainly courses in the area of programming languages, object-oriented programming, and type systems.

Ich biete Lehrveranstaltungen aus den Bereichen Programmiersprachen, objektorientierte Programmierung und Typsysteme an.

What were the challenges of incorporating several different type systems?

Was waren die Herausforderungen bei der Gestaltung mit mehreren Schriftsystemen?

The Chinese and Koreans printed with movable letters made of clay, wood or metal long before Gutenberg, but they used completely different processes in their type systems - and for completely different motives.

Mit beweglichen Lettern aus Ton, Holz oder Metall hatten Chinesen und Koreaner schon lange vor Gutenberg gedruckt; sie arbeiteten in ihren Schriftsystemen indes mit völlig anderen Verfahren - und aus einer anderen Motivation heraus.

The batten type systems are prone to moisture and condensation, which can rot in time.

Die Batten Schriftsysteme sind anfällig für Feuchtigkeit und Kondenswasser, die in der Zeit verrotten kann.

One of his first type systems, ITC Officina, has all these traits - right down to the mischievous twinkle.

Und ITC Officina, eins seiner ersten Schriftsysteme, hat genau diese Charakterzüge - spitzbübisches Funkeln inklusive.

The two type systems combine prior work on refinement types with union and intersection types and with the novel ability to reason statically about the disjointness of types.

Die beiden Typsysteme verbinden vorausgehende Arbeiten zu Verfeinerungstypen mit disjunktiven und konjunktiven Typen, und ermöglichen außerdem, statisch zu folgern, dass zwei Typen disjunkt sind.

In this thesis we present two new type systems for verifying the security of cryptographic protocol models expressed in a spi-calculus and, respectively, of protocol implementations expressed in a concurrent lambda calculus.

Kurzfassung auf Deutsch: In dieser Arbeit werden zwei neue Typsysteme vorgestellt, mit denen die Sicherheit kryptographischer Protokolle, modelliert in einem spi-Kalkül, und Protokollimplementierungen, beschrieben in einem nebenläufigen Lambdakalkül, verifiziert werden kann.

This allows to have multiple type systems (e.g. confined types and the builtin Java type system) to coexist and to be checked by static analyses.

Das erlaubt es, mehrere Typsysteme (zum Beispiel confined types und das Java Typ- system) zu kombinieren und von statischen Analysen prüfen zu lassen.

Besides that I'm fascinated by programming languages, type systems, and compilers and I had the chance to work on that at the LAMP at the EPFLausanne for some time.

Ansonsten faszinieren mich Programmiersprachen, Typsysteme und Compiler am meisten, und ich hatte die Chance am LAMP an der EPFLausanne einige Zeit auf diesem Gebiet zu arbeiten.