Abstract
No abstract available.
Cited By
- Kästner C, Apel S, Thüm T and Saake G (2012). Type checking annotation-based product lines, ACM Transactions on Software Engineering and Methodology, 21:3, (1-39), Online publication date: 1-Jun-2012.
- Kästner C, Ostermann K and Erdweg S A variability-aware module system Proceedings of the ACM international conference on Object oriented programming systems languages and applications, (773-792)
- Kästner C, Ostermann K and Erdweg S (2012). A variability-aware module system, ACM SIGPLAN Notices, 47:10, (773-792), 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.
- Wehr S and Thiemann P (2011). JavaGI, ACM Transactions on Programming Languages and Systems, 33:4, (1-83), Online publication date: 1-Jul-2011.
- Anton K and Thiemann P Typing coroutines Proceedings of the 11th international conference on Trends in functional programming, (16-30)
- Brosgol B A comparison of generic template support Proceedings of the 15th Ada-Europe international conference on Reliable Software Technologies, (222-237)
- 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)
- Huang S, Zook D and Smaragdakis Y cJ Proceedings of the 6th international conference on Aspect-oriented software development, (185-198)
- Gregor D and Schupp S (2006). STLlint: lifting static checking from languages to libraries, Software—Practice & Experience, 36:3, (225-254), Online publication date: 1-Mar-2006.
- Liu J, Kimball A and Myers A (2006). Interruptible iterators, ACM SIGPLAN Notices, 41:1, (283-294), Online publication date: 12-Jan-2006.
- 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)
- 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.
- Necula G, McPeak S and Weimer W CCured Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (128-139)
- Necula G, McPeak S and Weimer W (2002). CCured, ACM SIGPLAN Notices, 37:1, (128-139), Online publication date: 1-Jan-2002.
- Baker H (1993). Iterators, ACM SIGPLAN OOPS Messenger, 4:3, (18-25), 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.
- Ungerer T and Zehendner E (1991). A multi-level parallelism architecture, ACM SIGARCH Computer Architecture News, 19:4, (86-93), Online publication date: 1-Jul-1991.
- Rouaix F Safe run-time overloading Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (355-366)
- 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)
- Eckart J (1987). Iteration and abstract data types, ACM SIGPLAN Notices, 22:4, (103-110), Online publication date: 1-Apr-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)
- 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.
- Strom R, Yemini S and Wegner P (1985). Viewing Ada from a process model perspective, ACM SIGAda Ada Letters, V:2, (241-254), Online publication date: 1-Sep-1985.
- Strom R, Yemini S and Wegner P Viewing Ada from a process model perspective Proceedings of the 1985 annual ACM SIGAda international conference on Ada, (241-254)
- Winner R and Carter E (1983). Toward type-oriented dynamic vertical migration, ACM SIGMICRO Newsletter, 14:4, (128-139), Online publication date: 1-Dec-1983.
- 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)
- 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.
- Beech D Criteria for a standard command language based on data abstraction Proceedings of the June 7-10, 1982, national computer conference, (493-499)
- Giacomucci A and Friedman F Capsules Proceedings of the ACM '81 conference, (154-160)
- Wasserman A The design of PLAIN Proceedings of the May 19-22, 1980, national computer conference, (731-740)
Please enable JavaScript to view thecomments powered by Disqus.