Heap Analysis

People 2

Papers 1

Journals 0

Jobs 0

Computer Science

Concurrency Theory

Program Semantics

Concurrent Programming Languages

Programming Language Semantics

Parallel Programming

Programming Language Theory

Verification (Computer Science)

Formal methods

Semantics (Computer Science)

Parallel Program Verification

Heap Analysis

Follow sandeep

What is Following?

Following sandeep's work means that, in your Academia.edu News Feed, you will see sandeep's:

status updates
new papers
new research interests

and other research updates.

sandeep dasgupta

IIT Kanpur

Graduate Student

Computer Science & Engineering Department

Concurrent Programming Languages, Heap Analysis, Parallel Program Verification, and Parallel Programming

Follow Eduardo

What is Following?

Following Eduardo's work means that, in your Academia.edu News Feed, you will see Eduardo's:

status updates
new papers
new research interests

and other research updates.

Eduardo Brito

Universidade do Minho

Graduate Student

Departamento de Informática Department

Computer Science, Concurrency Theory, Concurrent Programming Languages, and Formal methods

Heap Analysis

What is Following?

sandeep dasgupta

IIT Kanpur

Graduate Student

Computer Science & Engineering Department

What is Following?

Eduardo Brito

Universidade do Minho

Graduate Student

Departamento de Informática Department

Log In

Reset Password