| Document Date: 2014-11-11 20:30:18
Open Document File Size: 195,84 KBShare Result on Facebook
City Pittsburg / / Country United States / / Currency pence / / / Facility Carnegie-Mellon University / University of Pennsylvania / / IndustryTerm path-vector protocol / Internet Service Providers / evaluation algorithm / declarative networking / distributed evaluation algorithm / autonomous systems / complicated algorithms / Internet routing / bottom-up evaluation algorithms / declarative networks / proof systems / proof search / proof search space / / Organization Carnegie-Mellon University / University of Pennsylvania / Philadelphia / / Person TL SL Sr / Ai / / Position correspondent / tuple head / rule head / head / / ProgrammingLanguage Datalog / / ProvinceOrState Pennsylvania / / Technology distributed evaluation algorithm / distributed algorithm / bottom-up evaluation algorithms / evaluation algorithm / path-vector protocol / SN algorithms / SN algorithm / 1 SN-algorithm / PSN algorithm / network protocols / /
SocialTag |
An Operational Semantics for Network Datalog Vivek Nigam1 , Limin Jia2 , Anduo Wang1 , Boon Thau Loo1 , and Andre Scedrov1 1 University of Pennsylvania, Philadelphia, USA