DOCSLIB.ORG

Bibliography

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Bibliography Bibliography [Aba94] Martin Abadi. Baby Modula-3 and a theory of objects. Journal of Functional Programming, 4:249–283, 1994. [AC93] Roberto Amadio and Luca Cardelli. Subtyping recursive types. ACM Trans- actions on Programming Languages and Systems, 15(4):575–631, 1993. [AC95a] Martin Abadi and Luca Cardelli. An imperative object calculus. In P.D. Mosses and M. Nielsen, editors, TAPSOFT '95: Theory and Practice of Software De- velopment, pages 471–485. Springer-Verlag, LNCS 915, 1995. [AC95b] Martin Abadi and Luca Cardelli. On subtyping and matching. In Proceedings ECOOP '95, pages 145–167, 1995. [AC96] Martin Abadi and Luca Cardelli. A Theory of Objects. Springer-Verlag, 1996. [ACV96] Martin Abadi, Luca Cardelli, and Ramesh Viswanathan. An interpretation of objects and object types. In Proc. ACM Symp. on Principles of Programming Lan- guages, pages 396–409, 1996. [AFM97] Ole Ageson, Stephen Freund, and John C. Mitchell. Adding parameterized types to Java. In ACM Symposium on Object-Oriented Programming: Systems, Lan- guages, and Applications, pages 49–65, 1997. [AGH99] Ken Arnold, James Gosling, and David Holmes. The Java Programming Lan- guage. Addison Wesley, third edition, 1999. [Ame87] Pierre America. Inheritance and subtyping in a parallel object-oriented lan- guage. In Jean Bezivin et al., editor, ECOOP '87, pages 234–242. Springer-Verlag, LNCS 276, 1987. [AvdL90] Pierre America and Frank van der Linden. A parallel object-oriented lan- guage with inheritance and subtyping. In OOPSLA-ECOOP '90 Proceedings, pages 161–168. ACM SIGPLAN Notices,25(10), October 1990. [Bac81] J. W. Backus. The history of FORTRAN I, II, and III. In R. L. Wexelblatt, editor, History of Programming Languages, pages 25–45. Academic Press, 1981. 368 Bibliography [Bar84] Henk P. Barendregt. The Lambda Calculus: Its Syntax and Semantics. North Holland, 1984. [Bar92] Henk P. Barendregt. Lambda calculus with types. In Handbook of Logic in Computer Science, volume 2. Oxford University Press, 1992. [BCC 95] Kim B. Bruce, Luca Cardelli, Giuseppe Castagna, The Hopkins Objects Group, Gary T. Leavens, and Benjamin Pierce. On binary methods. Theory and Practice of Object Systems, 1(3):221–242, 1995. [BCD 93] Kim B. Bruce, J. Crabtree, A. Dimock, R. Muller, T. Murtagh, and R. van Gent. Safe and decidable type checking in an object-oriented language. In Proc. ACM Symp. on Object-Oriented Programming: Systems, Languages, and Applications, pages 29–46, 1993. [BCK94] Kim B. Bruce, J. Crabtree, and G. Kanapathy. An operational semantics for TOOPLE: A statically-typed object-oriented programming language. In S. Brookes, M. Main, A. Melton, M. Mislove, and D. Schmidt, editors, Mathematical Foundations of Programming Semantics, pages 603–626. LNCS 802, Springer-Verlag, 1994. [BCP99] Kim B. Bruce, Luca Cardelli, and Benjamin C. Pierce. Comparing object en- codings. Information and Computation, 155:108–133, 1999. A preliminary version appeared in Proceedings of TACS '97 (Theoretical Aspects of Computer Science), LNCS 1281, pp. 415-438. [BDMN73] G.M. Birtwistle, O.-J. Dahl, B. Myhrhaug, and K. Nygaard. SIMULA Begin. Aurbach, 1973. [BFP97] Kim B. Bruce, Adrian Fiech, and Leaf Petersen. Subtyping is not a good “match” for object-oriented languages. In ECOOP '97, pages 104–127. LNCS 1241, Springer-Verlag, 1997. [BFSvG01] Kim B. Bruce, Adrien Fiech, Angela Schuett, and Robert van Gent. PolyTOIL: A type-safe polymorphic object-oriented language. Technical report, Williams College, 2001. submitted for publication. [BG93] Gilad Bracha and David Griswold. Strongtalk: Typechecking Smalltalk in a production environment. In Proc. ACM Symp. on Object-Oriented Programming: Systems, Languages, and Applications, pages 215–230, 1993. [BH91] A. Black and N. Hutchinson. Typechecking polymorphism in Emerald. Tech- nical Report CRL 91/1 (Revised), DEC Cambridge Research Lab, 1991. [BHJ 87] A. P. Black, N. Hutchinson, E. Jul, H. M. Levy, and L. Carter. Distribu- tion and abstract types in Emerald. IEEE Transactions on Software Engineering, SE- 13(1):65–76, 1987. [BI82] A.H. Borning and D.H. Ingalls. A type declaration and inference system for Smalltalk. In ACM Symp. Principles of Programming Languages, pages 133–141, 1982. Bibliography 369 [BL90] Kim B. Bruce and G. Longo. A modest model of records, inheritance and bounded quantification. Information and Computation, 87(1/2):196–240, 1990. Reprinted in Theoretical Aspects of Object-Oriented Programming, ed. Gunter and Mitchell, MIT Press (1994), pp. 151-195. [BOSW98] Gilad Bracha, Martin Odersky, David Stoutamire, and Philip Wadler. Mak- ing the future safe for the past: Adding genericity to the java programming lan- guage. In Object-Oriented Programming: Systems, Languages, Applications (OOPSLA), Vancouver, October 1998. ACM. [BOW98] Kim B. Bruce, Martin Odersky, and Philip Wadler. A statically safe alterna- tive to virtual types. In ECOOP '98, pages 523–549. LNCS 1445, Springer-Verlag, 1998. [BPV98] Kim B. Bruce, Leaf Petersen, and Joseph C. Vanderwaart. Modules in LOOM: Classes are not enough. Technical report, Williams College, 1998. [Bru92] Kim B. Bruce. The equivalence of two semantic definitions of inheritance in object-oriented languages. In S. Brookes, M. Main, A. Melton, M. Mislove, and D. Schmidt, editors, Proceedings of the 7th International Conference on Mathematical Foundations of Programming Semantics, pages 102–124. LNCS 598, Springer-Verlag, 1992. [Bru94] Kim B. Bruce. A paradigmatic object-oriented programming language: de- sign, static typing and semantics. Journal of Functional Programming, 4(2):127–206, 1994. An earlier version of this paper appeared in the 1993 POPL Proceedings. [Bru97] Kim B. Bruce. Increasing Java's expressiveness with ThisType and match- bounded polymorphism. Technical report, Williams College, 1997. [BS98] Egon Börger and Wolfram Schulte. A programmer friendly modular definition of the semantics of Java. In Jim Alves-Foss, editor, Formal Syntax and Semantics of Java. Springer, 1998. [BSvG95] Kim B. Bruce, Angela Schuett, and Robert van Gent. PolyTOIL: A type-safe polymorphic object-oriented language, extended abstract. In ECOOP '95, pages 27–51. LNCS 952, Springer-Verlag, 1995. [BTCGS89] V. Breazu-Tannen, T. Coquand, C.A. Gunter, and A. Scedrov. Inheritance and explicit coercion. In Fourth IEEE Symp. Logic in Computer Science, pages 112– 129, 1989. [BTCGS91] V. Breazu-Tannen, T. Coquand, C.A. Gunter, and A. Scedrov. Inheritance and implicit coercion. Information and Computation, 93(1):172–221, 1991. [Bur98] Jon Burstein. Rupiah: An extension to Java supporting match-bounded parametric polymorphism, ThisType, and exact typing. Williams College Senior Honors Thesis, 1998. [BV99] Kim B. Bruce and Joseph C. Vanderwaart. Semantics-driven language design: Statically type-safe virtual types in object-oriented languages. In 370 Bibliography Electronic Notes in Theoretical Computer Science, volume 20, 1999. URL: http://www.elsevier.nl/locate/entcs/volume20.html, 26 pages. [BW90] Kim B. Bruce and Peter Wegner. An algebraic model of subtype and inher- itance. In Francois Bancilhon and Peter Buneman, editors, Advances in Database Programming Language, pages 75–96. Addison-Wesley, Reading, MA, 1990. [Car88] L. Cardelli. A semantics of multiple inheritance. Information and Computation, 76:138–164, 1988. Special issue devoted to Symp. on Semantics of Data Types, Sophia- Antipolis (France), 1984. [Car97] Luca Cardelli. Type systems. In Allen Tucker, editor, Handbook of Computer Science and Engineering, pages 2208–2236. CRC Press, 1997. [Cas95] Giuseppe Castagna. Covariance and contravariance: Conflict without a cause. ACM Transactions on Programming Languages and Systems, 17:431–447, 1995. [Cas97] Giuseppe Castagna. Object-Oriented Programming: A unified foundation. Progress in Theoretical Computer Science. Birkhauser, 1997. [CCH 89] P. Canning, W. Cook, W. Hill, J. Mitchell, and W. Olthoff. F-bounded quan- tification for object-oriented programming. In Functional Prog. and Computer Archi- tecture, pages 273–280, 1989. [CDG 88] L. Cardelli, J. Donahue, L. Galssman, M. Jordan, B. Kalsow, and G. Nelson. Modula-3 report. Technical Report SRC-31, DEC systems Research Center, 1988. [CDJ 89] L. Cardelli, J. Donahue, M. Jordan, B. Kalsow, and G. Nelson. The Modula- 3 type system. In Sixteenth ACM Symp. Principles of Programming Languages, pages 202–212, 1989. [CG92] P.L. Curien and G. Ghelli. Coherence of subsumption, minimum typing and type-checking in ¢¡ . Mathematical Structures in Computer Science, 2:55–91, 1992. [Cha95] Craig Chambers. The cecil language: Specification and rationale, version 2.1. Technical report, University of Washington, 1995. [CHC90] William R. Cook, Walter L. Hill, and Peter S. Canning. Inheritance is not subtyping. In Proc. 17th ACM Symp. on Principles of Programming Languages, pages 125–135, January 1990. [Chu32] Alonzo Church. A set of postulates for the foundations of logic. Annals of Mathematics, 33:346–366, 1932. A second paper with the same title appeared in Volume 33, pp. 839-864 of the same journal. [Chu36] Alonzo Church. An unsolvable problem of elementary number theory. Amer- ican Journal of Mathematics, 58:345–363, 1936. [Chu40] Alonzo Church. A formulation of the simple theory of types. Journal of Sym- bolic Logic, 5:56–68, 1940. [Chu41] Alonzo Church. The Calculi of Lambda Conversion. Princeton Univ. Press, 1941. Reprinted 1963 by University Microfilms Inc., Ann Arbor, MI. Bibliography 371 [CL95] Craig Chambers and Gary T. Leavens. Typechecking and modules for multi- methods. TOPLAS,
Load more

