1154 search results - page 112 / 231 » Implementing Typed Intermediate Languages |
KI
2004
Springer
15 years 3 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...
AVI
2004
14 years 11 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
14 years 10 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...
PVLDB
2010
14 years 8 months 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...
125
click to vote
IFIP
2009
Springer
14 years 7 months 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...