Search results for: Peter Thiemann
Lecture Notes in Computer Science > Programming Language Implementation and Logic Programming > 481-482
Lecture Notes in Computer Science > Static Analysis > 320-339
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > 314-328
Lecture Notes in Computer Science > ECOOP 2007 – Object-Oriented Programming > Inheritance and Derivation > 347-372
Lecture Notes in Computer Science > Emerging Trends in Information and Communication Security > Security Policies > 337-351
Lecture Notes in Computer Science > Programming Languages and Systems > Regular Contributions > 243-257
Lecture Notes in Computer Science > Testing – Practice and Research Techniques > Fast Abstracts > 211-214
Lecture Notes in Computer Science > Static Analysis > Static Analysis Based Program Transformation > 366-382
Lecture Notes in Computer Science > ECOOP 2007 – Object-Oriented Programming > Language About Language > 550-574
Lecture Notes in Computer Science > Programming Languages: Implementations, Logics, and Programs > 198-212