Linear types for packet processing

R Ennals, R Sharp, A Mycroft - … on Programming, ESOP 2004, Held as …, 2004 - Springer
We present PacLang: an imperative, concurrent, linearly-typed language designed for
expressing packet processing applications. PacLang's linear type system ensures that no …
被引用次数：64 相关文章
[PDF] ioc.ee

[PDF][PDF] Linear Types for Packet Processing

R Ennals, R Sharp, A Mycroft - cs.ioc.ee
We present PacLang: an imperative, concurrent, linearlytyped language designed for
expressing packet processing applications. PacLang's linear type system ensures that no …
[PDF] cam.ac.uk

[PDF][PDF] Linear Types for Packet Processing

R Ennals, R Sharp, A Mycroft - cl.cam.ac.uk
We present PacLang: an imperative, concurrent, linearlytyped language designed for
expressing packet processing applications. PacLang's linear type system ensures that no …
[PDF] academia.edu

[PDF][PDF] Linear Types for Packet Processing

R Ennals, R Sharp, A Mycroft - academia.edu
We present PacLang: an imperative, concurrent, linearlytyped language designed for
expressing packet processing applications. PacLang's linear type system ensures that no …
[PDF] psu.edu

[PDF][PDF] Linear Types for Packet Processing

R Ennals, R Sharp, A Mycroft - Citeseer
We present PacLang: an imperative, concurrent, linearly-typed language designed for
expressing packet processing applications. PacLang's linear type system ensures that no …

Linear Types for Packet Processing

R Ennals, R Sharp, A Mycroft - Programming Languages and Systems - infona.pl
We present PacLang: an imperative, concurrent, linearly-typed language designed for
expressing packet processing applications. PacLang's linear type system ensures that no …

[引用][C] Linear types for packet processing

R ENNALS, R SHARP… - Lecture notes in computer …, 2004 - pascal-francis.inist.fr
Linear types for packet processing CNRS Inist Pascal-Francis CNRS Pascal and Francis
Bibliographic Databases Simple search Advanced search Search by classification Search …

Linear Types for Packet Processing

R Ennals, R Sharp, A Mycroft - … , ESOP 2004, Held as Part of the …, 2004 - books.google.com
We present PacLang: an imperative, concurrent, linearlytyped language designed for
expressing packet processing applications. PacLang's linear type system ensures that no …

Linear Types for Packet Processing

R Ennals, R Sharp, A Mycroft - Edited by G. Goos, J. Hartmanis, and J. van … - Springer
We present PacLang: an imperative, concurrent, linearlytyped language designed for
expressing packet processing applications. PacLang's linear type system ensures that no …
[PDF] ioc.ee

[PDF][PDF] Linear Types for Packet Processing

R Ennals, R Sharp, A Mycroft - cs.ioc.ee
We present PacLang: an imperative, concurrent, linearlytyped language designed for
expressing packet processing applications. PacLang's linear type system ensures that no …