BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Testing Noninterference, Quickly
SearchCollections
Map detail
Testing Noninterference, Quickly10 visible / 10 total nodes / 9 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipTopic signalAuthorshipAuthorshipAuthorshipAuthorshipTesting Noninterference, QuicklyWTesting Noninterference, Quicklypreprint / 2015Catalin HritcuACatalin HritcuResearcherLeonidas LampropoulosALeonidas LampropoulosResearcherAntal Spector-ZabuskyAAntal Spector-ZabuskyResearcherArthur Azevedo de AmorimAArthur Azevedo de AmorimResearcherProgramming LanguagesTProgramming Languages1239 worksMaxime DénèsAMaxime DénèsResearcherJohn HughesAJohn HughesResearcherBenjamin C. PierceABenjamin C. PierceResearcherDimitrios VytiniotisADimitrios VytiniotisResearcher
Paper9 links

Testing Noninterference, Quickly

preprint / 2015

PersonCatalin HritcuAuthorship / ResearcherPersonLeonidas LampropoulosAuthorship / ResearcherPersonAntal Spector-ZabuskyAuthorship / ResearcherPersonArthur Azevedo de AmorimAuthorship / ResearcherTopicProgramming LanguagesTopic signal / 1239 worksPersonMaxime DénèsAuthorship / ResearcherPersonJohn HughesAuthorship / ResearcherPersonBenjamin C. PierceAuthorship / Researcher

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)