Search Results - acm: d.: software/d.3: programming languages/d.3.4: processes/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

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

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

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

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

A Survey on Spatio-temporal Data Analytics Systems.

Authors: ALAM, MD MAHBUB TORGO, LUIS BIFET, ALBERT

Source: ACM Computing Surveys; 2022 Suppl 10, Vol. 54, p1-38, 38p

Subject Terms: SPATIAL data infrastructures, GEOGRAPHIC information system software, PROGRAMMING languages, SPATIOTEMPORAL processes, LOCATION-based services, TEMPORAL databases, SQL

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

Modeling software processes from different domains using SPEM and BPMN notations: An experience report of teaching software processes.

Authors: Bezerra, Carla Coutinho, Emanuel

Source: Journal of Software Engineering Research & Development; 2023, Vol. 11 Issue 1, p1-19, 19p

Subject Terms: SOFTWARE architecture, SOFTWARE engineering, BUSINESS process modeling, PROGRAMMING languages, COMPUTER software, SYSTEMS software, COMPUTER software development

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

Modelling and verifying time-aware processes for cyber-physical environments.

Authors: Graja, Imen Kallel, Slim Guermouche, Nawal et al.

Source: IET Software (Wiley-Blackwell); 2019, Vol. 13 Issue 1, p36-48, 13p

Subject Terms: CYBER physical systems, BUSINESS process management, COMPUTER software correctness, PROGRAMMING languages, COMPUTER systems

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

A Formal Approach to Autonomic Systems Programming: The SCEL Language.

Authors: DE NICOLA, ROCCO LORETI, MICHELE PUGLIESE, ROSARIO et al.

Source: ACM Transactions on Autonomous & Adaptive Systems; May2014, Vol. 9 Issue 2, p1-29, 29p

Subject Terms: COMPUTER programming, AUTONOMIC computing, PROGRAMMING languages, COMPUTATIONAL complexity, COMPUTER software, JAVA programming language

Integrated Hardware Garbage Collection.

Authors: GARCÍA, ANDRÉS AMAYA MAY, DAVID NUTTING, ED

Source: ACM Transactions on Embedded Computing Systems; Sep2021, Vol. 20 Issue 5, p1-25, 25p

Subject Terms: REFUSE collection, SOFTWARE productivity, SOFTWARE reliability, SANITATION workers, PROGRAMMING languages, PYTHON programming language

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

Efficient data race detection for async-finish parallelism.

Authors: Raman, Raghavan Zhao, Jisheng Sarkar, Vivek et al.

Source: Formal Methods in System Design; Dec2012, Vol. 41 Issue 3, p321-347, 27p

Subject Terms: PARALLEL programming, RUN time systems (Computer science), MULTICORE processors, DEVELOPMENT of application software, PARALLEL algorithms, PROGRAMMING languages

Challenges and Improvements in Distributed Software Development: A Systematic Review.

Authors: Jiménez, Miguel Piattini, Mario Vizcaíno, Aurora

Source: Advances in Software Engineering; 2009, p1-14, 14p, 4 Charts, 4 Graphs

Subject Terms: COMPUTER software development, COMPUTER software quality control, SOFTWARE architecture, COMPUTER programming, COMPUTER programmers, COMPUTER software developers, PROGRAMMING languages

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

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

A Programmable Programming Language.

Authors: FELLEISEN, MATTHIAS FINDLER, ROBERT BRUCE FLATT, MATTHEW et al.

Source: Communications of the ACM; Mar2018, Vol. 61 Issue 3, p62-71, 10p, 1 Illustration, 8 Diagrams

Subject Terms: RACKET (Computer program language), DOMAIN-specific programming languages, COMPUTER software development

Behavioral Interface Specification Languages.

Authors: Hatcliff, John Leavens, Gary T. Leino, K. Rustan M. et al.

Source: ACM Computing Surveys; Jun2012, Vol. 44 Issue 3, p16-16:58, 58p

Subject Terms: COMPUTER interfaces, PROGRAMMING languages, COMPUTER programming, COMPUTER software, COMPUTER programmers, SOFTWARE verification, SOFTWARE engineering