1194 search results - page 48 / 239 » A Calculus for Predicative Programming |
115
click to vote
WCFLP
2005
ACM
15 years 7 months ago
2005
ACM
Programmers need mechanisms to store application specific data that persists multiple program runs. To accomplish this task, they usually have to deal with storage specific code...
115
click to vote
ACSC
2006
IEEE
15 years 8 months ago
2006
IEEE
Code obfuscation is a relatively new technique of software protection and it works by deterring reverse engineering attempts by malicious users of software. The objective of obfus...
104
click to vote
ENTCS
2007
15 years 1 months ago
2007
In the constructive setting, membership predicates over recursive types are inhabited by terms indexing the elements that satisfy the criteria for membership. In this paper, we mo...
117
click to vote
CHARME
2001
Springer
15 years 5 months ago
2001
Springer
In this paper we present a syntactical approach for deriving real-time programs from a formal specification of the requirements of real-time systems. The main idea of our approach ...
WOLLIC
2009
Springer
15 years 8 months ago
2009
Springer
