A Core Calculus of Dependency. Martn, A, Anindya, B, Nevin, H, & Jon, G R ukpmc.ac.uk. abstract bibtex Notions of program dependency arise in many settings: security, partial evaluation, program slicing, and call-tracking. We arguethat there is a central notion of dependency common to these settingsthat can be captured within a single calculus, the DependencyCore.
@Article{Martn,
author = {Martn, A and Anindya, B and Nevin, H and Jon, G R},
title = {A Core Calculus of Dependency},
journal = {ukpmc.ac.uk},
volume = {},
number = {},
pages = {},
year = {},
abstract = {Notions of program dependency arise in many settings: security, partial evaluation, program slicing, and call-tracking. We arguethat there is a central notion of dependency common to these settingsthat can be captured within a single calculus, the DependencyCore.},
location = {},
keywords = {}}
Downloads: 0
{"_id":"89a9uuErt99seaMJc","bibbaseid":"martn-anindya-nevin-jon-acorecalculusofdependency","authorIDs":[],"author_short":["Martn, A","Anindya, B","Nevin, H","Jon, G R"],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Martn"],"firstnames":["A"],"suffixes":[]},{"propositions":[],"lastnames":["Anindya"],"firstnames":["B"],"suffixes":[]},{"propositions":[],"lastnames":["Nevin"],"firstnames":["H"],"suffixes":[]},{"propositions":[],"lastnames":["Jon"],"firstnames":["G","R"],"suffixes":[]}],"title":"A Core Calculus of Dependency","journal":"ukpmc.ac.uk","volume":"","number":"","pages":"","year":"","abstract":"Notions of program dependency arise in many settings: security, partial evaluation, program slicing, and call-tracking. We arguethat there is a central notion of dependency common to these settingsthat can be captured within a single calculus, the DependencyCore.","location":"","keywords":"","bibtex":"@Article{Martn,\nauthor = {Martn, A and Anindya, B and Nevin, H and Jon, G R}, \ntitle = {A Core Calculus of Dependency}, \njournal = {ukpmc.ac.uk}, \nvolume = {}, \nnumber = {}, \npages = {}, \nyear = {}, \nabstract = {Notions of program dependency arise in many settings: security, partial evaluation, program slicing, and call-tracking. We arguethat there is a central notion of dependency common to these settingsthat can be captured within a single calculus, the DependencyCore.}, \nlocation = {}, \nkeywords = {}}\n\n\n","author_short":["Martn, A","Anindya, B","Nevin, H","Jon, G R"],"key":"Martn","id":"Martn","bibbaseid":"martn-anindya-nevin-jon-acorecalculusofdependency","role":"author","urls":{},"downloads":0},"bibtype":"article","biburl":"https://gist.githubusercontent.com/stuhlmueller/a37ef2ef4f378ebcb73d249fe0f8377a/raw/6f96f6f779501bd9482896af3e4db4de88c35079/references.bib","creationDate":"2020-01-27T02:13:34.869Z","downloads":0,"keywords":[],"search_terms":["core","calculus","dependency","martn","anindya","nevin","jon"],"title":"A Core Calculus of Dependency","year":null,"dataSources":["hEoKh4ygEAWbAZ5iy"]}