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

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

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

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

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

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

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

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

Online Programming.

Authors: Schwartz, Jules I.

Source: Communications of the ACM; Mar1966, Vol. 9 Issue 3, p199-203, 5p

Subject Terms: PROGRAMMING languages, COMPUTER software, INTERNET users, COMPUTER programming, WORK environment

DEF - a programming language agnostic framework and execution environment for the parallel execution of library routines.

Authors: Feilhauer, Thomas Sobotka, Martin

Source: Journal of Cloud Computing (2192-113X); 12/22/2016, Vol. 5 Issue 1, p1-17, 17p

Subject Terms: PROGRAMMING languages, CLOUD computing, COMPUTER software, CENTRAL libraries, COMPUTER science

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

THE DOWL DISTRIBUTED OBJECT-ORIENTED LANGUAGE.

Source: Communications of the ACM; Sep93, Vol. 36 Issue 9, p48-55, 8p

Subject Terms: OBJECT-oriented programming, DISTRIBUTED computing, C++, COMPUTER-supported cooperative work, PROGRAMMING languages, APPLICATION software

Lowering the Barriers to Programming: A Taxonomy of Programming Environments and Languages for Novice Programmers.

Authors: Kelleher, Caitlin Pausch, Randy

Source: ACM Computing Surveys; Jun2005, Vol. 37 Issue 2, p83-137, 55p

Subject Terms: COMPUTER programming, COMPUTER programmers, PROGRAMMING languages, ALGORITHMS, COMPUTER software

Term Transformers: A New Approach to State.

Authors: MORRIS, JOSEPH M. BUNKENBURG, ALEXANDER TYRRELL, MALCOLM

Source: ACM Transactions on Programming Languages & Systems; May2009, Vol. 31 Issue 4, p16:1-16:42, 42p, 5 Diagrams

Subject Terms: PROGRAMMING languages, COMPUTER programming, SOFTWARE verification, PROGRAMMING language semantics, SOFTWARE engineering, COMPUTER systems

Beyond Programming Languages.

Authors: Winograd, Terry

Source: Communications of the ACM; Jul1979, Vol. 22 Issue 7, p391-401, 11p

Subject Terms: COMPUTER programming, PROGRAMMING languages, COMPUTER software, COMPUTERS, ALGORITHMS, COMPUTER science

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 concurrent constraint programming interpretation of access permissions.

Authors: OLARTE, CARLOS PIMENTEL, ELAINE RUEDA, CAMILO

Source: Theory & Practice of Logic Programming; Mar2018, Vol. 18 Issue 2, p252-295, 44p

Subject Terms: OBJECT-oriented programming languages, COMPUTER programming, AUTOMATIC theorem proving, ARTIFICIAL intelligence, COMPUTER software

Why are we using JAVA AGAIN?

Authors: Tyma, Paul

Source: Communications of the ACM; Jun98, Vol. 41 Issue 6, p38-42, 5p

Subject Terms: JAVA programming language, PROGRAMMING languages, COMPUTER software development, DATABASE management, ELECTRONIC file management, COMPUTER science