问如何判断库的执行模型是否与其基本语言的执行模型相同或不同？

EN

https://en.wikipedia.org/wiki/Execution_模型说

编程语言由语法/语法和执行模型组成。执行模型指定语言元素的行为。通过应用执行模型，可以导出用该编程语言编写的程序的行为。例如，当程序员“阅读”代码时，在他们的脑海中，他们会遍历每一行代码所做的事情。实际上，他们模拟了他们内心的行为。程序员所做的是将执行模型应用于代码，这将导致代码的行为。每一种编程语言都有一个执行模型，该模型确定工作单元(由程序语法指示)的执行方式。操作语义是一种指定语言执行模型的方法。运行程序的观察到的行为必须与从操作语义派生的行为相匹配(操作语义定义语言的执行模型)。执行模型涵盖的内容包括什么是不可分割的工作单元，以及对这些工作单元可能发生的顺序的限制。例如，加法操作在许多语言中是一个不可分割的工作单元，而在顺序语言中，这种工作单元被限制一个接一个地进行。

编程语言的操作语义和语言的执行模型是完全相同的吗?在我看来，https://en.wikipedia.org/wiki/Operational_语义学是这样的：

操作语义是一种形式编程语言语义，它通过从程序执行和过程的逻辑语句中构造证据来验证程序的某些期望属性，如正确性、安全性或安全性。

除了操作语义之外，还有什么其他方法来指定语言的执行模型？

https://en.wikipedia.org/wiki/Programming_模型说

编程模型是指通过调用看似是库的调用来调用执行的编程风格。示例包括POSIX线程库和Hadoop的MapReduce.1，在这两种情况下，执行模型都不同于编写代码的基本语言。例如，C编程语言没有输入/输出或线程行为的执行模型。但是这种行为可以从C语法中调用，方法是调用一个普通的C库。编程模型与普通库的区别在于，调用的行为不能用程序所用的语言来理解。例如，调用POSIX线程库的行为不能用C语言来理解。原因是调用调用的执行模型与语言的执行模型不同。与编程语言相比，外部执行模型的这种调用是编程模型的定义特征。

如何判断库的执行模型是否与其基本语言的执行模型相同或不同？也就是说，我如何判断一个库是一个编程模型还是一个普通库？

谢谢。