A Aralex Aachen research explorer

January 01, 2004 conference-paper

Separation and information hiding

ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)

DOI: 10.1145/964001.964024 OpenAlex

Authors 0

Author list not loaded yet.

Cited by 2 stored of 236

A First-order Logic with Frames
2023 ACM Transactions on Programming Languages and Systems article Computer Science Logic, programming, and type systems Open access

2

citations
A First-Order Logic with Frames
2020 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

6

citations

2 results

References 0