Search Results - acm: d.: software/d.3: programming languages/d.3.4: process/d.3.4.10: run-time environmental

The Adoption of Green Programming Languages as a Promising Approach to Improve Computing's Sustainability.

Authors: Kashyap, Arya

Source: International Journal of High School Research; May2024, Vol. 6 Issue 5, p18-24, 7p

Subject Terms: PROGRAMMING languages, SUSTAINABILITY, ENVIRONMENTAL impact analysis, COMPUTING platforms, ENERGY consumption, COMPUTER operating systems

Nomadic Pict: Programming Languages, Communication Infrastructure Overlays, and Semantics for Mobile Computation.

Authors: SEWELL, PETER WOJCIECHOWSKI, PAWEŁ T. UNYAPOTH, ASIS

Source: ACM Transactions on Programming Languages & Systems; Apr2010, Vol. 32 Issue 4, p12-12.83, 63p, 7 Diagrams, 6 Charts

Subject Terms: MOBILE computing, SYSTEM analysis, SYSTEMS software, PROGRAMMING languages, ALGORITHMS, COMPUTER programming

An Evaluation Framework and Comparative Analysis of the Widely Used First Programming Languages.

Authors: Farooq, Muhammad Shoaib Khan, Sher Afzal Ahmad, Farooq et al.

Source: PLoS ONE; Feb2014, Vol. 9 Issue 2, p1-25, 25p

Subject Terms: COMPARATIVE studies, COMPUTER programming, PROGRAMMING languages, COMPUTER science, COMPUTER engineering, ERGONOMICS, APPLICATION software

Research on WebAssembly Runtimes: A Survey.

Authors: Zhang, Yixuan Liu, Mugeng Wang, Haoyu et al.

Source: ACM Transactions on Software Engineering & Methodology; Nov2025, Vol. 34 Issue 8, p1-47, 47p

Subject Terms: RUN time systems (Computer science), PROGRAMMING languages, COMPUTER memory management, SCHOLARLY method, UNIVERSITY research

Environmental Bisimulations for Higher-Order Languages.

Authors: Sangiorgi, Davide Kobayashi, Naoki Sumii, Eijiro

Source: ACM Transactions on Programming Languages & Systems; Jan2011, Vol. 33 Issue 1, p5:1-5:69, 69p

Subject Terms: PROGRAMMING languages, COMPUTER simulation, MATHEMATICAL analysis, CONGRUENCE modular varieties, FORMAL language semantics, SYSTEMS theory, SYSTEMS development, COMPUTER programming

Automatic Result Verification by Complete Run-Time Checking of Computations.

Authors: Lederer, Edgar F. A. Dumitrescu, Romeo A.

Source: International Journal of Foundations of Computer Science; Feb2001, Vol. 12 Issue 1, p97, 28p

Subject Terms: PROGRAMMING languages, COMPUTER software

An Analysis of Language-Level Support for Self-Adaptive Software.

Authors: SALVANESCHI, GUIDO GHEZZI, CARLO PRADELLA, MATTEO

Source: ACM Transactions on Autonomous & Adaptive Systems; 2013, Vol. 8 Issue 2, p1-29, 29p, 4 Diagrams

Subject Terms: PROGRAMMING languages, SELF-adaptive software, COMPUTER systems, COMPUTER software development, COMPARATIVE studies, SOFTWARE architecture

The Rational Programmer: Investigating Programming Language Pragmatics.

Authors: Dimoulas, Christos Felleisen, Matthias

Source: Communications of the ACM; Jul2025, Vol. 68 Issue 7, p120-130, 11p

Subject Terms: PRAGMATICS, PROGRAMMING languages, PROGRAMMING language semantics, TYPESCRIPT (Computer program language), JAVASCRIPT programming language, COMPUTER software development

USING IMPACT ANALYSIS BASED KNOWLEDGE FOR VALIDATING REFACTORING STEPS.

Authors: Bozó, István Tóth, Melinda Tejfel, Máté et al.

Source: Studia Universitatis Babeş-Bolyai, Informatica; 2011, Vol. 56 Issue 3, p57-64, 8p, 2 Diagrams

Subject Terms: ENVIRONMENTAL impact analysis, SOFTWARE refactoring, SOFTWARE validation, PROGRAMMING languages, SOURCE code

The Effect of Environmental Metrics on Software Fault Prediction.

Authors: Odabasi, Merve Gul, Ensar

Source: International Journal of Software Engineering & Knowledge Engineering; Jan2023, Vol. 33 Issue 1, p85-108, 24p

