國立虎尾科技大學 |

Programming Language Foundations for Packet Processing.

紀錄類型:	書目-語言資料,手稿 : Monograph/item
正題名/作者:	Programming Language Foundations for Packet Processing./
作者:	Doenges, Ryan.
面頁冊數:	1 online resource (165 pages)
附註:	Source: Dissertations Abstracts International, Volume: 85-03, Section: B.
Contained By:	Dissertations Abstracts International85-03B.
標題:	Computer engineering. -
電子資源:	click for full text (PQDT)
ISBN:	9798380313551

Programming Language Foundations for Packet Processing.
Doenges, Ryan.

Programming Language Foundations for Packet Processing. - 1 online resource (165 pages)

Source: Dissertations Abstracts International, Volume: 85-03, Section: B.

Thesis (Ph.D.)--Cornell University, 2023.

Includes bibliographical references

This dissertation gives semantics to P4, a domain-specific language for describing packet processing in packet-switched computer networks. Additionally it describes verification tools for checking the equivalence of P4 programs. These verifiers can be used to check that a P4 compiler has not introduced bugs into programs while optimizing them. The verification methodology combines manual proof in an LCF-style proof assistant with automatic decision procedures that rely on SAT/SMT solvers for a compact trusted computing base.

Electronic reproduction.
Ann Arbor, Mich. :
ProQuest,
2024

Mode of access: World Wide Web

ISBN: 9798380313551Subjects--Topical Terms:

569006
Computer engineering.
Subjects--Index Terms:

Packet processingIndex Terms--Genre/Form:

554714
Electronic books.

Programming Language Foundations for Packet Processing.
LDR:01892ntm a22003977 4500 001 1142674
005 20240422071043.5
006 m o d
007 cr mn ---uuuuu
008 250605s2023 xx obm 000 0 eng d
020 $a 9798380313551
035 $a (MiAaPQ)AAI30575725
035 $a AAI30575725
040 $a MiAaPQ $b eng $c MiAaPQ $d NTU
100 1 $a Doenges, Ryan. $3 1467086
245 1 0 $a Programming Language Foundations for Packet Processing.
264 0 $c 2023
300 $a 1 online resource (165 pages)
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
500 $a Source: Dissertations Abstracts International, Volume: 85-03, Section: B.
500 $a Advisor: Foster, John.
502 $a Thesis (Ph.D.)--Cornell University, 2023.
504 $a Includes bibliographical references
520 $a This dissertation gives semantics to P4, a domain-specific language for describing packet processing in packet-switched computer networks. Additionally it describes verification tools for checking the equivalence of P4 programs. These verifiers can be used to check that a P4 compiler has not introduced bugs into programs while optimizing them. The verification methodology combines manual proof in an LCF-style proof assistant with automatic decision procedures that rely on SAT/SMT solvers for a compact trusted computing base.
533 $a Electronic reproduction. $b Ann Arbor, Mich. : $c ProQuest, $d 2024
538 $a Mode of access: World Wide Web
650 4 $a Computer engineering. $3 569006
650 4 $a Information technology. $3 559429
650 4 $a Computer science. $3 573171
653 $a Packet processing
653 $a Computer networks
653 $a Program bugs
653 $a Language foundations
653 $a Automatic decision procedures
655 7 $a Electronic books. $2 local $3 554714
690 $a 0984
690 $a 0489
690 $a 0464
710 2 $a Cornell University. $b Computer Science. $3 1179602
710 2 $a ProQuest Information and Learning Co. $3 1178819
773 0 $t Dissertations Abstracts International $g 85-03B.
856 4 0 $u http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=30575725 $z click for full text (PQDT)