Mark Sherman

Affiliations:
  • Carnegie Mellon University, Pittsburgh, PA, USA
  • Dartmouth College, Hanover, NH, USA


According to our database1, Mark Sherman authored at least 19 papers between 1980 and 1991.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

1991
Some Comments on Using ODA.
Comput. Networks ISDN Syst., 1991

1990
Using ODA for translating multimedia information.
RFC, December, 1990

Building Hypertext on a Multimedia Toolkit: An Overview of Andrew Toolkit Hypermedia Facilities.
Proceedings of the Hypertext: Concepts, 1990

1989
On Using ODA for Multimedia Database Applications.
Proceedings of the International Symposium on Database Systems for Advanced Applications, 1989

1988
Teaching Software Engineering in a Workstation Environment.
IEEE Softw., 1988

The Andrew Toolkit - An Overview.
Proceedings of the USENIX Winter Conference. Dallas, Texas, USA, January 1988, 1988

Translating among processable multi-media document formats using ODA.
Proceedings of the ACM conference on Document processing systems, 1988

1986
Using Low-Cost Workstations to Investigate Computer Networks and Distributed Systems.
Computer, 1986

A practical, distributed environment for Macintosh software development.
Proceedings of the 1986 ACM SIGSMALL/PC symposium on Small systems, 1986

1985
Paragon: A Language Using Type Hierarchies for the Specification, Implementation and Selection of Abstract Data Types
Lecture Notes in Computer Science 189, Springer, ISBN: 3-540-15212-1, 1985

1984
View-3 and Ada: tools for building systems with many tasks.
Proceedings of the 1st Annual Washington Ada Symposium on Ada Acquisition Management, 1984

Paragon: Novel Uses of Type Hierarchies for Data Abstraction.
Proceedings of the Conference Record of the Eleventh Annual ACM Symposium on Principles of Programming Languages, 1984

1983
Studies in Ada style (2. ed.).
Springer, ISBN: 978-0-387-90816-8, 1983

1982
Using Automated Validation Techniques to Detect Lockups in Packet-Switched Networks.
IEEE Trans. Commun., 1982

A methodology for programming abstract data types in Ada.
Proceedings of the AdaTEC Conference on Ada, 1982

1980
An Ada code generator for VAX 11/780 with Unix.
Proceedings of the ACM-SIGPLAN symposium on The ADA programming language, 1980

A flexible semantic analyzer for Ada.
Proceedings of the ACM-SIGPLAN symposium on The ADA programming language, 1980

The Charrette Ada compiler.
Proceedings of the ACM-SIGPLAN symposium on The ADA programming language, 1980

A runtime representation for Ada variables and types.
Proceedings of the ACM-SIGPLAN symposium on The ADA programming language, 1980


  Loading...