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

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

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

Parallel programming on a high-performance application-runtime.

Authors: Goscinski, Wojtek James Abramson, David

Source: Concurrency & Computation: Practice & Experience; Dec2008, Vol. 20 Issue 18, p2141-2177, 37p, 9 Diagrams, 11 Graphs

Subject Terms: HIGH performance computing, GRID computing, COMPUTER software development, PARALLEL programming, ARCHITECTURAL design, PROGRAMMING languages, VIRTUAL machine systems

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

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

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

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

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

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

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

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

Programming Tools and Environments.

Authors: Saltz, Joel Sussman, Alan Graham, Susan et al.

Source: Communications of the ACM; Nov98, Vol. 41 Issue 11, p64-73, 10p

Subject Terms: COMPUTER programming, HIGH performance computing, COMPUTER scientists, COMPUTER architecture, COMPUTER systems, PROGRAMMING languages, COMPUTER software

CSP2Turtle: Verified Turtle Robot Plans †.

Authors: MacConville, Dara Farrell, Marie Luckcuck, Matt et al.

Source: Robotics; Apr2023, Vol. 12 Issue 2, p62, 22p

Subject Terms: MOBILE robots, SOFTWARE verification, TURTLES, LARGE scale systems, PYTHON programming language, ROBOTS, PROGRAMMING languages

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

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