Live briefing
Everything about Execution model
Behavioral rules for all elements of a programming language
In computing, a programming language consists of a syntax plus an execution model. The execution model specifies the behavior of elements of the language. By applying the execution model, one can derive the behavior of a program that was written in terms of that programming language. For example, when a programmer "reads" code, in their mind, they walk through what each line of code does. In effect they simulate the behavior inside their mind. What the programmer is doing is applying the execution model to the code, which results in the behavior of the code. Wikipedia →
🧭 Start here: a 6-step reading path
- Read the overview: Execution modelA 5-minute orientation
- Skim a recent paper: IoT Access Control Model Based on Blockchain and Trusted Execution EnvironmentInfluential work since 2022
- Pick up a classic book: Images of organizationThe most-reprinted book on the subject
- Read the landmark paper: Dynamic workflow model fragmentation for distributed executionCited 51 times
- Go sideways: Thread safetyA closely related topic
- Go sideways: Lock (computer science)A closely related topic
📖 Definitions
No dictionary entry for this exact phrase.
🏆 Landmark papers (most cited)
Dynamic workflow model fragmentation for distributed execution
Iterative execution-feedback model-directed GUI testing
Model-Free Execution Monitoring in Behavior-Based Robotics
Large Language Model Powered Symbolic Execution
Viable System Model for Manufacturing Execution Systems
Model execution tracing: a systematic mapping study
Data model design for manufacturing execution system
A decentralized execution model for inter-organizational workflows
🆕 Influential since 2022
IoT Access Control Model Based on Blockchain and Trusted Execution Environment
Execution of synthetic Bayesian model average for solar energy forecasting
Efficient Execution of ATL Model Transformations Using Static Analysis and Parallelism
Model-Free Predictive Control based on the Execution Time of Active Vectors Using Ultra-Local Model
Blockchain Based n-party Virtual Payment Model with Concurrent Execution
📚 Books worth reading
Images of organizationGareth Morgan · 1986
ImpactMadeleine Ker · 1986
Never eat inDavid Leddick · 1999- 📕Executive compensationJohn M. Abowd · 1999
- 📕Top executive rewards and firm performanceSteven N. Kaplan · 1992
- 📕Manipulation effect of managerial discretion on managerial compensationChangzheng Zhang · 2009
- 📕Learning and the value of the firmNobuhiro Kiyotaki · 1990
- 📕Why has CEO pay increased so much?Xavier Gabaix · 2006
Ranked by number of editions on Open Library, a rough measure of how lasting a book is.
🔗 Related topics
- Thread safety In multi-threaded computer programming, a function is thread-safe when it can be invoked or accessed concurrently by multiple threads without causing unexpected…
- Lock (computer science) In computer science, a lock or mutex (from mutual exclusion) is a synchronization primitive that prevents state from being modified or accessed by multiple…
- Java memory model The Java memory model describes how threads in the Java programming language interact through memory. Together with the description of single-threaded…
- Runtime system In computer programming, a runtime system or just runtime is a sub-system that exists in the computer where a program is created, as well as in the computers…
- Critical section In concurrent programming, concurrent accesses to shared resources can lead to unexpected or erroneous behavior. Thus, the parts of the program where the…
- Automatic parallelization Automatic parallelization, also auto-parallelization or autoparallelization, is a compiler optimization in which a compiler or other software tool transforms…
- Double-checked locking In software engineering, double-checked locking (also known as "double-checked locking optimization") is a software design pattern used to reduce the overhead…
- Thread (computing) In computer science, a thread of execution is the smallest sequence of programmed instructions that can be managed independently by a scheduler, which…