padl
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
padl [2014/02/16 10:04] yann |
padl [2014/03/24 03:52] yann [Levels of Models] |
||
|---|---|---|---|
| Line 5: | Line 5: | ||
| ===== Levels of Models ===== | ===== Levels of Models ===== | ||
| - | There are three different levels of abstractions to model programs, collectively called abstract-level models: | + | There are four different levels of abstractions to model programs, collectively called abstract-level models: |
| * A ''ICodeLevelModel'' represents the "raw" model of a program, including only data directly extractable from the program source representation (Java bytecodes, Java source code, C/C++ source code...); | * A ''ICodeLevelModel'' represents the "raw" model of a program, including only data directly extractable from the program source representation (Java bytecodes, Java source code, C/C++ source code...); | ||
padl.txt ยท Last modified: 2019/10/06 20:37 (external edit)
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Share Alike 4.0 International
