Skip header Section
Skip Bibliometrics Section
CLU reference manualAugust 1984
Abstract
No abstract available.
Cited By
Zhang Y and Myers A (2017). Familia: unifying interfaces, type classes, and family polymorphism, Proceedings of the ACM on Programming Languages, 1:OOPSLA, (1-31), Online publication date: 12-Oct-2017.- Zhang Y, Loring M, Salvaneschi G, Liskov B and Myers A Lightweight, flexible object-oriented generics Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, (436-445)
- Zhang Y, Loring M, Salvaneschi G, Liskov B and Myers A (2015). Lightweight, flexible object-oriented generics, ACM SIGPLAN Notices, 50:6, (436-445), Online publication date: 7-Aug-2015.
- Bagge A and Haveraaen M Specification of generic APIs, or Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, (71-80)
- Bagge A and Haveraaen M (2014). Specification of generic APIs, or, ACM SIGAda Ada Letters, 34:3, (71-80), Online publication date: 26-Nov-2014.
- Isradisaikul C and Myers A Reconciling exhaustive pattern matching with objects Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation, (343-354)
- Isradisaikul C and Myers A (2013). Reconciling exhaustive pattern matching with objects, ACM SIGPLAN Notices, 48:6, (343-354), Online publication date: 23-Jun-2013.
- Tardieu O, Nystrom N, Peshansky I and Saraswat V Constrained kinds Proceedings of the ACM international conference on Object oriented programming systems languages and applications, (811-830)
- Tardieu O, Nystrom N, Peshansky I and Saraswat V (2012). Constrained kinds, ACM SIGPLAN Notices, 47:10, (811-830), Online publication date: 15-Nov-2012.
- Necula G, McPeak S and Weimer W (2012). CCured, ACM SIGPLAN Notices, 47:4a, (74-85), Online publication date: 18-Jun-2012.
- Cook W (2009). On understanding data abstraction, revisited, ACM SIGPLAN Notices, 44:10, (557-572), Online publication date: 25-Oct-2009.
- Cook W On understanding data abstraction, revisited Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications, (557-572)
- Liu J, Kimball A and Myers A Interruptible iterators Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (283-294)
- Liu J, Kimball A and Myers A (2006). Interruptible iterators, ACM SIGPLAN Notices, 41:1, (283-294), Online publication date: 12-Jan-2006.
- Watt S A technique for generic iteration and its optimization Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming, (76-86)
- Oancea C and Watt S Parametric polymorphism for software component architectures Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (147-166)
- Oancea C and Watt S (2005). Parametric polymorphism for software component architectures, ACM SIGPLAN Notices, 40:10, (147-166), Online publication date: 12-Oct-2005.
- Nystrom N, Chong S and Myers A Scalable extensibility via nested inheritance Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (99-115)
- Nystrom N, Chong S and Myers A (2004). Scalable extensibility via nested inheritance, ACM SIGPLAN Notices, 39:10, (99-115), Online publication date: 1-Oct-2004.
- Connor R Abstract data type Encyclopedia of Computer Science, (1-5)
- Lewis B Coroutine Encyclopedia of Computer Science, (465-466)
- Duggan D and Techaubol C Modular mixin-based inheritance for application frameworks Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (223-240)
- Duggan D and Techaubol C (2001). Modular mixin-based inheritance for application frameworks, ACM SIGPLAN Notices, 36:11, (223-240), Online publication date: 1-Nov-2001.
- Shaw M The coming-of-age of software architecture research Proceedings of the 23rd International Conference on Software Engineering
- Duggan D (1999). Dynamic typing for distributed programming in polymorphic languages, ACM Transactions on Programming Languages and Systems, 21:1, (11-45), Online publication date: 1-Jan-1999.
- Agesen O, Freund S and Mitchell J Adding type parameterization to the Java language Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (49-65)
- Agesen O, Freund S and Mitchell J (1997). Adding type parameterization to the Java language, ACM SIGPLAN Notices, 32:10, (49-65), Online publication date: 9-Oct-1997.
- Myers A and Liskov B A decentralized model for information flow control Proceedings of the sixteenth ACM symposium on Operating systems principles, (129-142)
- Myers A and Liskov B (1997). A decentralized model for information flow control, ACM SIGOPS Operating Systems Review, 31:5, (129-142), Online publication date: 1-Dec-1997.
- Novak G (1997). Software Reuse by Specialization of Generic Procedures through Views, IEEE Transactions on Software Engineering, 23:7, (401-417), Online publication date: 1-Jul-1997.
- Hansen P Monitors and Concurrent Pascal History of programming languages---II, (121-172)
- Liskov B A history of CLU History of programming languages---II, (471-510)
- Guimarães J (1995). The object oriented model and its advantages, ACM SIGPLAN OOPS Messenger, 6:1, (40-49), Online publication date: 11-Jan-1995.
- Sollins K and Van Dyke J Linking in a Global Information Architecture Proceedings of the Fourth International Conference on World Wide Web, (493-508)
- Reinhold M Cache performance of garbage-collected programs Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation, (206-217)
- de Oliveira Guimarães J (1994). Suggestion for a parametrized class model, ACM SIGPLAN OOPS Messenger, 5:3, (27-36), Online publication date: 1-Jul-1994.
- Chambers C and Leavens G Typechecking and modules for multi-methods Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications, (1-15)
- Chambers C and Leavens G (1994). Typechecking and modules for multi-methods, ACM SIGPLAN Notices, 29:10, (1-15), Online publication date: 1-Oct-1994.
- Roscoe T (1994). Linkage in the Nemesis single address space operating system, ACM SIGOPS Operating Systems Review, 28:4, (48-55), Online publication date: 1-Oct-1994.
- Vandevoorde M and Guttag J Using specialized procedures and specification-based analysis to reduce the runtime costs of modularity Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering, (121-127)
- Vandevoorde M and Guttag J (1994). Using specialized procedures and specification-based analysis to reduce the runtime costs of modularity, ACM SIGSOFT Software Engineering Notes, 19:5, (121-127), Online publication date: 1-Dec-1994.
- Reinhold M (1994). Cache performance of garbage-collected programs, ACM SIGPLAN Notices, 29:6, (206-217), Online publication date: 1-Jun-1994.
- Jackson D Abstract analysis with aspect Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis, (19-27)
- Hansen P Monitors and concurrent Pascal The second ACM SIGPLAN conference on History of programming languages, (1-35)
- Hansen P (1993). Monitors and concurrent Pascal, ACM SIGPLAN Notices, 28:3, (1-35), Online publication date: 1-Mar-1993.
- Baker H (1993). Iterators, ACM SIGPLAN OOPS Messenger, 4:3, (18-25), Online publication date: 1-Jul-1993.
- Liskov B and Wing J Specifications and their use in defining subtypes Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications, (16-28)
- Liskov B and Wing J (1993). Specifications and their use in defining subtypes, ACM SIGPLAN Notices, 28:10, (16-28), Online publication date: 1-Oct-1993.
- Jackson D (1993). Abstract analysis with aspect, ACM SIGSOFT Software Engineering Notes, 18:3, (19-27), Online publication date: 1-Jul-1993.
- Cheng J (1992). Parameterized specifications for software reuse, ACM SIGSOFT Software Engineering Notes, 17:4, (53-59), Online publication date: 1-Oct-1992.
- Calliss F (1991). A comparison of module constructs in programming languages, ACM SIGPLAN Notices, 26:1, (38-46), Online publication date: 1-Jan-1991.
- McCormick S and Allen J Waveform moment methods for improved interconnection analysis Proceedings of the 27th ACM/IEEE Design Automation Conference, (406-412)
- Sheldon M and Gifford D Static dependent types for first class modules Proceedings of the 1990 ACM conference on LISP and functional programming, (20-29)
- Hirvisalo V, Arkko J, Kuusela J, Nuutila E and Tamminen M (1989). XE design rationale: Clu revisited, ACM SIGPLAN Notices, 24:9, (72-79), Online publication date: 11-Aug-1989.
- Forin A (1988). Debugging of heterogeneous parallel systems, ACM SIGPLAN Notices, 24:1, (130-140), Online publication date: 3-Jan-1989.
- Ohori A and Buneman P Static type inference for parametric classes Conference proceedings on Object-oriented programming systems, languages and applications, (445-450)
- Ohori A and Buneman P (1989). Static type inference for parametric classes, ACM SIGPLAN Notices, 24:10, (445-450), Online publication date: 1-Oct-1989.
- Abadi M, Cardelli L, Pierce B and Plotkin G Dynamic typing in a statically-typed language Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (213-227)
- Wolf A, Clarke L and Wileden J (1988). A Model of Visibility Control, IEEE Transactions on Software Engineering, 14:4, (512-520), Online publication date: 1-Apr-1988.
- Duhl J and Damon C A performance comparison of object and relational databases using the Sun Benchmark Conference proceedings on Object-oriented programming systems, languages and applications, (153-163)
- Beech D Intensional concepts in an object database model Conference proceedings on Object-oriented programming systems, languages and applications, (164-175)
- Bjornerstedt A and Britts S AVANCE: an object management system Conference proceedings on Object-oriented programming systems, languages and applications, (206-221)
- Duhl J and Damon C (1988). A performance comparison of object and relational databases using the Sun Benchmark, ACM SIGPLAN Notices, 23:11, (153-163), Online publication date: 1-Nov-1988.
- Beech D (1988). Intensional concepts in an object database model, ACM SIGPLAN Notices, 23:11, (164-175), Online publication date: 1-Nov-1988.
- Bjornerstedt A and Britts S (1988). AVANCE: an object management system, ACM SIGPLAN Notices, 23:11, (206-221), Online publication date: 1-Nov-1988.
- Liskov B (1987). Keynote address - data abstraction and hierarchy, ACM SIGPLAN Notices, 23:5, (17-34), Online publication date: 1-May-1988.
- Reddy U Objects as closures: abstract semantics of object-oriented languages Proceedings of the 1988 ACM conference on LISP and functional programming, (289-297)
- Forin A Debugging of heterogeneous parallel systems Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging, (130-140)
- Sutor R and Jenks R The type inference and coercion facilities in the scratchpad II interpreter Papers of the Symposium on Interpreters and interpretive techniques, (56-63)
- Waters R Efficient interpretation of synchronizable series expressions Papers of the Symposium on Interpreters and interpretive techniques, (74-85)
- Moss J Managing stack frames in Smalltalk Papers of the Symposium on Interpreters and interpretive techniques, (229-240)
- O'Brien P, Halbert D and Kilian M The Trellis programming environment Conference proceedings on Object-oriented programming systems, languages and applications, (91-102)
- Caplinger M An information system based on distributed objects Conference proceedings on Object-oriented programming systems, languages and applications, (126-137)
- Thorelli L Modules and type checking in PL/LL Conference proceedings on Object-oriented programming systems, languages and applications, (268-276)
- O'Brien P, Halbert D and Kilian M (1987). The Trellis programming environment, ACM SIGPLAN Notices, 22:12, (91-102), Online publication date: 1-Dec-1987.
- Caplinger M (1987). An information system based on distributed objects, ACM SIGPLAN Notices, 22:12, (126-137), Online publication date: 1-Dec-1987.
- Thorelli L (1987). Modules and type checking in PL/LL, ACM SIGPLAN Notices, 22:12, (268-276), Online publication date: 1-Dec-1987.
- Liskov B Keynote address - data abstraction and hierarchy Addendum to the proceedings on Object-oriented programming systems, languages and applications (Addendum), (17-34)
- Sutor R and Jenks R (1987). The type inference and coercion facilities in the scratchpad II interpreter, ACM SIGPLAN Notices, 22:7, (56-63), Online publication date: 1-Jul-1987.
- Waters R (1987). Efficient interpretation of synchronizable series expressions, ACM SIGPLAN Notices, 22:7, (74-85), Online publication date: 1-Jul-1987.
- Moss J (1987). Managing stack frames in Smalltalk, ACM SIGPLAN Notices, 22:7, (229-240), Online publication date: 1-Jul-1987.
- Schaffert C, Cooper T, Bullis B, Kilian M and Wilpolt C An introduction to Trellis/Owl Conference proceedings on Object-oriented programming systems, languages and applications, (9-16)
- Abdali S, Cherry G and Soiffer N A Smalltalk system for algebraic manipulation Conference proceedings on Object-oriented programming systems, languages and applications, (277-283)
- Jacobson I Language support for changeable large real time systems Conference proceedings on Object-oriented programming systems, languages and applications, (377-384)
- Meyer B Genericity versus inheritance Conference proceedings on Object-oriented programming systems, languages and applications, (391-405)
- Olthoff W Augmentation of object-oriented programming by concepts of abstract data type theory: the ModPascal experience Conference proceedings on Object-oriented programming systems, languages and applications, (429-443)
- Gifford D and Lucassen J Integrating functional and imperative programming Proceedings of the 1986 ACM conference on LISP and functional programming, (28-38)
- Grune D (1986). Generic packages in C, ACM SIGPLAN Notices, 21:8, (31-39), Online publication date: 1-Aug-1986.
- Bacon J Mayflower Proceedings of the 2nd workshop on Making distributed systems work, (1-3)
- Day M Replication, reconfiguration, and the Argus mail repository Proceedings of the 2nd workshop on Making distributed systems work, (1-4)
- Wittie L The Bugnet distributed debugging system Proceedings of the 2nd workshop on Making distributed systems work, (1-3)
- Greif I, Seliger R and Weihl W Atomic data abstractions in a distributed collaborative editing system Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (160-172)
- Mitchell J Representation independence and data abstraction Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (263-276)
- Meyer A and Reinhold M "Type" is not a type Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (287-295)
- Berzins V, Gray M and Naumann D (1986). Abstraction-based software development, Communications of the ACM, 29:5, (402-415), Online publication date: 1-May-1986.
- Greif I and Sarin S Data sharing in group work Proceedings of the 1986 ACM conference on Computer-supported cooperative work, (175-183)
- Schaffert C, Cooper T, Bullis B, Kilian M and Wilpolt C (1986). An introduction to Trellis/Owl, ACM SIGPLAN Notices, 21:11, (9-16), Online publication date: 1-Nov-1986.
- Abdali S, Cherry G and Soiffer N (1986). A Smalltalk system for algebraic manipulation, ACM SIGPLAN Notices, 21:11, (277-283), Online publication date: 1-Nov-1986.
- Jacobson I (1986). Language support for changeable large real time systems, ACM SIGPLAN Notices, 21:11, (377-384), Online publication date: 1-Nov-1986.
- Meyer B (1986). Genericity versus inheritance, ACM SIGPLAN Notices, 21:11, (391-405), Online publication date: 1-Nov-1986.
- Olthoff W (1986). Augmentation of object-oriented programming by concepts of abstract data type theory: the ModPascal experience, ACM SIGPLAN Notices, 21:11, (429-443), Online publication date: 1-Nov-1986.
- Lin S and Allen J Minplex—a compactor that minimizes the bounding rectangle and individual rectangles in a layout Proceedings of the 23rd ACM/IEEE Design Automation Conference, (123-130)
- Zdonik S Why properties are objects or some refinements of “is-a” Proceedings of 1986 ACM Fall joint computer conference, (41-47)
- Agnarsson S and Krishnamoorthy M (1985). Towards a theory of packages, ACM SIGPLAN Notices, 20:7, (117-130), Online publication date: 1-Jul-1985.
- Mitchell J and Plotkin G Abstract types have existential types Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (37-51)
- Clark D (1985). The structuring of systems using upcalls, ACM SIGOPS Operating Systems Review, 19:5, (171-180), Online publication date: 1-Dec-1985.
- Clark D The structuring of systems using upcalls Proceedings of the tenth ACM symposium on Operating systems principles, (171-180)
- Agnarsson S and Krishnamoorthy M Towards a theory of packages Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments, (117-130)
- Francez N and Hailpern B (1985). Script, ACM SIGOPS Operating Systems Review, 19:2, (53-67), Online publication date: 1-Apr-1985.
- Bamji C, Hauck C and Allen J A design by example regular structure generator Proceedings of the 22nd ACM/IEEE Design Automation Conference, (16-22)
- Donato N, Rocchetti R and Tom J A prototyping environment for real-time graphics Proceedings of the July 9-12, 1984, national computer conference and exposition, (367-373)
- Carter E and Winner R (1984). Transparent microprogramming in support of abstract type oriented dynamic vertical migration, ACM SIGMICRO Newsletter, 15:4, (165-178), Online publication date: 1-Dec-1984.
- Carter E and Winner R Transparent microprogramming in support of abstract type oriented dynamic vertical migration Proceedings of the 17th annual workshop on Microprogramming, (165-178)
- Waters R Expressional loops Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (1-10)
- Sherman M Paragon Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (208-217)
- Leavens G (1984). Prettyprinting styles for various languages, ACM SIGPLAN Notices, 19:2, (75-79), Online publication date: 1-Feb-1984.
- Rogers W A new program structure to improve accuracy and readability of pascal software Proceedings of the 7th international conference on Software engineering, (454-462)
- Craft D (1983). Resource management in a decentralized system, ACM SIGOPS Operating Systems Review, 17:5, (11-19), Online publication date: 31-Dec-1983.
- Craft D Resource management in a decentralized system Proceedings of the ninth ACM symposium on Operating systems principles, (11-19)
- Francez N and Hailpern B Script Proceedings of the second annual ACM symposium on Principles of distributed computing, (213-227)
- Weihl W and Liskov B Specification and implementation of resilient, atomic data types Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems, (53-64)
- Shaw M, Borison E, Horowitz M, Lane T, Nichols D and Pausch R Descartes Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems, (100-111)
- Weihl W and Liskov B (1983). Specification and implementation of resilient, atomic data types, ACM SIGPLAN Notices, 18:6, (53-64), Online publication date: 1-Jun-1983.
- Shaw M, Borison E, Horowitz M, Lane T, Nichols D and Pausch R (1983). Descartes, ACM SIGPLAN Notices, 18:6, (100-111), Online publication date: 1-Jun-1983.
- Fehr E (1983). The "simplest functional programming language" is neither simple nor functional, ACM SIGPLAN Notices, 18:4, (55-57), Online publication date: 1-Apr-1983.
- Cornhill D (1983). A survivable distributed computing system for embedded application programs written in Ada, ACM SIGAda Ada Letters, III:3, (79-87), Online publication date: 1-Nov-1983.
- Tokoro M and Takizuka T (1982). On the semantic structure of information - A proposal of the abstract storage architecture, ACM SIGARCH Computer Architecture News, 10:3, (211-217), Online publication date: 1-Apr-1982.
- Liskov B and Scheifler R Guardians and actions Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (7-19)
- Tokoro M and Takizuka T On the semantic structure of information - A proposal of the abstract storage architecture Proceedings of the 9th annual symposium on Computer Architecture, (211-217)
- Futatsugi K and Okada K A hierarchical structuring method for functional software systems Proceedings of the 6th international conference on Software engineering, (393-402)
- Jenks R and Trager B A language for computational algebra Proceedings of the fourth ACM symposium on Symbolic and algebraic computation, (6-13)
- Jenks R and Trager B (1981). A language for computational algebra, ACM SIGPLAN Notices, 16:11, (22-29), Online publication date: 1-Nov-1981.
- Young W and Good D Generics and verification in Ada Proceedings of the ACM-SIGPLAN symposium on The ADA programming language, (123-127)
- Marcum A Secure application environments in APL\3000 Proceedings of the international conference on APL: part 1, (257-263)
- Liskov B Primitives for distributed computing Proceedings of the seventh ACM symposium on Operating systems principles, (33-42)
- Williams G Program checking Proceedings of the 1979 SIGPLAN symposium on Compiler construction, (13-25)
- Williams G (1979). Program checking, ACM SIGPLAN Notices, 14:8, (13-25), Online publication date: 1-Aug-1979.
- Ball J, Williams G and Low J (1979). Preliminary ZENO language description, ACM SIGPLAN Notices, 14:9, (17-34), Online publication date: 1-Sep-1979.
- Marcum A (1979). Secure application environments in APL\3000, ACM SIGAPL APL Quote Quad, 9:4-P1, (257-263), Online publication date: 1-Jun-1979.
- Atkinson R, Liskov B and Scheifler R Aspects Of Implementing CLU Proceedings of the 1978 annual conference, (123-129)
Index Terms
- CLU reference manual