Suchergebnisse - 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.

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

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

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

The Rational Programmer: Investigating Programming Language Pragmatics.

Autoren: Dimoulas, Christos Felleisen, Matthias

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

Schlagwörter: 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.

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

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

Schlagwörter: MOBILE computing, SYSTEM analysis, SYSTEMS software, PROGRAMMING languages, ALGORITHMS, COMPUTER programming

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

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

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

Schlagwörter: COMPARATIVE studies, COMPUTER programming, PROGRAMMING languages, COMPUTER science, COMPUTER engineering, ERGONOMICS, APPLICATION software

Parallel programming on a high-performance application-runtime.

Autoren: Goscinski, Wojtek James Abramson, David

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

Schlagwörter: HIGH performance computing, GRID computing, COMPUTER software development, PARALLEL programming, ARCHITECTURAL design, PROGRAMMING languages, VIRTUAL machine systems

Behavioral Interface Specification Languages.

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

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

Schlagwörter: COMPUTER interfaces, PROGRAMMING languages, COMPUTER programming, COMPUTER software, COMPUTER programmers, SOFTWARE verification, SOFTWARE engineering

Online Programming.

Autoren: Schwartz, Jules I.

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

Schlagwörter: PROGRAMMING languages, COMPUTER software, INTERNET users, COMPUTER programming, WORK environment

Coordination Languages and their Significance.

Autoren: Gelernter, David Carriero, Nicholas

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

Schlagwörter: PROGRAMMING languages, COMPUTER programmers, COMPUTER software, COMPUTER systems, SYSTEMS software

Dynamic Update of Business Process Management.

Autoren: Nahabedian, Leandro

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

Schlagwörter: 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.

Autoren: Kelleher, Caitlin Pausch, Randy

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

Schlagwörter: COMPUTER programming, COMPUTER programmers, PROGRAMMING languages, ALGORITHMS, COMPUTER software

Term Transformers: A New Approach to State.

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

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

Schlagwörter: PROGRAMMING languages, COMPUTER programming, SOFTWARE verification, PROGRAMMING language semantics, SOFTWARE engineering, COMPUTER systems

Beyond Programming Languages.

Autoren: Winograd, Terry

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

Schlagwörter: COMPUTER programming, PROGRAMMING languages, COMPUTER software, COMPUTERS, ALGORITHMS, COMPUTER science

A Programmable Programming Language.

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

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

Schlagwörter: RACKET (Computer program language), DOMAIN-specific programming languages, COMPUTER software development

Reactive Imperative Programming with Dataflow Constraints.

Autoren: DEMETRESCU, CAMIL FINOCCHI, IRENE RIBICHINI, ANDREA

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

Schlagwörter: IMPERATIVE programming, DATA flow computing, SOFTWARE visualization, COMPILERS (Computer programs), PROGRAMMING languages

A concurrent constraint programming interpretation of access permissions.

Autoren: OLARTE, CARLOS PIMENTEL, ELAINE RUEDA, CAMILO

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

Schlagwörter: OBJECT-oriented programming languages, COMPUTER programming, AUTOMATIC theorem proving, ARTIFICIAL intelligence, COMPUTER software

Research on WebAssembly Runtimes: A Survey.

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

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

Schlagwörter: RUN time systems (Computer science), PROGRAMMING languages, COMPUTER memory management, SCHOLARLY method, UNIVERSITY research

Programming Tools and Environments.

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

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

Schlagwörter: COMPUTER programming, HIGH performance computing, COMPUTER scientists, COMPUTER architecture, COMPUTER systems, PROGRAMMING languages, COMPUTER software

CSP2Turtle: Verified Turtle Robot Plans †.

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

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

Schlagwörter: 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.

Autoren: Kashyap, Arya

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

Schlagwörter: 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.

Autoren: Kandl, Susanne Chandrashekar, Sandeep

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

Schlagwörter: COMPUTER software, PROGRAMMING languages, SHORT circuits, ERROR detection (Information theory), BOOLEAN functions