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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
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… 
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… 
Highly Cited
1998
Highly Cited
1998
Extended static checking (ESC) is a static program analysis technique that attempts to find common programming errors like null… 
Review
1997
Review
1997
Large computer networks such as corporate intranets and the Internet are inherently heterogeneous due to such factors as… 
Highly Cited
1995
Highly Cited
1995
Optimizing compilers for object-oriented languages apply static class analysis and other techniques to try to deduce precise… 
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… 
Highly Cited
1992
Highly Cited
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… 
Review
1991
Review
1991
This work on systems programming with Modula-3 includes the language definition of Modula-3, together with a collection of… 
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… 
Review
1989
Review
1989
This paper presents an overview of the programming language Modula-3, and a more detailed description of its type system.