NDLI: Signatures for a network protocol stack:a systems application of Standard ML

Please wait, while we are loading the content...

Volume VIII

Volume VII

Volume VII, Issue 4, Oct. 1994

Volume VII, Issue 3, July-Sept. 1994

Tag-free garbage collection using explicit type parameters

Garbage collection for strongly-typed languages using run-time type reconstruction

Collecting more garbage

Concurrent replicating garbage collection

Characterization of object behaviour in Standard ML of New Jersey

Signatures for a network protocol stack

Static dependent costs for estimating execution time

Using the run-time sizes of data structures to guide parallel-thread creation

Locality, causality and continuations

Syntax and semantics of a persistent Common Lisp

Talking about modules and delivery

Sweet harmony

Lambda, the ultimate label or a simple optimizing compiler for Scheme

An efficient implementation of multiple return values in Scheme

Space-efficient closure representations

Using Hindley-Milner type inference to optimise list representation

A randomized implementation of multiple functional arrays

Unrolling lists

A direct algorithm for type inference in the rank-2 fragment of the second-order λ-calculus

Semantics of type classes revisited

Complete proof systems for algebraic simply-typed terms

Continuation-based partial evaluation

Type reconstruction for variable-arity procedures

A practical soft type system for Scheme

Parallel destructive updating in strict functional languages

Towards better inlining decisions using inlining trials

In-place updates in the presence of control operators

Analyzing stores and references in a parallel symbolic language

Set-based analysis of ML programs

An equational framework for the flow analysis of higher order functional programs

Volume VII, Issue 1-2, Jan.-March/April-June 1994

Signatures for a network protocol stack:a systems application of Standard ML

Content Provider	ACM Digital Library
Author	Harper, Robert Biagioni, Edoardo Milnes, Brian G. Lee, Peter
Abstract	Advanced programming languages such as Standard ML have rarely been used for systems programming tasks such as operating systems and network communications. In order to understand more fully the requirements of systems programming, we have implemented a suite of industry-standard network communication protocols in a completely type-safe extension of Standard ML. While the implementation has only recently become operational, we already observe acceptable communications throughput. We make careful use of the Standard ML modules system, with the core component of the implementation being a signature which is generic to all communications protocols. This generic protocol is then specialized for specific protocols, and these are implemented by functors parameterized by generic protocols. This leads naturally to a layered system structure and also provides an important and useful “mix-and-match” capability in composing protocols into complex networking systems.We have found the advanced features of Standard ML, in particular the modules system, static typing, and higher-order functions, to be extremely useful in building complex communications systems. The type compatibility of the various components of a system is guaranteed by the compiler. Furthermore, we find it significant that most of the information needed to understand the structure and interactions in our code can be obtained from a study of the signatures alone. Perhaps most important is that we have been able to use the expressive power of Standard ML modules to give concrete expression to previously ad hoc system-structuring concepts developed by other researchers in the field of network communications. For language designers and implementors, our experience has also pointed out specific areas for further work that may lead to advanced languages that are useful for systems programming.
Starting Page	55
Ending Page	64
Page Count	10
File Format	PDF
ISSN	10453563
DOI	10.1145/182590.182431
Journal	ACM SIGPLAN Lisp Pointers (LIPO)
Volume Number	VII
Issue Number	3
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	1994-01-01
Publisher Place	New York
Access Restriction	One Nation One Subscription (ONOS)
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Signatures for a network protocol stack: a systems application of Standard ML

Signatures for a Network Protocol Stack: A Systems Application of Standard ML (0)

A Network Protocol Stack in Standard ML

Standard ML Signatures for a Protocol Stack (1993)

Standard ML Signatures for a Protocol Stack (1993)

AD-A 272 060 I III III Standard ML Signatures for a Protocol Stack

An expressive language of signatures

Automated analysis of standard ML

A region inference algorithm

Signatures for a network protocol stack:a systems application of Standard ML

Similar Documents

Signatures for a network protocol stack: a systems application of Standard ML

Signatures for a Network Protocol Stack: A Systems Application of Standard ML (0)

A Network Protocol Stack in Standard ML

Standard ML Signatures for a Protocol Stack (1993)

Standard ML Signatures for a Protocol Stack (1993)

AD-A 272 060 I III III Standard ML Signatures for a Protocol Stack

An expressive language of signatures

Automated analysis of standard ML

A region inference algorithm

Signatures for a network protocol stack:a systems application of Standard ML