Research Area
#Computer science#Programming language#Code (cryptography)#Correctness#Proof assistant#Abstract data type#Mathematical proof#Theoretical computer science#Nondeterministic algorithm#Data structure
conference information
Papers relevant to ‘Data structure’: 1
Research performance of Top-tier Conference matching with ‘Data structure’
*Papers published between 2014 and 2020 were selected, and the citation number was determined by bing.com.
Fiat: Deductive Synthesis of Abstract Data Types in a Proof Assistant
2015/01 POPL Top-tier Conference 101 citations
Papers for author ‘Benjamin Delaware’: 1
Number of published Top-tier Conference by year
*Papers published between 2014 and 2020 were selected, and the citation number was determined by bing.com.
Fiat: Deductive Synthesis of Abstract Data Types in a Proof Assistant
2015/01 POPL Top-tier Conference 101 citations
Log in to PhD.GO
Access the Bookmarks
Add or remove professors and programs of interest from your Bookmarks
Subscribe to the graduate program newsletters that you've bookmarked
Enter your test results to ensure you meet the minimum for each graduate program at Bookmarks
At a glance, see program deadlines you've bookmarked on your calendar