661 search results - page 50 / 133 » What Can We Expect from Program Verification |
149
click to vote
GPCE
2004
Springer
15 years 8 months ago
2004
Springer
Aspect-Oriented Programming (AOP) addresses limitations in the Object-Oriented (OO) paradigm relating to modularisation of crosscutting behaviour. In AOP, crosscutting behaviour is...
127
click to vote
DBPL
1999
Springer
15 years 7 months ago
1999
Springer
Semistructured databases are treated as dynamically typed: they come equipped with no independent schema or type system to constrain the data. Query languages that are designed fo...
118
click to vote
BCSHCI
2007
15 years 4 months ago
2007
The use of formal models for user interface design can provide a number of benefits. It can help to ensure consistency across designs for multiple platforms, prove properties such...
233
Voted
POPL
2006
ACM
16 years 3 months ago
2006
ACM
Functional programmers often reason about programs as if they were written in a total language, expecting the results to carry over to non-total (partial) languages. We justify su...
127
Voted
ICML
2010
IEEE
15 years 4 months ago
2010
IEEE
Transfer learning can be described as the tion of abstract knowledge from one learning domain or task and the reuse of that knowledge in a related domain or task. In categorizatio...