The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
The treatment of data types in EL1
Communications of the ACM
A technique for software module specification with examples
Communications of the ACM
Protection in programming languages
Communications of the ACM
Programming semantics for multiprogrammed computations
Communications of the ACM
On the transfer of control between contexts
Programming Symposium, Proceedings Colloque sur la Programmation
ALGOL Bulletin
SIMULA 67 common base language, (Norwegian Computing Center. Publication)
SIMULA 67 common base language, (Norwegian Computing Center. Publication)
ACM Transactions on Computer Systems (TOCS)
A structural view of the Cedar programming environment
ACM Transactions on Programming Languages and Systems (TOPLAS)
Personal distributed computing: the Alto and Ethernet hardware
HPW '86 Proceedings of the ACM Conference on The history of personal workstations
Personal distributed computing: the Alto and Ethernet software
HPW '86 Proceedings of the ACM Conference on The history of personal workstations
Data flow analysis for `intractable' system software
SIGPLAN '86 Proceedings of the 1986 SIGPLAN symposium on Compiler construction
The Xerox Star: A Retrospective
Computer
Personal distributed computing: the alto and ethernet hardware
A history of personal workstations
Personal distributed computing: the alto and ethernet software
A history of personal workstations
Programming languages for distributed computing systems
ACM Computing Surveys (CSUR)
An improved storage management scheme for block structured languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
Using continuations to implement thread management and communication in operating systems
SOSP '91 Proceedings of the thirteenth ACM symposium on Operating systems principles
Data-Oriented Exception Handling
IEEE Transactions on Software Engineering
HOPL-II The second ACM SIGPLAN conference on History of programming languages
Extensibility safety and performance in the SPIN operating system
SOSP '95 Proceedings of the fifteenth ACM symposium on Operating systems principles
A processor for a high-performance personal computer
25 years of the international symposia on Computer architecture (selected papers)
An approach to type safety in a traits system
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
ACM Transactions on Programming Languages and Systems (TOPLAS)
An Abstract Type for Statistics Collection in Simula
ACM Transactions on Programming Languages and Systems (TOPLAS)
An experimental distributed modeling system
ACM Transactions on Information Systems (TOIS)
Communications of the ACM
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
Making the world safe for garbage collection
POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Modular Verification of Data Abstractions with Shared Realizations
IEEE Transactions on Software Engineering
A hardware mechanism for supporting range checks
ACM SIGARCH Computer Architecture News
Static Analyses for Eliminating Unnecessary Synchronization from Java Programs
SAS '99 Proceedings of the 6th International Symposium on Static Analysis
An analysis of a mesa instruction set using dynamic instruction frequencies
ASPLOS I Proceedings of the first international symposium on Architectural support for programming languages and operating systems
A processor for a high-performance personal computer
ISCA '80 Proceedings of the 7th annual symposium on Computer Architecture
Implementing SMART for minicomputers via relational processing With abstract data types
SIGSMALL '81 Proceedings of the 1981 ACM SIGSMALL symposium on Small systems and SIGMOD workshop on Small database systems
Lilith: A personal computer for the software engineer
ICSE '81 Proceedings of the 5th international conference on Software engineering
Experience with a modular typed language: PROTEL
ICSE '81 Proceedings of the 5th international conference on Software engineering
Module structure in an evolving family of real time systems
ICSE '79 Proceedings of the 4th international conference on Software engineering
Pilot: A software engineering case study
ICSE '79 Proceedings of the 4th international conference on Software engineering
The impact of mesa on system design
ICSE '79 Proceedings of the 4th international conference on Software engineering
Interconnecting local networks via the Packet Radio Network
SIGCOMM '79 Proceedings of the sixth symposium on Data communications
A type-checking program linkage system for pascal
ICSE '78 Proceedings of the 3rd international conference on Software engineering
Dynamic restructuring in an experimental operating system
ICSE '78 Proceedings of the 3rd international conference on Software engineering
Validating The Utility Of Abstraction Techniques
ACM '78 Proceedings of the 1978 annual conference
An open operating system for a single-user machine
SOSP '79 Proceedings of the seventh ACM symposium on Operating systems principles
Observations on the development of an operating system
SOSP '81 Proceedings of the eighth ACM symposium on Operating systems principles
Hints for computer system design
SOSP '83 Proceedings of the ninth ACM symposium on Operating systems principles
The Mesa programming environment
SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
Data abstraction from a programming language viewpoint
Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling
A form-based approach to human engineering methodologies
ICSE '82 Proceedings of the 6th international conference on Software engineering
Transparent microprogramming in support of abstract type oriented dynamic vertical migration
MICRO 17 Proceedings of the 17th annual workshop on Microprogramming
ACM SIGSOFT Software Engineering Notes
Free and bound generics: two techniques for abstract data types in modular C
ACM SIGPLAN Notices
Aspects of the ALGOL 68 mode structure
ACM SIGPLAN Notices
ACM SIGPLAN Notices
Rationale for the design of the Ada programming language
ACM SIGPLAN Notices - Rationale for the deisgn of the Ada programming language
The Ada language and environment
ACM SIGSOFT Software Engineering Notes
The Mesa Spy: an interactive tool for performance debugging
SIGMETRICS '82 Proceedings of the 1982 ACM SIGMETRICS conference on Measurement and modeling of computer systems
History of programming languages---II
Toward type-oriented dynamic vertical migration
ACM SIGMICRO Newsletter
Impact of software engineering research on the practice of software configuration management
ACM Transactions on Software Engineering and Methodology (TOSEM)
Language support for fast and reliable message-based communication in singularity OS
Proceedings of the 1st ACM SIGOPS/EuroSys European Conference on Computer Systems 2006
The impact of research on middleware technology
ACM SIGSOFT Software Engineering Notes
The impact of research on middleware technology
ACM SIGOPS Operating Systems Review
Proceedings of the third ACM SIGPLAN conference on History of programming languages
Programming languages and databases
VLDB '78 Proceedings of the fourth international conference on Very Large Data Bases - Volume 4
The Memory System of a High-Performance Personal Computer
IEEE Transactions on Computers
Parallel developments in programming languages and operating systems
Computer Languages
The impact of research on the development of middleware technology
ACM Transactions on Software Engineering and Methodology (TOSEM)
| Hi-index | 48.24 |
The experiences of Mesa's first users—primarily its implementers—are discussed, and some implications for Mesa and similar programming languages are suggested. The specific topics addressed are: module structure and its use in defining abstractions, data-structuring facilities in Mesa, an equivalence algorithm for types and type coercions, the benefits of the type system and why it is breached occasionally, and the difficulty of making the treatment of variant records safe.