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

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

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

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

Toward live domain-specific languages.

Authors: van Rozen, Riemer van der Storm, Tijs

Source: Software & Systems Modeling; Feb2019, Vol. 18 Issue 1, p195-212, 18p

Subject Terms: DOMAIN-specific programming languages, CODING theory, ALGORITHMS, SOFTWARE architecture, RUN time systems (Computer science)

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

The Programmer's Workbench -- A Machine for Software Development.

Authors: Ivie, Evan L. Bell, G. Siewiorek, D.

Source: Communications of the ACM; Oct1977, Vol. 20 Issue 10, p746-753, 8p, 4 Diagrams

Subject Terms: COMPUTER software development, PROGRAMMING languages, C (Computer program language), ELECTRONIC systems, ARTIFICIAL languages, COMPUTER programmers

Validation of web service compositions.

Authors: Baresi, L. Bianculli, D. Ghezzi, C. et al.

Source: IET Software (Institution of Engineering & Technology); Dec2007, Vol. 1 Issue 6, p219-232, 14p, 5 Diagrams, 2 Charts

Subject Terms: WEB services, APPLICATION software, SOFTWARE architecture, PROGRAMMING languages, SOFTWARE validation

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

µOpTime: Statically Reducing the Execution Time of Microbenchmark Suites Using Stability Metrics.

Authors: Japke, Nils Grambow, Martin Laaber, Christoph et al.

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

Subject Terms: COMPUTER software quality control, TIME measurements, OPEN source software, PROGRAMMING languages

Reactive Imperative Programming with Dataflow Constraints.

Authors: DEMETRESCU, CAMIL FINOCCHI, IRENE RIBICHINI, ANDREA

Source: ACM Transactions on Programming Languages & Systems; Nov2014, Vol. 37 Issue 1, p3:1-3:53, 53p

Subject Terms: IMPERATIVE programming, DATA flow computing, SOFTWARE visualization, COMPILERS (Computer programs), PROGRAMMING languages

Reasonability of MC/DC for safety-relevant software implemented in programming languages with short-circuit evaluation.

Authors: Kandl, Susanne Chandrashekar, Sandeep

Source: Computing; Mar2015, Vol. 97 Issue 3, p261-279, 19p

Subject Terms: COMPUTER software, PROGRAMMING languages, SHORT circuits, ERROR detection (Information theory), BOOLEAN functions

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

Acm forum.

Authors: R. L. A. Gries, David

Source: Communications of the ACM; Nov74, Vol. 17 Issue 11, p655-657, 3p

Subject Terms: LETTERS to the editor, COMPUTER programming, FORTRAN, PROGRAMMING languages, COMPUTER software

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

Guest Editors' Introduction: Special Issue on Architecture-Independent Languages and Software Tools for Parallel Processing.

Authors: Talia, Domenico Srimani, Pradip K. Jazayeri, Mehdi

Source: IEEE Transactions on Software Engineering; Mar2000, Vol. 26 Issue 3, p193-196, 4p

Subject Terms: PARALLEL processing, PROGRAMMING languages, HIGH performance computing, ALGORITHMS, COMPUTER software development, COMPUTER architecture, PARALLEL computers

Coordination Languages and their Significance.

Authors: Gelernter, David Carriero, Nicholas

Source: Communications of the ACM; Feb1992, Vol. 35 Issue 2, p97-107, 11p

Subject Terms: PROGRAMMING languages, COMPUTER programmers, COMPUTER software, COMPUTER systems, SYSTEMS software

On the Development of a Programming Teaching Tool: The Effect of Teaching by Templates on the Learning Process.

Authors: Al-Imamy, Samer Alizadeh, Javanshir Nour, Mohamed A.

Source: Journal of Information Technology Education: Research; 2006, Vol. 5, p271-283, 13p

Subject Terms: TEACHING methods, COMPUTER programming education, PROGRAMMING languages, COMPUTER software, TEACHING aids

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

An Interactive Computer System Using Graphical Flowchart Input.

Authors: Robbins, M. F. Beyer, J. D.

Source: Communications of the ACM; Feb1970, Vol. 13 Issue 2, p115-119, 5p, 7 Diagrams

Subject Terms: INTERACTIVE computer terminals, INTERACTIVE computer systems, COMPUTER graphics software, FLOW charts, PROGRAMMING languages, DISCRETE-time systems