4880 search results - page 721 / 976 » Manuals as Structured Programs |
202
click to vote
CSL
2006
Springer
15 years 10 months ago
2006
Springer
Separation Logic is a sub-structural logic that supports local reasoning for imperative programs. It is designed to elegantly describe sharing and aliasing properties of heap struc...
155
click to vote
IFIP
2000
Springer
15 years 10 months ago
2000
Springer
The academic field of information systems has developed because organizations use a specialized body of knowledge about information and communications systems. Teaching and resear...
184
click to vote
JAVA
2000
Springer
15 years 10 months ago
2000
Springer
This paper describes a portable and efficient sampling-based online measurement system for production-level Java virtual machines. This system is designed to provide continuous re...
175
click to vote
SSPR
2000
Springer
15 years 10 months ago
2000
Springer
Our research focuses on Chinese online ink matching that tries to match handwritten annotations with handwritten queries without attempting to recognize them. Previously, we propos...
162
click to vote
TPHOL
2000
IEEE
15 years 10 months ago
2000
IEEE
We modify the reflection method to enable it to deal with partial functions like division. The idea behind reflection is to program a tactic for a theorem prover not in the impleme...