Recursion in Higher Types and Resource Bounded Turing Machines
CiE '08 Proceedings of the 4th conference on Computability in Europe: Logic and Theory of Algorithms
A Functional Algorithm for Exact Real Integration with Invariant Measures
Electronic Notes in Theoretical Computer Science (ENTCS)
Operational domain theory and topology of sequential programming languages
Information and Computation
Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting
Electronic Notes in Theoretical Computer Science (ENTCS)
A denotational semantics for total correctness of sequential exact real programs
TAMC'08 Proceedings of the 5th international conference on Theory and applications of models of computation
Nested Hoare triples and frame rules for higher-order store
CSL'09/EACSL'09 Proceedings of the 23rd CSL international conference and 18th EACSL Annual conference on Computer science logic
Semantical proofs of correctness for programs performing non-deterministic tests on real numbers
Mathematical Structures in Computer Science
A semantic foundation for hidden state
FOSSACS'10 Proceedings of the 13th international conference on Foundations of Software Science and Computational Structures
Full abstraction for nominal Scott domains
POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A Stream Calculus of Bottomed Sequences for Real Number Computation
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.00 |