New editor of Science of Computer Programming
Pavel Avgustinov
Latest content created by this user
| Page | |
|---|---|
| .QL for Source Code Analysis | 2008-05-29 |
| .QL: Object-Oriented Queries Made Easy | 2008-05-29 |
| Adding Magic to an Optimising Datalog Compiler | 2008-05-29 |
| Type Inference for Datalog and its Application to Query Optimisation | 2008-05-29 |
| Efficient Local Type Inference | 2008-05-29 |
| File | |
| Pavel Avgustinov's CV | 2008-07-17 |
| PDF: Efficient Local Type Inference | 2008-05-29 |
| Modularity First: A Case for Mixing AOP and Attribute Grammars | 2008-03-11 |
| RV'07: On the Semantics of Matching Trace Monitoring Patterns | 2007-10-15 |
| Smart Folder | |
| Past Events | 2007-10-15 |
| Events | 2007-10-15 |
| News | 2007-10-15 |