Subject Terms: SOFTWARE measurement, MACHINE learning, PROGRAMMING languages, DECISION trees, FORECASTING

Dynamic Update of Business Process Management.

Authors: Nahabedian, Leandro

Source: ICSE: International Conference on Software Engineering; 2017, p413-416, 4p

Subject Terms: BUSINESS process management, SOFTWARE architecture, HUMAN behavior models, DECLARATIVE programming languages, COMPUTER software development

Critical Factors for Assimilation of Object-Oriented Programming Languages.

Authors: IHLSOON CHO YOUNG-GUL KIM

Source: Journal of Management Information Systems; Winter2001/2002, Vol. 18 Issue 3, p125-156, 32p

Subject Terms: INFORMATION technology, OBJECT-oriented programming, PROGRAMMING languages, MANAGEMENT information systems, TELEMATICS, TECHNOLOGICAL innovations, COMPUTER software development, ELECTRONIC data processing

Acm forum.

Authors: Lamport, Leslie Ashenhurst, R. L. Ammeraal, L. et al.

Source: Communications of the ACM; Mar1976, Vol. 19 Issue 3, p162-165, 4p

Subject Terms: MATHEMATICAL programming, COMPUTER software, CYBERNETICS, PROGRAMMING languages, COMPUTER programming

Reviews & Products: COMMUNICATIONS of the ACM (Periodical)

Safe Automated Refactoring for Intelligent Parallelization of Java 8 Streams.

Authors: Khatchadourian, Raffi Yiming Tang Bagherzadeh, Mehdi et al.

Source: ICSE: International Conference on Software Engineering; 5/25/2019, p619-630, 12p

Subject Terms: JAVA programming language, COMPUTER science, COMPUTER software development, ARTIFICIAL intelligence, PROGRAMMING languages

Blame and coercion: Together again for the first time.

Authors: SIEK, JEREMY G. THIEMANN, PETER WADLER, PHILIP

Source: Journal of Functional Programming; 2021, Vol. 31 Issue 1/2, p1-56, 56p

Subject Terms: PROGRAMMING languages, COMPUTER software correctness, BISIMULATION, MATHEMATICAL optimization, PROOF theory

Timetide: A Programming Model for Logically Synchronous Distributed Systems.

Authors: Kenwright, Logan Roop, Partha Allen, Nathan et al.

Source: ACM Transactions on Embedded Computing Systems; 2025 Suppl 5, Vol. 24, p1-25, 25p

Subject Terms: DISTRIBUTED computing, SYNCHRONIZATION, SOFTWARE architecture, FORMAL methods (Computer science), DETERMINISTIC algorithms

A Game Loop Architecture for the GPU Used as a Math Coprocessor in Real-Time Applications.

Authors: ZAMITH, MARCELO P. M. CLUA, ESTEBAN W. G. CONCI, AURA et al.

Source: Computers in Entertainment; Oct2008, Vol. 6 Issue 3, p42:1-42:19, 19p, 1 Color Photograph, 7 Diagrams, 3 Charts, 1 Graph

Subject Terms: VIDEO games, MICROPROCESSORS, MATHEMATICS, REAL-time computing, CENTRAL processing units, PROGRAMMING languages, PHYSICS, OPEN source software

Using language workbenches and domain-specific languages for safety-critical software development.

Authors: Voelter, Markus Kolb, Bernd Birken, Klaus et al.

Source: Software & Systems Modeling; Aug2019, Vol. 18 Issue 4, p2507-2530, 24p

Subject Terms: COMPUTER software development, WORKBENCHES, PROGRAMMING languages, LANGUAGE & languages

An Architecture for a Tri-Programming Model-Based Parallel Hybrid Testing Tool.

Authors: Altalhi, Saeed Musaad Eassa, Fathy Elbouraey Al-Ghamdi, Abdullah Saad Al-Malaise et al.

Source: Applied Sciences (2076-3417); Nov2023, Vol. 13 Issue 21, p11960, 16p

Subject Terms: PARALLEL programming, SOFTWARE architecture, GRAPHICS processing units, MESSAGE passing (Computer science), PROGRAMMING languages, DYNAMIC testing, PARALLEL processing

Jean Sammet: Programming Language Contributor and Historian, and ACM President.

Authors: Bergin, Thomas J.

Source: IEEE Annals of the History of Computing; Jan-Mar2009, Vol. 31 Issue 1, p76-85, 10p, 1 Black and White Photograph

Subject Terms: PROGRAMMING languages

Geographic Terms: NEW York (N.Y.), NEW York (State)

Company/Entity: NATIONAL Academy of Engineering

People: SAMMET, Jean E., 1928-2017