A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is
This paper presents an overview of the programming language Modula-3, and a more detailed description of its type system. ... We adopted several principles in order to keep Modula-3's type system as uniform as possible. ... This paper gives an overview of the language, focusing primarily upon its type system. Modula-3 is a direct descendent of Mesa , Modula-2  , Cedar  , and Modula-2+ [9, lo] . ...doi:10.1145/75277.75295 dblp:conf/popl/CardelliDJKN89 fatcat:gsbk2mabozcijptqagjovt7pfm
The Stand-Alone Modula-2 System (SAM2S) is a portable, concurrent operating system and Modula-2 programming support environment. ... It provides the foundation for the locally resident portions of the MICROS distributed operating system for large netcomputers. ... It is an improvement on Pascal, based on the best features of Modula 2 and MESA. 3 It was designed to be suitable both for high-level programming A Portable Modula-2 Operating System: SAM2S 285 in an ...doi:10.1145/1499310.1499347 dblp:conf/afips/WittieF84 fatcat:gs7gnw3245dfjf3wqnxfkpdfde
The booKs conclusion succinctly summarizes the advantages of Modula-3, while four appendices provide, in order, a large application of Modula-3, the mathematical definition of the language, Modula-3 library ... The authors showcase several good examples of these concepts in Modula-3, and accompany them with illuminating explanations. ...doi:10.1109/ms.1998.687954 fatcat:uewfhtk4trbubjmx7waaiuyiqi
Syntactic sugar ADDRESS, and pointers can be transferred into each other; x := TypeId(y); TypeId is one of the above; x is a variable of this type; y is a variable of one of the above types Feature Modula ... Expressions and standard procedures Feature Modula-2 evaluation of expressions "short-circuit"; the AND and OR operators skip the second operand if the expression value can be detected from ...doi:10.1145/948290.948293 fatcat:lhmqqidw7fhebc37tp7dzrtg2a
Pascal (1970) reflected the ideas of structured programming, Modula-2 (1979) added those of modular system design, and Oberon (1988) catered to the object-oriented style. ... This is an account of the development of the languages Modula-2 and Oberon. Together with their ancestors ALGOL 60 and Pascal they form a family called Algol-like languages. ... Mössenböck, and to the teams who implemented Modula-2 and Oberon and ported them to a variety of machine architectures. In particular, I am grateful to L. Geissmann, Ch. Jacobi, M. Franz, R. ...doi:10.1145/1238844.1238847 dblp:conf/hopl/Wirth07 fatcat:3clgffrzgfbanbmkvdwitk3od4
Specifically, we introduce four modern programming languages that support object-oriented programming (Oberon-2, Modula-3, Sather and Self), and show how a simple application is coded in these languages ... Implementations of all the languages compared and all of the programs we measure are available on the Internet. ... We would also like to thank all those involved with the implementation of the Oberon-2, Modula-3, Sather, Self, and GNU C++ compilers for making these tools available, without cost, to the programming ...doi:10.1002/spe.4380241106 fatcat:wfj2du3ijzhqdc7yctnwvpmakm
University Computing : The Bulletin of the IUCC
Whether it will increase in importance is less easy to assess and will probably depend on pervasiveness of the UNIX operating system. (3) The newer imperative languages (Ada, Modula-2 and Oberon). ... C is a language with deficiencies in areas such as typing and abstract data types. However, this has not stopped it becoming the major systems programming language, not only in the USA but worldwide. ...
The programming language Oberon is the result of a concentrated effort to increase the power of Modula-2 and simultaneously to reduce its complexity. ... Several features were eliminated, and a few were added in order to increase the expressive power and flexibility of the language. This paper describes and motivates the changes. ... Most came from the use or study of existing languages, such as Modula-2, Ada, Smalltalk, and Cedar, which often taught us how not to do it. ...doi:10.1002/spe.4380180706 fatcat:5epfx5u3dja7vhuqtbccre45t4
Persistent Object Systems
We are applying the approach in our ongoing implementation of Persistent Modula-3. ... We present the type annotation approach in the context of Modula-3, but it should be applicable to any strongly typed persistent programming language, as well as to a range of other kinds of optimizations ... Relevant Aspects of Persistent Modula-3 Modula-3 is a strongly typed object-oriented language in the tradition of Pascal and Modula-2. ...doi:10.1007/978-1-4471-2122-0_2 dblp:conf/pos/MossH94 fatcat:vdqm6e3pfbbljmlyicnxnqqyri
PM3 is an orthogonally persistent extension of the Modula-3 systems programming language, supporting persistence by reachability from named persistent roots. ... The consequence will be safer and more flexible persistent systems that do not compromise performance. ... We thank Tony Printezis and the anonymous referees, whose comments spurred several improvements to this presentation. ...dblp:conf/vldb/HoskingC99 fatcat:imhgusx7xzglpjdlc2hni7ww2a
To compile and run the examples therein, it is essential to have compilers available that follow the classic Modula-2 language definition and run on modern computer hardware and operating systems. ... The classic Modula-2 language was specified in [Wir78] by N.Wirth at ETH Z\"urich in 1978. The last revision [Wir88] was published in 1988. ... Ideal World Scenario In an ideal world, the type cast syntax would be replaced with a CAST() function provided by SYSTEM as in ISO Modula-2 [JTC96] , and variant records with type safe extensible records ...arXiv:1809.07080v1 fatcat:k7sqhwlre5cndghi5x3jhozpee
Baby Modula-3 is defined with a structured operational semantics and with a set of static type rules. A denotational semantics guarantees the soundness of this definition. ... It is intended as a vehicle for explaining the core of Modula-3 from a biased perspective: Baby Modula-3 includes the main features of Modula-3 related to objects, but not much else. ... Acknowledgments I w ould especially like to thank Luca Cardelli, with whom I originally wrote type rules for Baby Modula-3 and who helped me in some dicult choices. ...doi:10.1017/s0956796800001052 fatcat:qrqcv7dz2jhhfg4dckvi62rcni
University Computing : The Bulletin of the IUCC
Chapters 1 and 2 provide an introduction to MODULA-2 support for abstract data types and for the low-level abstrac- tions upon which the software components are based: chap- ter 3 presents the abstract ... this book are written using the Logitech MODULA-2 system for IBM PC compatible machines. ...
SMPTE Motion Imaging Journal
Modula features state-of-the art soft BROADCAST SYSTEMS, INC ware technology—you re-address the matrix, eliminating factory reprogramming 3. ... upon the film type. ...
A compilation server and fast code generator were developed and integrated with the SRC Modula-3 compiler and Linux ELF dynamic linker. ... The recompilation time is often a problem for the large graphical interactive distributed applications tackled by modern OO languages. ... This work would not have been possible without the excellent environment provided by the DEC SRC Modula-3 compiler. ...arXiv:cs/0506035v1 fatcat:67kgl3dbsbgw7ihgdlmj27t5hm
« Previous Showing results 1 — 15 out of 7,669 results