Výsledky vyhledávání - 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.

Autoři: ALAM, MD MAHBUB TORGO, LUIS BIFET, ALBERT

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

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

The Rational Programmer: Investigating Programming Language Pragmatics.

Autoři: Dimoulas, Christos Felleisen, Matthias

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

Témata: 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.

Autoři: SEWELL, PETER WOJCIECHOWSKI, PAWEŁ T. UNYAPOTH, ASIS

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

Témata: MOBILE computing, SYSTEM analysis, SYSTEMS software, PROGRAMMING languages, ALGORITHMS, COMPUTER programming

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

Autoři: Farooq, Muhammad Shoaib Khan, Sher Afzal Ahmad, Farooq a další

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

Témata: COMPARATIVE studies, COMPUTER programming, PROGRAMMING languages, COMPUTER science, COMPUTER engineering, ERGONOMICS, APPLICATION software

Parallel programming on a high-performance application-runtime.

Autoři: Goscinski, Wojtek James Abramson, David

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

Témata: HIGH performance computing, GRID computing, COMPUTER software development, PARALLEL programming, ARCHITECTURAL design, PROGRAMMING languages, VIRTUAL machine systems

Behavioral Interface Specification Languages.

Autoři: Hatcliff, John Leavens, Gary T. Leino, K. Rustan M. a další

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

Témata: COMPUTER interfaces, PROGRAMMING languages, COMPUTER programming, COMPUTER software, COMPUTER programmers, SOFTWARE verification, SOFTWARE engineering

Online Programming.

Autoři: Schwartz, Jules I.

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

Témata: PROGRAMMING languages, COMPUTER software, INTERNET users, COMPUTER programming, WORK environment

Coordination Languages and their Significance.

Autoři: Gelernter, David Carriero, Nicholas

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

Témata: PROGRAMMING languages, COMPUTER programmers, COMPUTER software, COMPUTER systems, SYSTEMS software

Dynamic Update of Business Process Management.

Autoři: Nahabedian, Leandro

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

Témata: 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.

Autoři: Kelleher, Caitlin Pausch, Randy

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

Témata: COMPUTER programming, COMPUTER programmers, PROGRAMMING languages, ALGORITHMS, COMPUTER software

Term Transformers: A New Approach to State.

Autoři: MORRIS, JOSEPH M. BUNKENBURG, ALEXANDER TYRRELL, MALCOLM

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

Témata: PROGRAMMING languages, COMPUTER programming, SOFTWARE verification, PROGRAMMING language semantics, SOFTWARE engineering, COMPUTER systems

Beyond Programming Languages.

Autoři: Winograd, Terry

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

Témata: COMPUTER programming, PROGRAMMING languages, COMPUTER software, COMPUTERS, ALGORITHMS, COMPUTER science

A Programmable Programming Language.

Autoři: FELLEISEN, MATTHIAS FINDLER, ROBERT BRUCE FLATT, MATTHEW a další

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

Témata: RACKET (Computer program language), DOMAIN-specific programming languages, COMPUTER software development

Reactive Imperative Programming with Dataflow Constraints.

Autoři: DEMETRESCU, CAMIL FINOCCHI, IRENE RIBICHINI, ANDREA

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

Témata: IMPERATIVE programming, DATA flow computing, SOFTWARE visualization, COMPILERS (Computer programs), PROGRAMMING languages

A concurrent constraint programming interpretation of access permissions.

Autoři: OLARTE, CARLOS PIMENTEL, ELAINE RUEDA, CAMILO

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

Témata: OBJECT-oriented programming languages, COMPUTER programming, AUTOMATIC theorem proving, ARTIFICIAL intelligence, COMPUTER software

Research on WebAssembly Runtimes: A Survey.

Autoři: Zhang, Yixuan Liu, Mugeng Wang, Haoyu a další

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

Témata: RUN time systems (Computer science), PROGRAMMING languages, COMPUTER memory management, SCHOLARLY method, UNIVERSITY research

Programming Tools and Environments.

Autoři: Saltz, Joel Sussman, Alan Graham, Susan a další

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

Témata: COMPUTER programming, HIGH performance computing, COMPUTER scientists, COMPUTER architecture, COMPUTER systems, PROGRAMMING languages, COMPUTER software

CSP2Turtle: Verified Turtle Robot Plans †.

Autoři: MacConville, Dara Farrell, Marie Luckcuck, Matt a další

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

Témata: 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.

Autoři: Kashyap, Arya

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

Témata: 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.

Autoři: Kandl, Susanne Chandrashekar, Sandeep

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

Témata: COMPUTER software, PROGRAMMING languages, SHORT circuits, ERROR detection (Information theory), BOOLEAN functions