1154 search results - page 112 / 231 » Implementing Typed Intermediate Languages |
107
Voted
KI
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We aim to demonstrate that automated deduction techniques, in particular those following the model computation paradigm, are very well suited for database schema/query re...
135
Voted
AVI
2004
15 years 4 months ago
2004
We present a program visualization tool called Jeliot 3 that is designed to aid novice students to learn procedural and object oriented programming. The key feature of Jeliot is t...
ALIFE
2008
15 years 2 months ago
2008
There is an ongoing debate as to whether the words in early pre-syntactic forms of human language had simple atomic meanings like modern words [4, 5], or whether they were holophr...
102
Voted
PVLDB
2010
15 years 28 days ago
2010
We report on a query compilation technique that enables the construction of alternative efficient query providers for Microsoft’s Language Integrated Query (LINQ) framework. LIN...
166
click to vote
IFIP
2009
Springer
15 years 8 days ago
2009
Springer
Security protocols are crucial to achieve trusted computing. However, designing security protocols is not easy and so security protocols are typically faulty and have to be repaire...