Recommended publications
  • Proof-Carrying Authentication∗
    Proof-Carrying Authentication∗ Andrew W. Appel and Edward W. Felten Secure Internet Programming Laboratory Department of Computer Science Princeton University Princeton, NJ 08544 USA August 9, 1999 Abstract Statements in these frameworks are represented as data structures that are often digitally signed We have designed and implemented a general to ensure their integrity. and powerful distributed authentication frame- work based on higher-order logic. Authenti- Several authentication frameworks exist; we cation frameworks — including Taos, SPKI, mention a few here as examples. The Taos SDSI, and X.509 — have been explained using operating system provided support for secure logic. We show that by starting with the logic, remote procedure call and data structures to we can implement these frameworks, all in the represent authority and identity [6]. X.509 [15] same concise and efficient system. Because our is a widely-used standard for expressing and us- logic has no decision procedure — although ing digital certificates. SPKI [4] and SDSI [14] proof checking is simple — users of the frame- (since merged under the joint name SPKI) work must submit proofs with their requests. were reactions to the perceived complexity of X.509; in both cases the ‘S’ stands for ‘simple.’ 1 Introduction PolicyMaker [3] is a language for expressing se- curity policies; it can be applied to distributed Distributed authentication frameworks allow security policies. Kerberos [12], unlike the other sharing of access to resources across adminis- frameworks, uses symmetric-key encryption to trative boundaries in a distributed system. The authenticate users. Each framework has a main abstractions they support are name-to- differerent semantics and offers a different kind key bindings, access control, and delegation.
    [Show full text]
  • Object-Oriented Programming Basics with Java
    Object-Oriented Programming Object-Oriented Programming Basics With Java In his keynote address to the 11th World Computer Congress in 1989, renowned computer scientist Donald Knuth said that one of the most important lessons he had learned from his years of experience is that software is hard to write! Computer scientists have struggled for decades to design new languages and techniques for writing software. Unfortunately, experience has shown that writing large systems is virtually impossible. Small programs seem to be no problem, but scaling to large systems with large programming teams can result in $100M projects that never work and are thrown out. The only solution seems to lie in writing small software units that communicate via well-defined interfaces and protocols like computer chips. The units must be small enough that one developer can understand them entirely and, perhaps most importantly, the units must be protected from interference by other units so that programmers can code the units in isolation. The object-oriented paradigm fits these guidelines as designers represent complete concepts or real world entities as objects with approved interfaces for use by other objects. Like the outer membrane of a biological cell, the interface hides the internal implementation of the object, thus, isolating the code from interference by other objects. For many tasks, object-oriented programming has proven to be a very successful paradigm. Interestingly, the first object-oriented language (called Simula, which had even more features than C++) was designed in the 1960's, but object-oriented programming has only come into fashion in the 1990's.
    [Show full text]
  • Simula Mother Tongue for a Generation of Nordic Programmers
    Simula! Mother Tongue! for a Generation of! Nordic Programmers! Yngve Sundblad HCI, CSC, KTH! ! KTH - CSC (School of Computer Science and Communication) Yngve Sundblad – Simula OctoberYngve 2010Sundblad! Inspired by Ole-Johan Dahl, 1931-2002, and Kristen Nygaard, 1926-2002" “From the cold waters of Norway comes Object-Oriented Programming” " (first line in Bertrand Meyer#s widely used text book Object Oriented Software Construction) ! ! KTH - CSC (School of Computer Science and Communication) Yngve Sundblad – Simula OctoberYngve 2010Sundblad! Simula concepts 1967" •# Class of similar Objects (in Simula declaration of CLASS with data and actions)! •# Objects created as Instances of a Class (in Simula NEW object of class)! •# Data attributes of a class (in Simula type declared as parameters or internal)! •# Method attributes are patterns of action (PROCEDURE)! •# Message passing, calls of methods (in Simula dot-notation)! •# Subclasses that inherit from superclasses! •# Polymorphism with several subclasses to a superclass! •# Co-routines (in Simula Detach – Resume)! •# Encapsulation of data supporting abstractions! ! KTH - CSC (School of Computer Science and Communication) Yngve Sundblad – Simula OctoberYngve 2010Sundblad! Simula example BEGIN! REF(taxi) t;" CLASS taxi(n); INTEGER n;! BEGIN ! INTEGER pax;" PROCEDURE book;" IF pax<n THEN pax:=pax+1;! pax:=n;" END of taxi;! t:-NEW taxi(5);" t.book; t.book;" print(t.pax)" END! Output: 7 ! ! KTH - CSC (School of Computer Science and Communication) Yngve Sundblad – Simula OctoberYngve 2010Sundblad!
    [Show full text]
  • Reactive Programming with Scala, Lagom, Spark, Akka and Play
    Issue October 2016 | presented by www.jaxenter.com #53 The digital magazine for enterprise developers Reactive Programming with Scala, Lagom, Spark, Akka and Play Interview with Scala creator Martin Odersky The state of Scala The Lagom Framework Lagom gives the developer a clear path DevOpsCon 2016: Our mission statement This is how we interpret modern DevOps ©istockphoto.com/moorsky Editorial Reactive programming is gaining momentum “We believe that a coherent approach to systems architec- If the definition “stream of events” does not satisfy your ture is needed, and we believe that all necessary aspects are thirst for knowledge, get ready to find out what reactive pro- already recognized individually: we want systems that are Re- gramming means to our experts in Scala, Lagom, Spark, Akka sponsive, Resilient, Elastic and Message Driven. We call these and Play. Plus, we talked to Scala creator Martin Odersky Reactive Systems.” – The Reactive Manifesto about the impending Scala 2.12, the current state of this pro- Why should anyone adopt reactive programming? Because gramming language and the technical innovations that await it allows you to make code more concise and focus on im- us. portant aspects such as the interdependence of events which Thirsty for more? Open the magazine and see what we have describe the business logic. Reactive programming means dif- prepared for you. ferent things to different people and we are not trying to rein- vent the wheel or define this concept. Instead we are allowing Gabriela Motroc, Editor our authors to prove how Scala, Lagom, Spark, Akka and Play co-exist and work together to create a reactive universe.
    [Show full text]
  • A Model of Inheritance for Declarative Visual Programming Languages
    An Abstract Of The Dissertation Of Rebecca Djang for the degree of Doctor of Philosophy in Computer Science presented on December 17, 1998. Title: Similarity Inheritance: A Model of Inheritance for Declarative Visual Programming Languages. Abstract approved: Margaret M. Burnett Declarative visual programming languages (VPLs), including spreadsheets, make up a large portion of both research and commercial VPLs. Spreadsheets in particular enjoy a wide audience, including end users. Unfortunately, spreadsheets and most other declarative VPLs still suffer from some of the problems that have been solved in other languages, such as ad-hoc (cut-and-paste) reuse of code which has been remedied in object-oriented languages, for example, through the code-reuse mechanism of inheritance. We believe spreadsheets and other declarative VPLs can benefit from the addition of an inheritance-like mechanism for fine-grained code reuse. This dissertation first examines the opportunities for supporting reuse inherent in declarative VPLs, and then introduces similarity inheritance and describes a prototype of this model in the research spreadsheet language Forms/3. Similarity inheritance is very flexible, allowing multiple granularities of code sharing and even mutual inheritance; it includes explicit representations of inherited code and all sharing relationships, and it subsumes the current spreadsheet mechanisms for formula propagation, providing a gradual migration from simple formula reuse to more sophisticated uses of inheritance among objects. Since the inheritance model separates inheritance from types, we investigate what notion of types is appropriate to support reuse of functions on different types (operation polymorphism). Because it is important to us that immediate feedback, which is characteristic of many VPLs, be preserved, including feedback with respect to type errors, we introduce a model of types suitable for static type inference in the presence of operation polymorphism with similarity inheritance.
    [Show full text]
  • Unifying Theories of Objects
    Unifying Theories of Objects Michael Anthony Smith1;2 and Jeremy Gibbons1 1 Oxford University, UK. 2 Systems Assurance Group, QinetiQ, UK. [email protected] [email protected] Abstract. We present an approach to modelling Abadi{Cardelli-style object calculi as Unifying Theories of Programming (UTP) designs. Here we provide a core object calculus with an operational small-step evalua- tion rule semantics, and a corresponding UTP model with a denotational relational predicate semantics. For clarity, the UTP model is defined in terms of an operand stack, which is used to store the results of sub- programs. Models of a less operational nature are briefly discussed. The consistency of the UTP model is demonstrated by a structural induction proof over the operations of the core object calculus. Overall, our UTP model is intended to provide facilities for encoding both object-based and class-based languages. 1 Introduction Hoare and He's Unifying Theories of Programming (UTP) [6] can be used to formally define how results produced in one formal model can be translated as assumptions to another formal model. Essentially, programs are considered to be predicates that relate the values of their observable input and output variables (their alphabet). For example, the increment program x := x + 1 is typically defined by the relational predicate x 0 = x + 1, where predicate variables x and x 0 denote the input and output values of the program variable x. In general, the alphabet of a program P is denoted by αP; it is the disjoint union of P's input and output sets (inαP and outαP respectively), which in the case of the example is the set fx; x 0g.
    [Show full text]
  • Programming Languages: Design and Implementation
    طراحی و پیادهسازی زبان های برنامهسازی Programming Languages: Design and Implementation 40364 نیمسال دوم 1400 - 1399 slide 1 اهداف درس سیر طبیعی تحوﻻت مفاهیم و روش های طراحی و پیادهسازی نسل های مختلف زبان های برنامهسازی به روشی تجربی و گام به گام مهندسی زبان های برنامه سازی )زبان های ویژه دامنه( آشنایی با پیاده سازی مفسرها به ویژه بر بستر ماشین های مجازی اصول طراحی زبان های برنامه سازی و روش ها و ساختارهای داده ای به کار رفته در پیادهسازی یا محقق کردن محیط برنامه نویسی ایجاد توانایی ارزیابی، مقایسه و انتخاب میان زبان های برنامه سازی موجود برنامه سازی تابعی معناشناسی و استدﻻل پیرامون برنامه slide 2 Grading and Other Admin affairs Your grade components: • Final Exam • Mid Term Exam • Assignments (paper based) • Assignments (programming including a final project) • Class Presentation … Class Administration Policies: slide 3 Main References Daniel P. Friedman and Mitchell Wand, Essentials of Programming Languages, 3rd Edition, MIT Press, 2008. M.Felleisen, R.Findler, M.Flatt, S.Krishnamurthi, E.Barzilay, J.McCarthy, S.Tobin-Hochstadt, A Programmable Programming Language, Communications of the ACM, Vol. 61, No. 3, Pp. 62-71, March 2018. https://racket-lang.org/ My class and Slides slide 4 Other Useful General Text Books S.Krishnamurthi, Programming Languages: Application and Interpretation, 2nd Edition, http://cs.brown.edu/courses/cs173/2012/book/b ook.pdf, 2017. Peter Sestoft, Programming Language Concepts, 2nd Edition, 2017. Michael Scott, Programming Language Pragmatics, (with its complimentary CD) slide 5 Other Useful General Text Books
    [Show full text]
  • Arxiv:2106.11534V1 [Cs.DL] 22 Jun 2021 2 Nanjing University of Science and Technology, Nanjing, China 3 University of Southampton, Southampton, U.K
    Noname manuscript No. (will be inserted by the editor) Turing Award elites revisited: patterns of productivity, collaboration, authorship and impact Yinyu Jin1 · Sha Yuan1∗ · Zhou Shao2, 4 · Wendy Hall3 · Jie Tang4 Received: date / Accepted: date Abstract The Turing Award is recognized as the most influential and presti- gious award in the field of computer science(CS). With the rise of the science of science (SciSci), a large amount of bibliographic data has been analyzed in an attempt to understand the hidden mechanism of scientific evolution. These include the analysis of the Nobel Prize, including physics, chemistry, medicine, etc. In this article, we extract and analyze the data of 72 Turing Award lau- reates from the complete bibliographic data, fill the gap in the lack of Turing Award analysis, and discover the development characteristics of computer sci- ence as an independent discipline. First, we show most Turing Award laureates have long-term and high-quality educational backgrounds, and more than 61% of them have a degree in mathematics, which indicates that mathematics has played a significant role in the development of computer science. Secondly, the data shows that not all scholars have high productivity and high h-index; that is, the number of publications and h-index is not the leading indicator for evaluating the Turing Award. Third, the average age of awardees has increased from 40 to around 70 in recent years. This may be because new breakthroughs take longer, and some new technologies need time to prove their influence. Besides, we have also found that in the past ten years, international collabo- ration has experienced explosive growth, showing a new paradigm in the form of collaboration.
    [Show full text]
  • Introduction to the Literature on Programming Language Design Gary T
    Computer Science Technical Reports Computer Science 7-1999 Introduction to the Literature On Programming Language Design Gary T. Leavens Iowa State University Follow this and additional works at: http://lib.dr.iastate.edu/cs_techreports Part of the Programming Languages and Compilers Commons Recommended Citation Leavens, Gary T., "Introduction to the Literature On Programming Language Design" (1999). Computer Science Technical Reports. 59. http://lib.dr.iastate.edu/cs_techreports/59 This Article is brought to you for free and open access by the Computer Science at Iowa State University Digital Repository. It has been accepted for inclusion in Computer Science Technical Reports by an authorized administrator of Iowa State University Digital Repository. For more information, please contact [email protected]. Introduction to the Literature On Programming Language Design Abstract This is an introduction to the literature on programming language design and related topics. It is intended to cite the most important work, and to provide a place for students to start a literature search. Keywords programming languages, semantics, type systems, polymorphism, type theory, data abstraction, functional programming, object-oriented programming, logic programming, declarative programming, parallel and distributed programming languages Disciplines Programming Languages and Compilers This article is available at Iowa State University Digital Repository: http://lib.dr.iastate.edu/cs_techreports/59 Intro duction to the Literature On Programming Language Design Gary T. Leavens TR 93-01c Jan. 1993, revised Jan. 1994, Feb. 1996, and July 1999 Keywords: programming languages, semantics, typ e systems, p olymorphism, typ e theory, data abstrac- tion, functional programming, ob ject-oriented programming, logic programming, declarative programming, parallel and distributed programming languages.
    [Show full text]
  • Ole-Johan Dahl
    Ole-Johan Dahl Born October 12, 1931, Mandal, Norway; with Kristen Nygaard, developer of the SIMULA programming language, which introduced classes and inheritance into the field of programming languages. Education: MS, numerical mathematics, University of Oslo, 1957. Professional Experience: Norwegian Defense Research Establishment (NDRE), 1952-1963; Norwegian Computing Center, 1963-1968; professor, computer science, University of Oslo, 1968-present. Dahl worked with the Norwegian Defense Research Establishment (NDRE) from 1952 to 1963 in computing and programming under Jan V. Gatwick. From 1956 onwards his main activity was software development. His master's thesis (“Numerical Mathematics,” 1957, University of Oslo) addressed the representation and manipulation of multidimensional arrays on a two-level store computer. His main contribution at the NDRE was a high-level programming language, MAC, used locally during the 1960s (first specification was dated 1957; the implemented version was modified as a result of the Algol effort). In 1963 he joined the Norwegian Computing Center for full-time work on SIMULA, and in 1968 he became a professor of computer science, then a new discipline at the University of Oslo. His main research during recent years has been in the areas of program architecture, specification tools, and verification techniques. From 1964 to 1976 he was the Norwegian delegate to IFIP Technical Committee 2 (Programming Languages), and from 1970 to 1977 he was a working member of IFIP Working Group 2.2 (Language Definition). He has been a member of IFIP Working Group 2.3 (Programming Methodology) since its founding in Oslo in 1969.1 BIBLIOGRAPHY Biographical Nygaard, Kristen, and Ole-Johan Dahl, “The Development of the SIMULA Languages,” in Wexelblat, Richard L., ed., History of Programming Languages, Academic Press, New York, 1981.
    [Show full text]
  • Ole-Johan Dahl- A.M
    12/19/2016 Ole-Johan Dahl- A.M. Turing Award Winner A .M . TURING CENTENARY GELEBRATION WEBCAST Search TYPE HERE MORE ACM AWARDS A.M. TURING AWARD WINNERS BY... ALPHABETICAL LISTING YEAR OF THE AWARD RESEARCH SUBJECT OLE-JOHAN DAHL Norway- 2001 CITATJON With Kristen Nygaard, for ideas fundamental to the emergence of object oriented programming, through their design of the programming languages Simula I and Simula 67. SHORT ANNOTATED ACM DL RESEARCH ADDITIONAL PHOTOGRAPHS BJBLJOGRAPHY AUTHOR PROFILE SUBJECTS MATERIALS BIRTH: Object-oriented programming is a dominant programming paradigm of this age. Fundamental to the 12th October 1931in Mandal, Norway emergence of this paradigm were core concepts such as objects, classes, and inheritance with virtual quantities, all clear1y established in Oie Johan Dahl and Kristen Nygaard's discrete event simulation language Simula I and DEATH: general programming language Simula 67. The objects integrale data, procedural, and cooperating action 29th June 2002 from Lymphatic Cancer sequence aspects into one very general and powerful unifying entity. at Asker, Norway By embodying these core concepts in a language designed both for system description and programming, Dahl EDUCATION: and Nygaard provided both a logical and a notalienal basis for the ideas. Software could be built in layers of MS in Numerical Mathematics, abstraction, each one relying on the description and conceptual plattarm implemented by the previous layers. By University of Oslo (1957). defining Simula 67 to be an extension of an international standard language, Algol-60, this medium of expression was accessible and available to the entire research community. Simula shaped and sped the EXPERIENCE: emergence of object-<lriented programming and the management discipline that accompanies it by many years.
    [Show full text]
  • Object-Oriented Programming in the Beta Programming Language
    OBJECT-ORIENTED PROGRAMMING IN THE BETA PROGRAMMING LANGUAGE OLE LEHRMANN MADSEN Aarhus University BIRGER MØLLER-PEDERSEN Ericsson Research, Applied Research Center, Oslo KRISTEN NYGAARD University of Oslo Copyright c 1993 by Ole Lehrmann Madsen, Birger Møller-Pedersen, and Kristen Nygaard. All rights reserved. No part of this book may be copied or distributed without the prior written permission of the authors Preface This is a book on object-oriented programming and the BETA programming language. Object-oriented programming originated with the Simula languages developed at the Norwegian Computing Center, Oslo, in the 1960s. The first Simula language, Simula I, was intended for writing simulation programs. Si- mula I was later used as a basis for defining a general purpose programming language, Simula 67. In addition to being a programming language, Simula1 was also designed as a language for describing and communicating about sys- tems in general. Simula has been used by a relatively small community for many years, although it has had a major impact on research in computer sci- ence. The real breakthrough for object-oriented programming came with the development of Smalltalk. Since then, a large number of programming lan- guages based on Simula concepts have appeared. C++ is the language that has had the greatest influence on the use of object-oriented programming in industry. Object-oriented programming has also been the subject of intensive research, resulting in a large number of important contributions. The authors of this book, together with Bent Bruun Kristensen, have been involved in the BETA project since 1975, the aim of which is to develop con- cepts, constructs and tools for programming.
    [Show full text]