Výsledky vyhľadávania - 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.

Autori: Dimoulas, Christos Felleisen, Matthias

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

Predmety: PRAGMATICS, PROGRAMMING languages, PROGRAMMING language semantics, TYPESCRIPT (Computer program language), JAVASCRIPT programming language, COMPUTER software development

Research on WebAssembly Runtimes: A Survey.

Autori: Zhang, Yixuan Liu, Mugeng Wang, Haoyu a ďalší

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

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

Dynamic Update of Business Process Management.

Autori: Nahabedian, Leandro

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

Predmety: BUSINESS process management, SOFTWARE architecture, HUMAN behavior models, DECLARATIVE programming languages, COMPUTER software development

Coordination Languages and their Significance.

Autori: Gelernter, David Carriero, Nicholas

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

Predmety: PROGRAMMING languages, COMPUTER programmers, COMPUTER software, COMPUTER systems, SYSTEMS software

Reactive Imperative Programming with Dataflow Constraints.

Autori: DEMETRESCU, CAMIL FINOCCHI, IRENE RIBICHINI, ANDREA

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

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

Integrated Hardware Garbage Collection.

Autori: GARCÍA, ANDRÉS AMAYA MAY, DAVID NUTTING, ED

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

Predmety: 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.

Autori: 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

Predmety: MOBILE computing, SYSTEM analysis, SYSTEMS software, PROGRAMMING languages, ALGORITHMS, COMPUTER programming

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

Autori: Farooq, Muhammad Shoaib Khan, Sher Afzal Ahmad, Farooq a ďalší

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

Predmety: COMPARATIVE studies, COMPUTER programming, PROGRAMMING languages, COMPUTER science, COMPUTER engineering, ERGONOMICS, APPLICATION software

A Programmable Programming Language.

Autori: FELLEISEN, MATTHIAS FINDLER, ROBERT BRUCE FLATT, MATTHEW a ďalší

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

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

Behavioral Interface Specification Languages.

Autori: Hatcliff, John Leavens, Gary T. Leino, K. Rustan M. a ďalší

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

Predmety: COMPUTER interfaces, PROGRAMMING languages, COMPUTER programming, COMPUTER software, COMPUTER programmers, SOFTWARE verification, SOFTWARE engineering

Online Programming.

Autori: Schwartz, Jules I.

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

Predmety: 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.

Autori: Feilhauer, Thomas Sobotka, Martin

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

Predmety: PROGRAMMING languages, CLOUD computing, COMPUTER software, CENTRAL libraries, COMPUTER science

THE DOWL DISTRIBUTED OBJECT-ORIENTED LANGUAGE.

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

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

The Adoption of Green Programming Languages as a Promising Approach to Improve Computing's Sustainability.

Autori: Kashyap, Arya

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

Predmety: PROGRAMMING languages, SUSTAINABILITY, ENVIRONMENTAL impact analysis, COMPUTING platforms, ENERGY consumption, COMPUTER operating systems

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

Autori: Kelleher, Caitlin Pausch, Randy

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

Predmety: COMPUTER programming, COMPUTER programmers, PROGRAMMING languages, ALGORITHMS, COMPUTER software

Term Transformers: A New Approach to State.

Autori: 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

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

Beyond Programming Languages.

Autori: Winograd, Terry

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

Predmety: COMPUTER programming, PROGRAMMING languages, COMPUTER software, COMPUTERS, ALGORITHMS, COMPUTER science

Automatic Result Verification by Complete Run-Time Checking of Computations.

Autori: Lederer, Edgar F. A. Dumitrescu, Romeo A.

Zdroj: International Journal of Foundations of Computer Science; Feb2001, Vol. 12 Issue 1, p97, 28p

Predmety: PROGRAMMING languages, COMPUTER software

A concurrent constraint programming interpretation of access permissions.

Autori: OLARTE, CARLOS PIMENTEL, ELAINE RUEDA, CAMILO

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

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

Why are we using JAVA AGAIN?

Autori: Tyma, Paul

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

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