sort by
approximate search
1shortlisttitle datasearch history  
results search [or] ISN:0000000012572250 | 1 hits
Person
ISNI: 
0000 0000 1257 2250
Name: 
Glesner, S.
Glesner, Sabine
Glesner, Sabine Anne Maria
Dates: 
1971-
Creation class: 
Language material
Creation role: 
author
Related names: 
Heberle, Andreas (1965-)
Karlsruhe, Univ
Löwe, Welf
Titles: 
Generating semantic analysis using constraint programming
introduction to (co)algebras and (co)induction and their application to the semantics of programming languages
Names, types, and static semantic analysis
Natürliche Semantik für imperative und objektorientierte Programmiersprachen
Verification of optimizing compilers
Notes: 
Karlsruhe, Univ., Habil.-Schr., 2005
Sources: