Showing 1 - 20
of 72
Narrow Search
Department
Subject area
Subject
Konferenzschrift
37
Programmiersprache
29
Programmanalyse
24
Programmierung
24
Programmverifikation
16
Formale Methode
12
more ...
Programmtransformation
11
Typentheorie
10
Nebenläufigkeit
9
Programmierparadigma
9
Effizienter Algorithmus
6
Formale Sprache
6
Korrektheit
6
Programmierlogik
6
Softwaresystem
5
Model Checking
4
Typsystem
4
Abstrakte Interpretation
2
Constraint-basiertes Schließen
2
Programmierumgebung
2
Prozessalgebra
2
Softwarespezifikation
2
Statische Analyse
2
Bisimulation
1
Codegenerierung
1
Compiler
1
Formale Spezifikationstechnik
1
Funktionale Programmierung
1
Java Programmiersprache
1
Programmoptimierung
1
less ...
Author
Weirich, Stephanie
5
Sergey, Ilya
4
Caires, Luís
3
Müller, Peter
3
Wies, Thomas
3
Yoshida, Nobuko
3
more ...
Degano, Pierpaolo
2
Hankin, Chris
2
Igarashi, Atsushi
2
Sands, David
2
Shao, Zhong
2
Smolka, Gert
2
Swierstra, S. Doaitse
2
Vafeiadis, Viktor
2
Yang, Hongseok
2
Ahmed, Amal
1
Barthe, Gilles
1
Castagna, Giuseppe
1
Chang, Bor-Yuh Evan
1
Chin, Wei-Ngan
1
De Nicola, Rocco
1
Drossopoulou, Sophia
1
Felleisen, Matthias
1
Feng, Xinyu
1
Gardner, Philippa
1
Garrigue, Jacques
1
Gordon, Andrew
1
Hu, Zhenjiang
1
Hur, Chung-Kil
1
Jhala, Ranjit
1
less ...
Language
Date of publishing
Filter