Výsledky vyhledávání - acm: d.: software/d.3: programming languages/d.3.4: process/d.3.4.10: run-time environment~

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

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

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

Toward live domain-specific languages.

Autoři: van Rozen, Riemer van der Storm, Tijs

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

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

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

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

Autoři: Ivie, Evan L. Bell, G. Siewiorek, D.

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

Témata: COMPUTER software development, PROGRAMMING languages, C (Computer program language), ELECTRONIC systems, ARTIFICIAL languages, COMPUTER programmers

Validation of web service compositions.

Autoři: Baresi, L. Bianculli, D. Ghezzi, C. a další

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

Témata: WEB services, APPLICATION software, SOFTWARE architecture, PROGRAMMING languages, SOFTWARE validation

An Architecture for a Tri-Programming Model-Based Parallel Hybrid Testing Tool.

Autoři: Altalhi, Saeed Musaad Eassa, Fathy Elbouraey Al-Ghamdi, Abdullah Saad Al-Malaise a další

Zdroj: Applied Sciences (2076-3417); Nov2023, Vol. 13 Issue 21, p11960, 16p

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

Autoři: Japke, Nils Grambow, Martin Laaber, Christoph a další

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

Témata: COMPUTER software quality control, TIME measurements, OPEN source software, PROGRAMMING languages

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

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

Integrated Hardware Garbage Collection.

Autoři: GARCÍA, ANDRÉS AMAYA MAY, DAVID NUTTING, ED

Zdroj: ACM Transactions on Embedded Computing Systems; Sep2021, Vol. 20 Issue 5, p1-25, 25p

Témata: REFUSE collection, SOFTWARE productivity, SOFTWARE reliability, SANITATION workers, PROGRAMMING languages, PYTHON programming language

Acm forum.

Autoři: R. L. A. Gries, David

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

Témata: LETTERS to the editor, COMPUTER programming, FORTRAN, PROGRAMMING languages, COMPUTER software

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

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

Autoři: Talia, Domenico Srimani, Pradip K. Jazayeri, Mehdi

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

Témata: PARALLEL processing, PROGRAMMING languages, HIGH performance computing, ALGORITHMS, COMPUTER software development, COMPUTER architecture, PARALLEL computers

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

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

Autoři: Al-Imamy, Samer Alizadeh, Javanshir Nour, Mohamed A.

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

Témata: TEACHING methods, COMPUTER programming education, PROGRAMMING languages, COMPUTER software, TEACHING aids

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

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

An Interactive Computer System Using Graphical Flowchart Input.

Autoři: Robbins, M. F. Beyer, J. D.

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

Témata: INTERACTIVE computer terminals, INTERACTIVE computer systems, COMPUTER graphics software, FLOW charts, PROGRAMMING languages, DISCRETE-time systems