Modula-3 language definition

Cardelli, Luca; Donahue, James E.; Glassman, Lucille; Jordan, Mick; Kalsow, Bill; Nelson, Greg

doi:10.1145/142137.142141

Cited by 64 publications

(38 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Induction [34] is a technique with which the commonalities between two independent types can be computed and made available in the form of a a new common supertype. Some languages allow the user to choose between nominal and structural subtyping with mechanisms such as branding in Modula [9]. However, with such a mechanism one can only choose between these two mechanisms but not combine the advantages of both mechanisms.…”

Section: Related Workmentioning

confidence: 99%

Nominal and Structural Subtyping in Component-Based Programming.

Ostermann¹

2008

JOT

View full text Add to dashboard Cite

In nominal type systems, the subtype relation is between names of types, and subtype links are explicitly declared. In structural type systems, names are irrelevant; in determining type compatibility, only the structure of types is considered, and a type name is just an abbreviation for the full type. We analyze structural and different flavors of nominal subtyping from the perspective of component-based programming, where issues such as blame assignment and modular extensibility are important. Our analysis puts various existing subtyping mechanisms into a common frame of reference and delineates the frontiers of the subtyping design space. In addition, we propose a new subtyping definition in one particularly interesting corner of the design space which combines the safety of nominal subtyping with the flexibility of structural subtyping.

show abstract

Section: Related Workmentioning

confidence: 99%

Nominal and Structural Subtyping in Component-Based Programming.

Ostermann¹

2008

JOT

View full text Add to dashboard Cite

show abstract

“…Modula-3, a version of Modula designed for distributed systems, moved from the nominal typing of Modula-2 to structural typing [38].…”

Section: Types Were Sets Of Operationsmentioning

confidence: 99%

The development of the Emerald programming language

Black

Hutchinson

Jul

et al. 2007

Proceedings of the Third ACM SIGPLAN Conference on History of Programming Languages

View full text Add to dashboard Cite

Emerald is an object-based programming language and system designed and implemented in the Department of Computer Science at the University of Washington in the early and mid-1980s. The goal of Emerald was to simplify the construction of distributed applications. This goal was reflected at every level of the system: its object structure, the programming language design, the compiler implementation, and the run-time support. This paper describes the origins of the Emerald group, the forces that formed the language, the influences that Emerald has had on subsequent distributed systems and programming languages, and some of Emerald's more interesting technical innovations.

show abstract

“…SPIN [23] takes advantage of the type safety of Modula-3 [3] to ensure safety in an extensible O/S kernel. Cyclone [14,7] is a language deliberately designed as a safe replacement for C.…”

Section: Related Workmentioning

confidence: 99%

A principled approach to operating system construction in Haskell

Hallgren

Jones

Leslie

et al. 2005

Proceedings of the Tenth ACM SIGPLAN International Conference on Functional Programming

View full text Add to dashboard Cite

We describe a monadic interface to low-level hardware features that is a suitable basis for building operating systems in Haskell. The interface includes primitives for controlling memory management hardware, user-mode process execution, and low-level device I/O. The interface enforces memory safety in nearly all circumstances. Its behavior is specified in part by formal assertions written in a programming logic called P-Logic. The interface has been implemented on bare IA32 hardware using the Glasgow Haskell Compiler (GHC) runtime system. We show how a variety of simple O/S kernels can be constructed on top of the interface, including a simple separation kernel and a demonstration system in which the kernel, window system, and all device drivers are written in Haskell.

show abstract

Modula-3 language definition

Cited by 64 publications

References 0 publications

Nominal and Structural Subtyping in Component-Based Programming.

Nominal and Structural Subtyping in Component-Based Programming.

The development of the Emerald programming language

A principled approach to operating system construction in Haskell

Contact Info

Product

Resources

About