Samin S. Ishtiaq

According to our database, Samin S. Ishtiaq authored at least 5 papers between 1998 and 2002.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of five.

2002

Kripke Resource Models of a Dependently-typed, Bunched λ-calculus.

Samin S. Ishtiaq, David J. Pym

J. Log. Comput., 2002

2001

BI as an Assertion Language for Mutable Data Structures.

Samin S. Ishtiaq, Peter W. O'Hearn

Proceedings of the Conference Record of POPL 2001: The 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2001

2000

Semantic analysis of pointer aliasing, allocation and disposal in Hoare logic351292.

Cristiano Calcagno, Samin S. Ishtiaq, Peter W. O'Hearn

Proceedings of the 2nd international ACM SIGPLAN conference on on Principles and practice of declarative programming, 2000

1999

Kripke Resource Models of a Dependently-Typed, Bunched lambda-Calculus.

Samin S. Ishtiaq, David J. Pym

Proceedings of the Computer Science Logic, 13th International Workshop, 1999

1998

A Relevant Analysis of Natural Deduction.

Samin S. Ishtiaq, David J. Pym

J. Log. Comput., 1998