Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
  • Noble J and Biddle R. programmingLanguage as Language;. Proceedings of the 2023 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software. (191-204).

    https://doi.org/10.1145/3622758.3622885

  • (2023). Bibliography. Engineering a Compiler. 10.1016/B978-0-12-815412-0.00023-1. (793-813).

    https://linkinghub.elsevier.com/retrieve/pii/B9780128154120000231

  • Cooper K and Torczon L. (2023). Implementing Procedures. Engineering a Compiler. 10.1016/B978-0-12-815412-0.00012-7. (275-325).

    https://linkinghub.elsevier.com/retrieve/pii/B9780128154120000127

  • Zeigler B, Nicolau de França B, Graciano Neto V, Hill R, Champagne L and Ören T. (2023). History of Simulation. Body of Knowledge for Modeling and Simulation. 10.1007/978-3-031-11085-6_17. (413-434).

    https://link.springer.com/10.1007/978-3-031-11085-6_17

  • Liu Z and Wang J. (2020). Human-cyber-physical systems: concepts, challenges, and research opportunities. Frontiers of Information Technology & Electronic Engineering. 10.1631/FITEE.2000537. 21:11. (1535-1553). Online publication date: 1-Nov-2020.

    http://link.springer.com/10.1631/FITEE.2000537

  • Hui R and Kromberg M. (2020). APL since 1978. Proceedings of the ACM on Programming Languages. 4:HOPL. (1-108). Online publication date: 14-Jun-2020.

    https://doi.org/10.1145/3386319

  • Liu Z, Bowen J, Liu B, Tyszberowicz S and Zhang T. Software Abstractions and Human-Cyber-Physical Systems Architecture Modelling. Engineering Trustworthy Software Systems. (159-219).

    https://doi.org/10.1007/978-3-030-55089-9_5

  • Verna D. Method Combinators. Proceedings of the 11th European Lisp Symposium on European Lisp Symposium. (32-41).

    /doi/10.5555/3323215.3323220

  • Choi J, Shull T, Garzaran M and Torrellas J. (2017). ShortCut. ACM SIGARCH Computer Architecture News. 45:2. (494-506). Online publication date: 14-Sep-2017.

    https://doi.org/10.1145/3140659.3080237

  • Zeigler B and Muzy A. (2017). From Discrete Event Simulation to Discrete Event Specified Systems (DEVS). IFAC-PapersOnLine. 10.1016/j.ifacol.2017.08.672. 50:1. (3039-3044). Online publication date: 1-Jul-2017.

    https://linkinghub.elsevier.com/retrieve/pii/S2405896317310601

  • Choi J, Shull T, Garzaran M and Torrellas J. ShortCut. Proceedings of the 44th Annual International Symposium on Computer Architecture. (494-506).

    https://doi.org/10.1145/3079856.3080237

  • Joque J. (2016). The Invention of the Object: Object Orientation and the Philosophical Development of Programming Languages. Philosophy & Technology. 10.1007/s13347-016-0223-5. 29:4. (335-356). Online publication date: 1-Dec-2016.

    http://link.springer.com/10.1007/s13347-016-0223-5

  • Sestoft P. (2015). Early Nordic Compilers and Autocodes. History of Nordic Computing 4. 10.1007/978-3-319-17145-6_36. (350-366).

    http://link.springer.com/10.1007/978-3-319-17145-6_36

  • Lazzarini V. (2013). The Development of Computer Music Programming Systems. Journal of New Music Research. 10.1080/09298215.2013.778890. 42:1. (97-110). Online publication date: 1-Mar-2013.

    http://www.tandfonline.com/doi/abs/10.1080/09298215.2013.778890

  • Runeson P and Engström E. (2012). Regression Testing in Software Product Line Engineering. Advances in Computers Volume 86. 10.1016/B978-0-12-396535-6.00007-7. (223-263).

    http://linkinghub.elsevier.com/retrieve/pii/B9780123965356000077

  • (2012). Bibliography. Engineering a Compiler. 10.1016/B978-0-12-088478-0.00024-4. (765-785).

    https://linkinghub.elsevier.com/retrieve/pii/B9780120884780000244

  • Främling K, Nyman J, Kaustell A and Holmström J. (2012). Instance-Informed Information Systems: A Pre-requisite for Energy-Efficient and Green Information Systems. Mobile and Ubiquitous Systems: Computing, Networking, and Services. 10.1007/978-3-642-30973-1_15. (174-185).

    http://link.springer.com/10.1007/978-3-642-30973-1_15

  • Rubino C and Power J. (2008). Level design optimization guidelines for game artists using the epic games. Computers in Entertainment. 6:4. (1-36). Online publication date: 1-Dec-2008.

    https://doi.org/10.1145/1461999.1462007

  • Hollocks B. (2017). Intelligence, innovation and integrity— KD Tocher and the dawn of simulation. Journal of Simulation. 10.1057/jos.2008.15. 2:3. (128-137). Online publication date: 1-Nov-2008.

    https://www.tandfonline.com/doi/full/10.1057/jos.2008.15

  • Rice S, Markowitz H, Marjanski A and Bailey S. The SIMSCRIPT III programming language for modular object-oriented simulation. Proceedings of the 37th conference on Winter simulation. (621-630).

    /doi/10.5555/1162708.1162816

  • Frias M, López Pombo C, Baum G, Aguirre N and Maibaum T. (2005). Reasoning about static and dynamic properties in alloy. ACM Transactions on Software Engineering and Methodology. 14:4. (478-526). Online publication date: 1-Oct-2005.

    https://doi.org/10.1145/1101815.1101819

  • Ryder B, Soffa M and Burnett M. (2005). The impact of software engineering research on modern programming languages. ACM Transactions on Software Engineering and Methodology. 14:4. (431-477). Online publication date: 1-Oct-2005.

    https://doi.org/10.1145/1101815.1101818

  • Venkatachalam V and Franz M. (2005). Power reduction techniques for microprocessor systems. ACM Computing Surveys. 37:3. (195-237). Online publication date: 1-Sep-2005.

    https://doi.org/10.1145/1108956.1108957

  • Böszörmenyi L. Teaching. Proceedings of the 2005 Informatics in Secondary Schools - Evolution and Perspectives international conference on From Computer Literacy to Informatics Fundamentals. (93-103).

    https://doi.org/10.1007/978-3-540-31958-0_13

  • Rice S, Marjanski A, Markowitz H and Bailey S. The SIMSCRIPT III Programming Language for Modular Object-Oriented Simulation Winter Simulation Conference, 2005.. 10.1109/WSC.2005.1574302. 0-7803-9519-0. (621-630).

    http://ieeexplore.ieee.org/document/1574302/

  • Ang S and Slaughter S. (2004). Turnover of information technology professionals. ACM SIGMIS Database: the DATABASE for Advances in Information Systems. 35:3. (11-27). Online publication date: 24-Aug-2004.

    https://doi.org/10.1145/1017114.1017118

  • Rice S, Marjanski A, Markowitz H and Bailey S. Object-Oriented SIMSCRIPT. Proceedings of the 37th annual symposium on Simulation.

    /doi/10.5555/987679.987716

  • Rice S, Marjanski A, Markowitz H and Bailey S. Object-oriented SIMSCRIPT 37th Annual Simulation Symposium, 2004.. 10.1109/SIMSYM.2004.1299481. 0-7695-2110-X. (178-186).

    http://ieeexplore.ieee.org/document/1299481/

  • Biddle R, Martin A and Noble J. (2003). No name. ACM SIGPLAN Notices. 38:12. (76-96). Online publication date: 1-Dec-2003.

    https://doi.org/10.1145/966051.966061

  • Dahl O and Nygaard K. Simula. Encyclopedia of Computer Science. (1576-1578).

    /doi/10.5555/1074100.1074792

  • Nance R. A history of discrete event simulation programming languages. History of programming languages---II. (369-427).

    https://doi.org/10.1145/234286.1057822

  • Taivalsaari A. (1995). Delegation versus concatenation or cloning is inheritance too. ACM SIGPLAN OOPS Messenger. 6:3. (20-49). Online publication date: 1-Jul-1995.

    https://doi.org/10.1145/219260.219264

  • Chung K, Sang J and Rego V. (2006). A performance comparison of event calendar algorithms: An empirical approach. Software: Practice and Experience. 10.1002/spe.4380231005. 23:10. (1107-1138). Online publication date: 1-Oct-1993.

    https://onlinelibrary.wiley.com/doi/10.1002/spe.4380231005

  • Prieto-Díaz R. (1991). Implementing faceted classification for software reuse. Communications of the ACM. 34:5. (88-97). Online publication date: 1-May-1991.

    https://doi.org/10.1145/103167.103176

  • Wileden J, Wolf A, Rosenblatt W and Tarr P. (1991). Specification-level interoperability. Communications of the ACM. 34:5. (72-87). Online publication date: 1-May-1991.

    https://doi.org/10.1145/103167.103175

  • Gabrielian A and Franklin M. (1991). Multilevel specification of real time systems. Communications of the ACM. 34:5. (50-60). Online publication date: 1-May-1991.

    https://doi.org/10.1145/103167.103173

  • Devanbu P, Brachman R, Selfridge P and Ballard B. (1991). LaSSIE. Communications of the ACM. 34:5. (34-49). Online publication date: 1-May-1991.

    https://doi.org/10.1145/103167.103172

  • Jo C and George K. Language concepts using dynamic and distributed objects. Proceedings of the 19th annual conference on Computer Science. (211-220).

    https://doi.org/10.1145/327164.327243

  • Benameur N, Akhamlich N, Ouriachi K and Bourton M. Hierarchical programming of assembly tasks 6th Mediterranean Electrotechnical Conference. 10.1109/MELCON.1991.161992. 0-87942-655-1. (923-926).

    http://ieeexplore.ieee.org/document/161992/

  • Madsen O, Magnusson B and Mølier-Pedersen B. (1990). Strong typing of object-oriented languages revisited. ACM SIGPLAN Notices. 25:10. (140-150). Online publication date: 1-Oct-1990.

    https://doi.org/10.1145/97946.97964

  • Madsen O, Magnusson B and Mølier-Pedersen B. Strong typing of object-oriented languages revisited. Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications. (140-150).

    https://doi.org/10.1145/97945.97964

  • Sanderson D and Rose L. Object-oriented modeling using C++. Proceedings of the 21st annual symposium on Simulation. (143-156).

    /doi/10.5555/62351.62379

  • Bezivin J. (1987). Some experiments in object-oriented simulation. ACM SIGPLAN Notices. 22:12. (394-405). Online publication date: 1-Dec-1987.

    https://doi.org/10.1145/38807.38843

  • Bezivin J. Some experiments in object-oriented simulation. Conference proceedings on Object-oriented programming systems, languages and applications. (394-405).

    https://doi.org/10.1145/38765.38843

  • Eckhardt H, Lamersdorf W, Reinhardt K and Schmidt J. (1986). Datenbankprogrammierung in Rechnernetzen. Informatik-Anwendungen — Trends und Perspektiven. 10.1007/978-3-642-71388-0_46. (602-616).

    http://www.springerlink.com/index/10.1007/978-3-642-71388-0_46

  • Overstreet C and Nance R. (1985). A specification language to assist in analysis of discrete event simulation models. Communications of the ACM. 28:2. (190-201). Online publication date: 1-Feb-1985.

    https://doi.org/10.1145/2786.2792

  • Nance R. (1984). A tutorial view of simulation model development. ACM SIGSIM Simulation Digest. 15:2. (16-22). Online publication date: 1-Apr-1984.

    https://doi.org/10.1145/1103235.1103239

  • Nanoe R. Model development revisited. Proceedings of the 16th conference on Winter simulation. (74-80).

    /doi/10.5555/800013.809435

  • Crestin J. (1983). Syntax and Semantics of Programming Languages Versus CAD/CAM Requirements: the Role of Artificial Intelligence Languages. IFAC Proceedings Volumes. 10.1016/S1474-6670(17)61626-4. 16:20. (343-350). Online publication date: 1-Oct-1983.

    https://linkinghub.elsevier.com/retrieve/pii/S1474667017616264

  • Waite W. (1983). Reviews of "Probability and Statistics with Reliability, Queueing and Computer Science Applications by Kishor S. Trivedi", Prentice-Hall, Englewood-Cliffs, 1982.. ACM SIGOPS Operating Systems Review. 17:2. (10-10). Online publication date: 1-Apr-1983.

    https://doi.org/10.1145/1041478.1041484

  • Waite W. (1983). Reviews of "Medusa, A Distributed Operating System by John K. Ousterhout", Harold S. Stone, Series Editor. UMI Research Pres, University Microfilms International, Ann Arbor, Michigan, 1981.. ACM SIGOPS Operating Systems Review. 17:2. (9-10). Online publication date: 1-Apr-1983.

    https://doi.org/10.1145/1041478.1041483

  • Kant K. (1983). Efficient local checkpointing for software fault tolerance. ACM SIGOPS Operating Systems Review. 17:2. (11-13). Online publication date: 1-Apr-1983.

    https://doi.org/10.1145/1041478.1041479

  • Andrews G and Schneider F. (1983). Concepts and Notations for Concurrent Programming. ACM Computing Surveys. 15:1. (3-43). Online publication date: 1-Mar-1983.

    https://doi.org/10.1145/356901.356903

  • Pollack F, Cox G, Hammerstrom D, Kahn K, Lai K and Rattner J. (1982). Supporting ada memory management in the iAPX-432. ACM SIGPLAN Notices. 17:4. (117-131). Online publication date: 1-Apr-1982.

    https://doi.org/10.1145/960120.801835

  • Pollack F, Cox G, Hammerstrom D, Kahn K, Lai K and Rattner J. (1982). Supporting ada memory management in the iAPX-432. ACM SIGARCH Computer Architecture News. 10:2. (117-131). Online publication date: 1-Mar-1982.

    https://doi.org/10.1145/964750.801835

  • Pollack F, Cox G, Hammerstrom D, Kahn K, Lai K and Rattner J. Supporting ada memory management in the iAPX-432. Proceedings of the first international symposium on Architectural support for programming languages and operating systems. (117-131).

    https://doi.org/10.1145/800050.801835

  • Birtwistle G. Advanced use of Simula. Proceedings of the 13th conference on Winter simulation - Volume 1. (293-304).

    /doi/10.5555/800072.808819

  • Nance R. Stylitism, Synergism, And Syncretism. Proceedings of the 1978 annual conference. (10-14).

    https://doi.org/10.1145/800127.804060

  • Daughety A and Turnquist M. (1978). Simulation optimization using response surfaces based on spline approximations. ACM SIGSIM Simulation Digest. 10:1-2. (73-82). Online publication date: 1-Sep-1978.

    https://doi.org/10.1145/1102786.1102798

  • Schmeiser B. (1978). Methods for modelling and generating probabilistic components in digital computer simulation when the standard distributions are not adequate. ACM SIGSIM Simulation Digest. 10:1-2. (38-43). Online publication date: 1-Sep-1978.

    https://doi.org/10.1145/1102786.1102791

  • Goldman N, Balzer R and Wile D. (1977). The inference of domain structure from informal process descriptions. ACM SIGART Bulletin:63. (75-76). Online publication date: 1-Jun-1977.

    https://doi.org/10.1145/1045343.1045388

  • Brooks R. (1977). Production systems as control structures for programming languages. ACM SIGART Bulletin:63. (33-37). Online publication date: 1-Jun-1977.

    https://doi.org/10.1145/1045343.1045362

  • Anderson R. (1977). The use of production systems in RITA to construct personal computer "agents". ACM SIGART Bulletin:63. (23-27). Online publication date: 1-Jun-1977.

    https://doi.org/10.1145/1045343.1045360

  • Minker J. (1977). Control structure of a pattern-directed search system. ACM SIGART Bulletin:63. (7-14). Online publication date: 1-Jun-1977.

    https://doi.org/10.1145/1045343.1045348

  • McDermott D. (1977). A deductive model of control of a problem solver. ACM SIGART Bulletin:63. (2-7). Online publication date: 1-Jun-1977.

    https://doi.org/10.1145/1045343.1045345

  • Hall A. (1975). ALTRAN solution to problem #8. ACM SIGSAM Bulletin. 9:4. (39-40). Online publication date: 1-Nov-1975.

    https://doi.org/10.1145/1088322.1088328

  • Rochon M and Strubbe H. (1975). Solution to SIGSAM problem no. 5 using schoonschip. ACM SIGSAM Bulletin. 9:4. (30-38). Online publication date: 1-Nov-1975.

    https://doi.org/10.1145/1088322.1088327

  • Feldman S. (1975). A brief description of Altran. ACM SIGSAM Bulletin. 9:4. (12-20). Online publication date: 1-Nov-1975.

    https://doi.org/10.1145/1088322.1088325