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
Highly Cited
2005
Highly Cited
2005
A technique for finding errors in computer programs is to translate a given program and its correctness criteria into a logical… Expand
  • figure 1
Highly Cited
1999
Highly Cited
1999
An increasing number of systems rely on programming language technology to ensure safety and security of low-level code… Expand
  • figure 1
  • figure 2
  • figure 5
  • figure 8
  • figure 11
Highly Cited
1999
Highly Cited
1999
This paper defines a simple guarded-command–like language and its semantics. The language is used as an intermediate language in… Expand
1996
1996
Object-oriented programming languages (OOPL's) provide important support for today's large-scale software projects. Unfortunately… Expand
1996
1996
The following Modula-3 program uses exceptions. What does it print on its standard output? Explain your answer. 
  • figure 1.1
  • figure 1.2
  • figure 1.3
  • figure 3.1
  • figure 3.2
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
1994
1994
Languages that support abstraction and modular structure, such as Standard ML, Modula, Ada, and (more or less) C++, may have… Expand
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
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