Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

50 relations
ALGOLARM architectureARXAcorn Archimedes

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2000
Review
2000
A modular module system
A simple implementation of an SML-like module system is presented as a module parameterized by a base language and its type… 
Highly Cited
1999
Highly Cited
1999
Checking Java Programs via Guarded Commands
This paper defines a simple guarded-command–like language and its semantics. The language is used as an intermediate language in… 
Highly Cited
1999
Highly Cited
1999
Typed memory management in a calculus of capabilities
An increasing number of systems rely on programming language technology to ensure safety and security of low-level code… 
Highly Cited
1998
Highly Cited
1998
Extended static checking
Extended static checking (ESC) is a static program analysis technique that attempts to find common programming errors like null… 
1996
1996
Type systems for object-oriented programming languages
Object-oriented programming languages (OOPL's) provide important support for today's large-scale software projects. Unfortunately… 
1996
1996
Programming in Modula-3
The following Modula-3 program uses exceptions. What does it print on its standard output? Explain your answer. 
Highly Cited
1995
Highly Cited
1995
Simple and effective link-time optimization of Modula-3 programs
Modula-3 supports development of modular programs by separating an object's interface from its implementation. This separation… 
1994
1994
Separate compilation for Standard ML
Languages that support abstraction and modular structure, such as Standard ML, Modula, Ada, and (more or less) C++, may have… 
Review
1989
Review
1989
The Modula–3 type system
This paper presents an overview of the programming language Modula-3, and a more detailed description of its type system. 
1979
1979
On structuring operating systems with monitors
This paper considers whether Hoare's monitor proposal for structuring operating systems could usefully be applied in the design… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)