Search results
Fundamenta Informaticae > 2020 > Vol. 177, nr 3/4 > 385--415
Journal of Logical and Algebraic Methods in Programming > 2018 > 100 > C > 16-35
Software & Systems Modeling > 2019 > 18 > 1 > 345-366
Computer Languages, Systems & Structures > 2017 > 49 > C > 216-230
Science of Computer Programming > 2017 > 141-142 > C > 1-39
Computers & Security > 2017 > 66 > C > 97-114
Lecture Notes in Computer Science > Static Analysis > 205-219
Electronic Notes in Theoretical Computer Science > 2016 > 322 > C > 119-134
Lecture Notes in Computer Science > Functional and Constraint Logic Programming > Contributed Papers > 96-110
Lecture Notes in Computer Science > Static Analysis > 127-140
Lecture Notes in Computer Science > Artificial Intelligence and Symbolic Mathematical Computing > 188-194
Lecture Notes in Computer Science > Theorem Proving in Higher Order Logics > Regular Papers > 327-342
Lecture Notes in Computer Science > ECOOP’95 — Object-Oriented Programming, 9th European Conference, Åarhus, Denmark, August 7–11, 1995 > Types > 2-26