Filters








7,669 Hits in 3.8 sec

The Modula--3 type system

L. Cardelli, J. Donahue, M. Jordan, B. Kalsow, G. Nelson
1989 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '89  
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 [8], Modula-2 [14] , Cedar [5] , and Modula-2+ [9, lo] .  ... 
doi:10.1145/75277.75295 dblp:conf/popl/CardelliDJKN89 fatcat:gsbk2mabozcijptqagjovt7pfm

A portable modula-2 operating system

Larry D. Wittie, Ariel J. Frank
1984 Proceedings of the July 9-12, 1984, national computer conference and exposition on - AFIPS '84  
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

Stylish Guide to Modula-3 [Bookshelf]

N.E. Mastorakis
1998 IEEE Software  
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

Differences between Modula-2 and Pascal

Hausi A. Muller
1984 SIGPLAN notices  
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

Modula-2 and Oberon

Niklaus Wirth
2007 Proceedings of the third ACM SIGPLAN conference on History of programming languages - HOPL III  
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

A comparison of object-oriented programming in four modern languages

Robert Henderson, Benjamin Zorn
1994 Software, Practice & Experience  
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

Page 132 of University Computing : The Bulletin of the IUCC Vol. 12, Issue 4 [page]

1990 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.  ... 

From modula to oberon

N. Wirth
1988 Software, Practice & Experience  
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

Expressing Object Residency Optimizations Using Pointer Type Annotations [chapter]

J. Eliot, B. Moss, Antony L. Hosking
1995 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: An Orthogonal Persistent Systems Programming Language - Design, Implementation, Performance

Antony L. Hosking, Jiawan Chen
1999 Very Large Data Bases Conference  
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

On the Maintenance of Classic Modula-2 Compilers [article]

Benjamin Kowarsch
2018 arXiv   pre-print
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 and a theory of objects

Martin Abadi
1994 Journal of functional programming  
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

Page 208 of University Computing : The Bulletin of the IUCC Vol. 10, Issue 4 [page]

1988 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.  ... 

Page 1194 of SMPTE Motion Imaging Journal Vol. 95, Issue 11 [page]

1986 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.  ... 

Fast Recompilation of Object Oriented Modules [article]

Jerome Collin , Michel Dagenais
2005 arXiv   pre-print
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