|
П |
A State-Based Algebraic Semantics of Statements of Sequential Java |
2003 |
Lellahi K., Zamulin A. V. |
|
|
Inst. Galilee |
|
17.07.2003 |
|
П |
Implicit State Approach for Formalization of Sequential Java-like Programs |
2002 |
Lellahi K., Zamulin A. V. |
|
|
Inst. Galilee, Univ. Paris Nord |
|
25.11.2002 |
|
СТ |
Modeling Data and Objects: An Algebraic View Point |
2002 |
Lellahi K. |
|
|
|
Lecture Notes in Computer Science |
06.04.2002 |
|
СТ |
Conceptual Data Modeling: An Algebraic Viewpoint |
2001 |
Lellahi K. |
|
|
|
Lecture Notes in Computer Science |
06.02.2002 |
|
СТ |
Object-Oriented Database as a Dynamic System with Implicit State |
2001 |
Lellahi K., Zamulin A. V. |
|
|
|
Lecture Notes in Computer Science |
06.10.2001 |
|
СТ |
A Partial Semantics for Object Data Models with Static Binding |
2000 |
Lellahi K., Souah R. |
|
|
|
Lecture Notes in Computer Science |
18.02.2000 |
|
П |
Dynamic Systems Based on Update Sets |
1999 |
Lellahi K., Zamulin A. V. |
|
|
Univ. 13 |
IEEE Trans. on Computers |
07.05.1999 |
|
СТ |
An Algebraic Query Language for Objecr-Oriented Data Models |
1997 |
Lellahi K., Souah R., Spyratos N. |
|
|
|
Lecture Notes in Computer Science |
24.09.1997 |
