3136 search results - page 321 / 628 » Genetic programming theory |
296
click to vote
POPL
2004
ACM
16 years 7 months ago
2004
ACM
We investigate proof rules for information hiding, using the recent formalism of separation logic. In essence, we use the separating conjunction to partition the internal resource...
190
click to vote
HASKELL
2009
ACM
16 years 1 months ago
2009
ACM
It is common for compilers to derive the calling convention of a function from its type. Doing so is simple and modular but misses many optimisation opportunities, particularly in...
165
click to vote
ASWEC
2006
IEEE
16 years 20 days ago
2006
IEEE
This paper describes the formalisation of Java thread synchronisation in an extended Owicki-Gries theory, which facilitates the proof of safety and progress properties of multi-th...
143
Voted
ALP
1990
Springer
15 years 10 months ago
1990
Springer
Conditional Equational Programming is an elegant way to uniformly integrate important features of functional and logic programming. Efficientmethods for equation solving are thus ...
189
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
This paper describes an executable formal semantics of C. Being executable, the semantics has been thoroughly tested against the GCC torture test suite and successfully passes 99....