Sciweavers

27119 search results - page 233 / 5424
» Languages
Sort
View
MODELS
2009
Springer
16 years 3 days ago
Extending OCL with Null-References
Achim D. Brucker, Matthias P. Krieger, Burkhart Wo...
PPDP
2009
Springer
16 years 3 days ago
On the expressive power of priorities in CHR
Maurizio Gabbrielli, Jacopo Mauro, Maria Chiara Me...
121
Voted
PPDP
2009
Springer
16 years 3 days ago
Alternation as a programming paradigm
Wolfgang Dvorák, Georg Gottlob, Reinhard Pi...
APLAS
2009
ACM
16 years 3 days ago
Weak updates and separation logic
Gang Tan, Zhong Shao, Xinyu Feng, Hongxu Cai
118
Voted
FDL
2008
IEEE
16 years 1 days ago
UML 2.0 Interactions with OCL/RT Constraints
Daniel Calegari, María Victoria Cengarle, N...