Suchergebnisse - Yessenov, Kuat | OPAC THWS

1

Unifying execution of imperative and declarative code von Milicevic, Aleksandar, Rayside, Derek, Yessenov, Kuat, Jackson, Daniel

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

A language for automatically enforcing privacy policies von Yang, Jean, Yessenov, Kuat, Solar-Lezama, Armando

Veröffentlicht in SIGPLAN notices

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Stepwise refinement of heap-manipulating code in Chalice von Leino, K. Rustan M., Yessenov, Kuat

Veröffentlicht in Formal aspects of computing

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

DemoMatch: API discovery from demonstrations von Yessenov, Kuat, Kuraj, Ivan, Solar-Lezama, Armando

Veröffentlicht in SIGPLAN notices

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

Bounded Verification of Voting Software von Dennis, Greg, Yessenov, Kuat, Jackson, Daniel

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

Data-driven synthesis for object-oriented frameworks von Yessenov, Kuat, Xu, Zhilei, Solar-Lezama, Armando

Veröffentlicht in SIGPLAN notices

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

Collections, Cardinalities, and Relations von Yessenov, Kuat, Piskac, Ruzica, Kuncak, Viktor

Volltext bestellen

Web Resource

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

On Decision Procedures for Collections, Cardinalities, and Relations von Yessenov, Kuat, Piskac, Ruzica, Kuncak, Viktor

Volltext bestellen

Web Resource

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: