Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase step-indexing (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2006-2021 (9)
Publication types (Num. hits)
article(2) inproceedings(7)
Venues (Conferences, Journals, ...)
ACL2(1) CSL(1) ESOP(1) ICFP(1) LICS(1) Log. Methods Comput. Sci.(1) Modelling, Controlling and Rea...(1) POPL(1) Proc. ACM Program. Lang.(1)
Authors
Lars Birkedal(4) Nick Benton(3) Chung-Kil Hur(2) Derek Dreyer(2) Jan Schwinghammer(2) Kristian Støvring(2) Rasmus Ejlers Møgelberg(2) Andreas Rossberg(1) David A. Greve(1) Filip Sieczkowski(1) Georg Neis(1) Kasper Svendsen(1) Konrad Slind(1) Neel Krishnaswami(1) Simon Spies(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 7 occurrences of 7 keywords
Results
Found 9 publication records. Showing 9 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
37Nick Benton, Chung-Kil Hur Biorthogonality, step-indexing and compiler correctness. Search on Bibsonomy ICFP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF biorthogonality, step-indexing, denotational semantics, proof assistants, compiler verification
16Simon Spies, Neel Krishnaswami, Derek Dreyer Transfinite step-indexing for termination. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
16Kasper Svendsen, Filip Sieczkowski, Lars Birkedal Transfinite Step-Indexing: Decoupling Concrete and Logical Steps. Search on Bibsonomy ESOP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
16David A. Greve, Konrad Slind A Step-Indexing Approach to Partial Functions Search on Bibsonomy ACL2 The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
16Lars Birkedal, Rasmus Ejlers Møgelberg, Jan Schwinghammer, Kristian Støvring First steps in synthetic guarded domain theory: step-indexing in the topos of trees Search on Bibsonomy Log. Methods Comput. Sci. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
16Lars Birkedal, Rasmus Ejlers Møgelberg, Jan Schwinghammer, Kristian Støvring First Steps in Synthetic Guarded Domain Theory: Step-Indexing in the Topos of Trees. Search on Bibsonomy LICS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
16Nick Benton, Chung-Kil Hur Step-Indexing: The Good, the Bad and the Ugly. Search on Bibsonomy Modelling, Controlling and Reasoning About State The full citation details ... 2010 DBLP  BibTeX  RDF
16Derek Dreyer, Georg Neis, Andreas Rossberg, Lars Birkedal A relational modal logic for higher-order stateful ADTs. Search on Bibsonomy POPL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF local state, plotkin-abadi logic, modal logic, abstract data types, separation logic, step-indexed logical relations
7Nick Benton Abstracting Allocation. Search on Bibsonomy CSL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #9 of 9 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license