Search results for: Jens Palsberg
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > Verification and Conformance Testing > 291-310
Lecture Notes in Computer Science
Lecture Notes in Computer Science
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > Software Science > 79-93
Lecture Notes in Computer Science > Static Analysis > Static Analysis of Concurrent Languages > 109-126
Lecture Notes in Computer Science > Partial Evaluation > Theory, Systems, and Applications > 356-366
Lecture Notes in Computer Science > TAPSOFT '95: Theory and Practice of Software Development > 561-574
Lecture Notes in Computer Science > Static Analysis > 314-329
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > Contributed Papers > 187-204
Lecture Notes in Computer Science > ECOOP ’92 European Conference on Object-Oriented Programming > 329-349
Lecture Notes in Computer Science > ECOOP 2002 — Object-Oriented Programming > Optimization > 525-544