Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Modula-3

Known as: Modula-3 programming language, Modula3 programming language, Modula-3 (programming language) 
Modula-3 is a programming language conceived as a successor to an upgraded version of Modula-2 known as Modula-2+. While it has been influential in… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2011
Highly Cited
2011
This paper describes proof-carrying code (PCC), a mechanism by which a host system can determine with certainty that it is safe… Expand
Is this relevant?
1997
1997
Regularities, or the conformity to unifying principles, are essential to the comprehensibility, manageability, and reliability of… Expand
Is this relevant?
1996
1996
ion failure. Different implementations of an abstract type may wish to supply different debugging information. By convention, we… Expand
Is this relevant?
Highly Cited
1995
Highly Cited
1995
Optimizing compilers for object-oriented languages apply static class analysis and other techniques to try to deduce precise… Expand
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
1995
1995
We are using Modula-3 to write an operating system called SPIN at the University of Washington [Bershad et al. 95]. The primary… Expand
  • table 1
Is this relevant?
1993
1993
This latest version of Sedgewick's well-known book provides a comprehensive collection of algorithms implemented in the Modula-3… Expand
Is this relevant?
Highly Cited
1992
Highly Cited
1992
Modula-3 is a systems programming language developed by Digital Equipment Corporation and Olivetti between 1986 and 1990. It… Expand
Is this relevant?
1992
1992
What do you do to start reading modula 3? Searching the book that you love to read first or find an interesting book that will… Expand
Is this relevant?
1992
1992
We describe a method for giving a semantics to a Larch interface language specification by a translation of the specification… Expand
Is this relevant?
Highly Cited
1990
Highly Cited
1990
The diverse inheritance mechanisms provided by Smalltalk, Beta, and CLOS are interpreted as different uses of a single underlying… Expand
  • figure 1
Is this relevant?