Abstract
No abstract available.
Cited By
- Clarke D and Wrigstad T Vats Essays Dedicated to Frank de Boer on Theory and Practice of Formal Methods - Volume 9660, (140-154)
- Kasikci B, Zamfir C and Candea G (2015). Automated Classification of Data Races Under Both Strong and Weak Memory Models, ACM Transactions on Programming Languages and Systems, 37:3, (1-44), Online publication date: 18-Jun-2015.
- Boehm H and Demsky B Outlawing ghosts Proceedings of the workshop on Memory Systems Performance and Correctness, (1-6)
- Kasikci B, Zamfir C and Candea G (2012). Data races vs. data race bugs, ACM SIGPLAN Notices, 47:4, (185-198), Online publication date: 1-Jun-2012.
- Kasikci B, Zamfir C and Candea G (2012). Data races vs. data race bugs, ACM SIGARCH Computer Architecture News, 40:1, (185-198), Online publication date: 18-Apr-2012.
- Kasikci B, Zamfir C and Candea G Data races vs. data race bugs Proceedings of the seventeenth international conference on Architectural Support for Programming Languages and Operating Systems, (185-198)
- Axelsen E, Sørensen F, Krogdahl S and Møller-Pedersen B Challenges in the design of the package template mechanism Transactions on Aspect-Oriented Software Development IX, (268-305)
- Effinger-Dean L, Boehm H, Chakrabarti D and Joisha P Extended sequential reasoning for data-race-free programs Proceedings of the 2011 ACM SIGPLAN Workshop on Memory Systems Performance and Correctness, (22-29)
- Adve S and Boehm H (2010). Memory models, Communications of the ACM, 53:8, (90-101), Online publication date: 1-Aug-2010.
- Sørensen F, Axelsen E and Krogdahl S Reuse and combination with package templates Proceedings of the 4th Workshop on MechAnisms for SPEcialization, Generalization and inHerItance, (1-5)
- Schmitz S (2010). An experimental ambiguity detection tool, Science of Computer Programming, 75:1-2, (71-84), Online publication date: 1-Jan-2010.
- Boehm H and Adve S Foundations of the C++ concurrency memory model Proceedings of the 29th ACM SIGPLAN Conference on Programming Language Design and Implementation, (68-78)
- Boehm H and Adve S (2008). Foundations of the C++ concurrency memory model, ACM SIGPLAN Notices, 43:6, (68-78), Online publication date: 30-May-2008.
- Hamey L and Goldrei S (2008). Implementing a Domain-Specific Language Using Stratego/XT, Electronic Notes in Theoretical Computer Science (ENTCS), 203:2, (37-51), Online publication date: 1-Apr-2008.
- Giangrande E (2007). CS1 programming language options, Journal of Computing Sciences in Colleges, 22:3, (153-160), Online publication date: 1-Jan-2007.
- Gibbons J Datatype-generic programming Proceedings of the 2006 international conference on Datatype-generic programming, (1-71)
- Carlsson R, Gustavsson B and Nyblom P Erlang's exception handling revisited Proceedings of the 2004 ACM SIGPLAN workshop on Erlang, (16-26)
- Schonberg E (2004). On-the-fly detection of access anomalies, ACM SIGPLAN Notices, 39:4, (313-327), Online publication date: 1-Apr-2004.
- Lu H, Zhou Y, Lu J and Xu B (2004). A compile-time optimization framework for Ada rendezvous, ACM SIGPLAN Notices, 39:2, (18-25), Online publication date: 1-Feb-2004.
- Murphy G, Notkin D and Sullivan K (2001). Software Reflexion Models, IEEE Transactions on Software Engineering, 27:4, (364-380), Online publication date: 1-Apr-2001.
- Bunse C and Atkinson C The normal object form Proceedings of the 2nd international conference on The unified modeling language: beyond the standard, (675-690)
- Li B, Xu B and Yu H (1998). Transforming Ada serving tasks into protected objects, ACM SIGAda Ada Letters, XVIII:6, (240-245), Online publication date: 1-Nov-1998.
- Li B, Xu B and Yu H Transforming Ada serving tasks into protected objects Proceedings of the 1998 annual ACM SIGAda international conference on Ada, (240-245)
- Huang E and Elrad T Scheduling control mechanisms for managing indeterminate object behavior Proceedings of the 1998 ACM symposium on Applied Computing, (650-654)
- Wellings A, Burns A and Pazy O (1997). Task termination and Ada 95, ACM SIGAda Ada Letters, XVII:5, (100-105), Online publication date: 1-Oct-1997.
- Wellings A, Burns A and Pazy O Task termination and Ada 95 Proceedings of the eighth international workshop on Real-Time Ada, (100-105)
- McKay A, Bloor M and de Pennington A (1996). A Framework for Product Data, IEEE Transactions on Knowledge and Data Engineering, 8:5, (825-838), Online publication date: 1-Oct-1996.
- Whitaker W ADA---the project History of programming languages---II, (173-232)
- Carlsson A Cost effective satellite development with use of an Ada microprocessor Proceedings of the conference on TRI-Ada '95: Ada's role in global markets: solutions for a changing complex world, (158-165)
- English J (1995). Multithreading in C++, ACM SIGPLAN Notices, 30:4, (21-28), Online publication date: 1-Apr-1995.
- Dubois C, Rouaix F and Weis P Extensional polymorphism Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (118-129)
- Baker H (1995). “Use-once” variables and linear objects, ACM SIGPLAN Notices, 30:1, (45-52), Online publication date: 3-Jan-1995.
- Carter J (1994). Ada's design goals and object-oriented programming, ACM SIGAda Ada Letters, XIV:6, (57-61), Online publication date: 1-Nov-1994.
- Blázquez V, Correa A and Freniche J (1994). Advancing Ada 9X solutions in real time avionics computers, ACM SIGAda Ada Letters, XIV:5, (80-87), Online publication date: 1-Sep-1994.
- Baker H (1994). Linear logic and permutation stacks—the Forth shall be first, ACM SIGARCH Computer Architecture News, 22:1, (34-43), Online publication date: 1-Mar-1994.
- Grossman F, Klerer R and Engle C Automating the Ada programming process Proceedings of the conference on TRI-Ada '93, (302-311)
- Koehnemann H and Lindquist T Towards target-level testing and debugging tools for embedded software Proceedings of the conference on TRI-Ada '93, (288-298)
- Tonndorf M An integrated tool environment for Ada compiler validations Proceedings of the conference on TRI-Ada '93, (268-276)
- Frankel M Ada 9X and CASE Proceedings of the conference on TRI-Ada '93, (200-210)
- Rogers P, O'Neill S, Pitarys M and Littlejohn K Demonstrable fault tolerance for distributed Ada Proceedings of the conference on TRI-Ada '93, (180-188)
- Klingler C A case study in process definition Proceedings of the conference on TRI-Ada '93, (65-79)
- Baker H (1993). Strategies for the lossless encoding of strings as Ada identifiers, ACM SIGAda Ada Letters, XIII:5, (43-47), Online publication date: 1-Sep-1993.
- Baker H (1993). Safe and leakproof resource management using Ada83 limited types, ACM SIGAda Ada Letters, XIII:5, (32-42), Online publication date: 1-Sep-1993.
- Yue K (1993). An Ada solution to the general mutual exclusion problem, ACM SIGAda Ada Letters, XIII:4, (37-43), Online publication date: 1-Jul-1993.
- Baker H (1993). How to steal from a limited private account, ACM SIGAda Ada Letters, XIII:3, (91-95), Online publication date: 15-May-1993.
- (1992). Perspectives, International Journal of High Performance Computing Applications, 6:4, (421-426), Online publication date: 1-Dec-1992.
- Lodge M Benchmarking Ada Proceedings of the conference on TRI-Ada '92, (142-147)
- Taft S (1992). Ada 9X, Communications of the ACM, 35:11, (77-82), Online publication date: 1-Nov-1992.
- Schonberg E, Gerhardt M and Hayden C (1992). A technical tour of Ada, Communications of the ACM, 35:11, (43-52), Online publication date: 1-Nov-1992.
- Voketaitis A (1992). A portable and reusable RDBMS interface for Ada, ACM SIGAda Ada Letters, XII:5, (64-76), Online publication date: 1-Oct-1992.
- Graham W (1992). A comparison of four pseudo random number generators implemented in Ada, ACM SIGSIM Simulation Digest, 22:2, (3-18), Online publication date: 15-Sep-1992.
- Tokar J An analysis of the Ada 9X and ARTEWG CIFO 3.0 overlap Proceedings of the ninth Washington Ada symposium on Ada: Empowering software users and developers, (42-48)
- Giering E and Baker T POSIX/Ada real-time bindings Proceedings of the ninth Washington Ada symposium on Ada: Empowering software users and developers, (27-41)
- Pancake C (1992). What Should we Expect from Parallel Language Standards?, International Journal of High Performance Computing Applications, 6:1, (112-117), Online publication date: 1-Apr-1992.
- Ancona M, Cagetti P, Castagna P and Gruosso L Reusable distributed “data environments” Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's, (1083-1090)
- Joung Y and Smolka S A comprehensive study of the complexity of multiparty interaction Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (142-153)
- Saeed F, George K and Samadzadeh M (1992). Implementation of classical mutual exclusion algorithms in Ada, ACM SIGAda Ada Letters, XII:1, (73-84), Online publication date: 1-Jan-1992.
- Blázquez V, Redondo L and Freniche J (1992). Experiences with “delay until” for Avionics computers, ACM SIGAda Ada Letters, XII:1, (65-72), Online publication date: 1-Jan-1992.
- McBride R and Slonim J Control and responsiveness in Hermes Proceedings of the 1991 conference of the Centre for Advanced Studies on Collaborative research, (197-203)
- Winter D (1991). Floating point attributes in Ada, ACM SIGAda Ada Letters, XI:7, (244-273), Online publication date: 2-Sep-1991.
- Coen-Porisini A, De Paoli F, Ghezzi C and Mandrioli D (2019). Software Specialization Via Symbolic Execution, IEEE Transactions on Software Engineering, 17:9, (884-899), Online publication date: 1-Sep-1991.
- Goldberg B (2019). Tag-free garbage collection for strongly typed programming languages, ACM SIGPLAN Notices, 26:6, (165-176), Online publication date: 1-Jun-1991.
- Goldberg B Tag-free garbage collection for strongly typed programming languages Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation, (165-176)
- Harms D and Weide B (2019). Copying and Swapping, IEEE Transactions on Software Engineering, 17:5, (424-435), Online publication date: 1-May-1991.
- Shyy Y and Su S (2019). K, ACM SIGMOD Record, 20:2, (338-347), Online publication date: 1-Apr-1991.
- Shyy Y and Su S K Proceedings of the 1991 ACM SIGMOD international conference on Management of data, (338-347)
- Rennels D and Schonberg E (1991). A program analysis tool for evaluating the Ada compiler validation suite, ACM SIGAda Ada Letters, XI:3, (137-148), Online publication date: 1-Apr-1991.
- Woodside C, Hagos E, Neron E and Buhr R (1991). The CAEDE performance analysis tool, ACM SIGAda Ada Letters, XI:3, (125-136), Online publication date: 1-Apr-1991.
- Rennels D and Schonberg E A program analysis tool for evaluating the Ada compiler validation suite Proceedings of the first international symposium on Environments and tools for Ada, (137-148)
- Woodside C, Hagos E, Neron E and Buhr R The CAEDE performance analysis tool Proceedings of the first international symposium on Environments and tools for Ada, (125-136)
- Sisto R, Ciminiera L and Valenzano A (2019). A Protocol for Multirendezvous of LOTOS Processes, IEEE Transactions on Computers, 40:4, (437-447), Online publication date: 1-Apr-1991.
- Cohen S Process and products for software reuse in Ada Proceedings of the conference on TRI-ADA '90, (227-239)
- Carlin K, Russo D and Balfour B A proposal for a recursive object-oriented life-cycle Proceedings of the conference on TRI-ADA '90, (156-167)
- Railsback P, Rose L and Corrigan A Effects of Ada on design problems in a discrete event simulator Proceedings of the conference on TRI-ADA '90, (79-90)
- Bagrodia R, Chandy K and Kwan E UC Proceedings of the 1990 ACM/IEEE conference on Supercomputing, (525-534)
- Christiansen H (1990). A survey of adaptable grammars, ACM SIGPLAN Notices, 25:11, (35-44), Online publication date: 1-Nov-1990.
- Strohmeier A, Genillard C and Weber M (1990). Ordering of characters and strings, ACM SIGAda Ada Letters, X:7, (70-84), Online publication date: 1-Aug-1990.
- Lander L, Mitra S and Piatkowski T (1990). Deterministic priority inversion in Ada selective waits, ACM SIGAda Ada Letters, X:7, (55-62), Online publication date: 1-Aug-1990.
- Karam G and Buhr R (2019). Starvation and Critical Race Analyzers for Ada, IEEE Transactions on Software Engineering, 16:8, (829-843), Online publication date: 1-Aug-1990.
- Lander L, Mitra S and Piatkowski T Priority inversion in Ada programs during elaboration Proceedings of the seventh Washington Ada symposium on Ada, (133-141)
- Yeung W and Topping G (1990). Implementing JSD designs in Ada: a tutorial, ACM SIGSOFT Software Engineering Notes, 15:3, (25-32), Online publication date: 1-Jul-1990.
- Baker H Unify and conquer Proceedings of the 1990 ACM conference on LISP and functional programming, (218-226)
- Gicca G (1990). A simple standardized Ada command line interface, ACM SIGAda Ada Letters, X:5, (88-100), Online publication date: 1-May-1990.
- Baker H (1990). Efficient implementation of bit-vector operation in Common Lisp, ACM SIGPLAN Lisp Pointers, III:2-4, (8-22), Online publication date: 1-Apr-1990.
- Payne M, Schaffert C and Wichmann B (1990). Proposal for a language compatible arithmetic standard, ACM SIGNUM Newsletter, 25:1, (2-43), Online publication date: 1-Jan-1990.
- Papay D (1989). Forcing the completion of abnormal tasks, ACM SIGAda Ada Letters, IX:6, (104-107), Online publication date: 1-Sep-1989.
- Morales-Fernandez R and Moreno-Navarro J (1989). CC-modula: a modula-2 tool to teach concurrent programming, ACM SIGCSE Bulletin, 21:3, (19-25), Online publication date: 1-Sep-1989.
- Cockerham B Parallel compilation of Ada units Proceedings of the conference on TRI-Ada '88, (147-164)
- David R Parallel Ada on Alliant's FX/series Proceedings of the conference on TRI-Ada '88, (135-146)
- Schonberg D (2019). On-the-fly detection of access anomalies, ACM SIGPLAN Notices, 24:7, (285-297), Online publication date: 1-Jul-1989.
- Carlsson M and Asplund L (1989). A data acquisition and information handling system in Ada for electron spectroscopy, ACM SIGAda Ada Letters, IX:5, (89-100), Online publication date: 1-Jul-1989.
- Schonberg D On-the-fly detection of access anomalies Proceedings of the ACM SIGPLAN 1989 conference on Programming language design and implementation, (285-297)
- Schwanke R, Cohen E, Gluecker R, Hasling W, Soni D and Wagner M Configuration management in BiiN SMS Proceedings of the 11th international conference on Software engineering, (383-393)
- Allen B and Lee S A knowledge-base environment for the development of software parts composition systems Proceedings of the 11th international conference on Software engineering, (104-112)
- Wells M and Kurtz B (1989). Teaching multiple programming paradigms: a proposal for a paradigm general pseudocode, ACM SIGCSE Bulletin, 21:1, (246-251), Online publication date: 1-Feb-1989.
- Wells M and Kurtz B Teaching multiple programming paradigms: a proposal for a paradigm general pseudocode Proceedings of the twentieth SIGCSE technical symposium on Computer science education, (246-251)
- Rabbie H and Nelson-Gal D An operating system for real-time Ada Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment, (490-497)
- Griest T and Bender m Limitations on the portability of real time Ada programs Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment, (474-489)
- Crawford B and Baker D Design issues and team support: experiences of an Ada tool vendor Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment, (172-180)
- Black D, Golub D, Hauth K, Tevanian A and Sanzi R (2019). The mach exception handling facility, ACM SIGPLAN Notices, 24:1, (45-56), Online publication date: 3-Jan-1989.
- Kovats T (1988). Comments on innovative control constructs in pancode and EPN, ACM SIGPLAN Notices, 23:12, (151-157), Online publication date: 1-Dec-1988.
- Black D, Golub D, Hauth K, Tevanian A and Sanzi R The mach exception handling facility Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging, (45-56)
- Alabiso B (2019). Transformation of data flow analysis models to object oriented design, ACM SIGPLAN Notices, 23:11, (335), Online publication date: 1-Nov-1988.
- Bohlender G, Ullrich C and von Gudenberg J (1988). New developments in Pascal-SC, ACM SIGPLAN Notices, 23:8, (83-92), Online publication date: 1-Aug-1988.
- Rising L (1988). Tasking troubles and tips, ACM SIGPLAN Notices, 23:8, (63-72), Online publication date: 1-Aug-1988.
- Liskov B and Shrira L (2019). Promises: linguistic support for efficient asynchronous procedure calls in distributed systems, ACM SIGPLAN Notices, 23:7, (260-267), Online publication date: 1-Jul-1988.
- Acosta R, Alexandre M, Imken G and Read B The role of VHDL in the MCC CAD system Proceedings of the 25th ACM/IEEE Design Automation Conference, (34-39)
- Liskov B and Shrira L Promises: linguistic support for efficient asynchronous procedure calls in distributed systems Proceedings of the ACM SIGPLAN 1988 conference on Programming language design and implementation, (260-267)
- Kaindl H (1988). Portability of software, ACM SIGPLAN Notices, 23:6, (59-68), Online publication date: 1-Jun-1988.
- Liskov B (2019). Keynote address - data abstraction and hierarchy, ACM SIGPLAN Notices, 23:5, (17-34), Online publication date: 1-May-1988.
- Terwilliger R and Campbell R An early report on encompass Proceedings of the 10th international conference on Software engineering, (344-354)
- Terwilliger R (1988). Please: a language combining imperative and logic programming, ACM SIGPLAN Notices, 23:4, (103-110), Online publication date: 1-Apr-1988.
- Hsieh C and Unger E Resource scheduling Proceedings of the 1988 ACM sixteenth annual conference on Computer science, (429-437)
- Burns A and Davies G (1988). Pascal-FC: a language for teaching concurrent programming, ACM SIGPLAN Notices, 23:1, (58-66), Online publication date: 3-Jan-1988.
- Alabiso B Transformation of data flow analysis models to object oriented design Conference proceedings on Object-oriented programming systems, languages and applications
- Fullerton J (1987). An alternate design for Fortran 8X, ACM SIGPLAN Fortran Forum, 6:3, (31-40), Online publication date: 1-Dec-1987.
- Jacobson I (2019). Object-oriented development in an industrial environment, ACM SIGPLAN Notices, 22:12, (183-191), Online publication date: 1-Dec-1987.
- Jacobson I Object-oriented development in an industrial environment Conference proceedings on Object-oriented programming systems, languages and applications, (183-191)
- Knight J Ada on fault-tolerant distributed systems Proceedings of the first international workshop on Real-time Ada issues, (61-63)
- Firth R A pragmatic approach to Ada insertion Proceedings of the first international workshop on Real-time Ada issues, (24-26)
- Knight J (1987). Ada on fault-tolerant distributed systems, ACM SIGAda Ada Letters, VII:6, (61-63), Online publication date: 1-Oct-1987.
- Firth R (1987). A pragmatic approach to Ada insertion, ACM SIGAda Ada Letters, VII:6, (24-26), Online publication date: 1-Oct-1987.
- Clarson D (1987). Proposal for adding discriminants for Ada task types, ACM SIGAda Ada Letters, VII:5, (96-99), Online publication date: 1-Sep-1987.
- Rosen S (1987). Controlling dynamic objects in large Ada systems, ACM SIGAda Ada Letters, VII:5, (79-92), Online publication date: 1-Sep-1987.
- Huijsman R, van Katwijk J, Pronk C and Toetenel W (1987). Translating algol 60 programs into Ada, ACM SIGAda Ada Letters, VII:5, (42-50), Online publication date: 1-Sep-1987.
- Collado M, Morales R and Moreno J (1987). A Modula-2 implementation of CSP, ACM SIGPLAN Notices, 22:6, (25-38), Online publication date: 1-Jun-1987.
- Eckart J (1987). Iteration and abstract data types, ACM SIGPLAN Notices, 22:4, (103-110), Online publication date: 1-Apr-1987.
- Knight J and Rouleau M Analysis of Ada for a crucial distributed application Proceedings of the Joint Ada conference fifth national conference on Ada technology and fourth Washington Ada Symposium, (103-110)
- Liskov B Keynote address - data abstraction and hierarchy Addendum to the proceedings on Object-oriented programming systems, languages and applications (Addendum), (17-34)
- Stanculescu A (1986). Toward machine independent microcode, ACM SIGMICRO Newsletter, 17:3, (25-32), Online publication date: 1-Dec-1986.
- Temte M (1986). An Ada course for upper-level undergraduates, ACM SIGCSE Bulletin, 18:4, (41-45), Online publication date: 1-Dec-1986.
- Sammet J (1986). Why Ada is not just another programming language, Communications of the ACM, 29:8, (722-732), Online publication date: 1-Aug-1986.
- Bernard L (1986). Dereference the reference manual, ACM SIGAda Ada Letters, VI:3, (56-60), Online publication date: 1-May-1986.
- Einarsson B (1986). Mixed language programming realization and the provision of data types, ACM SIGNUM Newsletter, 21:1-2, (2-9), Online publication date: 1-Apr-1986.
- Männer R (1986). Strong typing and physical units, ACM SIGPLAN Notices, 21:3, (11-20), Online publication date: 1-Mar-1986.
- Liskov B, Herlihy M and Gilbert L Limitations of synchronous communication with static process structure in languages for distributed computing Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (150-159)
- Bielak R (1985). ADA(*) vs. Modula-2, ACM SIGPLAN Notices, 20:12, (13-17), Online publication date: 1-Dec-1985.
- Gupta R and Soffa M (1985). The efficiency of storage management schemes for Ada programs, ACM SIGPLAN Notices, 20:11, (30-38), Online publication date: 1-Nov-1985.
- Hardy N (1985). KeyKOS architecture, ACM SIGOPS Operating Systems Review, 19:4, (8-25), Online publication date: 1-Oct-1985.
- Shimizu T and Sakamura K Automatic tuning of multi-task programs for real-time embedded systems Proceedings of the 8th international conference on Software engineering, (350-357)
- Caplinger M (1985). Structured Editor Support for Modularity and Data Abstraction, ACM SIGPLAN Notices, 20:7, (140-147), Online publication date: 1-Jul-1985.
- Wells M, Hug M and Silver R (1985). Libraries as programs preserved within compiler continuations, ACM SIGPLAN Notices, 20:7, (83-91), Online publication date: 1-Jul-1985.
- Caplinger M Structured Editor Support for Modularity and Data Abstraction Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments, (140-147)
- Wells M, Hug M and Silver R Libraries as programs preserved within compiler continuations Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments, (83-91)
- Knight J and Urquhart J (1984). On the implementation and use of Ada on fault-tolerant distributed systems, ACM SIGAda Ada Letters, IV:3, (53-64), Online publication date: 1-Nov-1984.
- Bach I (1984). Unorthogonalities in the identification rules in Ada, ACM SIGAda Ada Letters, IV:3, (37-43), Online publication date: 1-Nov-1984.
- Mac an Airchinnigh M (1984). Some notes on the representation of the user's conceptual model, ACM SIGCHI Bulletin, 16:2, (62-69), Online publication date: 1-Oct-1984.
- Donzeau-Gouge V, Kahn G, Lang B and Mélèse B (1984). Document structure and modularity in mentor, ACM SIGPLAN Notices, 19:5, (141-148), Online publication date: 1-May-1984.
- Donzeau-Gouge V, Kahn G, Lang B and Mélèse B (1984). Document structure and modularity in mentor, ACM SIGSOFT Software Engineering Notes, 9:3, (141-148), Online publication date: 1-May-1984.
- Donzeau-Gouge V, Kahn G, Lang B and Mélèse B Document structure and modularity in mentor Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments, (141-148)
- Adelsberger H (1984). Interactive modeling and simulation of transaction flow or network models using the ADA simulation support environment, ACM SIGSIM Simulation Digest, 15:2, (23-32), Online publication date: 1-Apr-1984.
- Phillips S and Stevenson P (1984). The role of Ada in real time embedded applications, ACM SIGAda Ada Letters, III:4, (99-111), Online publication date: 1-Jan-1984.
- Adelsberger H Interactive modeling and simulation of transaction flow or network models using the ADA simulation support environment Proceedings of the 15th conference on Winter Simulation - Volume 2, (561-572)
- Wetherell C (1981). Problems with the Ada reference grammar, ACM SIGPLAN Notices, 16:9, (90-104), Online publication date: 1-Sep-1981.
Recommendations
Considerations in developing a formally-based visual programming language reference manual: a case study on the SLAM II language
A language reference manual provides a definitive document containing complete and accurate details about the legality and meaning of the language's constructs. Some key decisions in writing a language reference manual are how to specify syntax, how to ...