678 search results - page 95 / 136 » A simple typed intermediate language for object-oriented lan... |
146
click to vote
FSEN
2009
Springer
15 years 11 months ago
2009
Springer
We introduce a Hoare logic for higher-order functional languages with control operators such as callcc. The key idea is to build the assertion language and proof rules around an e...
137
click to vote
ICFP
2008
ACM
16 years 4 months ago
2008
ACM
There are now a number of bidirectional programming languages, where every program can be read both as a forward transformation mapping one data structure to another and as a reve...
131
click to vote
ICFP
1999
ACM
15 years 8 months ago
1999
ACM
ML-style modules are valuable in the development and maintenance of large software systems, unfortunately, none of the existing languages support them in a fully satisfactory mann...
268
click to vote
ICDE
2002
IEEE
16 years 5 months ago
2002
IEEE
With the growth of the Web, there has been a rapid increase in the number of users who need to access online databases without having a detailed knowledge of the schema or of quer...
118
click to vote
ICFP
2010
ACM
15 years 5 months ago
2010
ACM
We show how the binary encoding and decoding of typed data and typed programs can be understood, programmed, and verified with the help of question-answer games. The encoding of a...