2623 search results - page 23 / 525 » Hoare Logic in the Abstract |
ECEASST
2010
14 years 7 months ago
2010
ation and logic. The logic courses mainly provided a very abstract and
FOSSACS
2001
Springer
15 years 2 months ago
2001
Springer
Garbage collection relieves the programmer of the burden of managing dynamically allocated memory, by providing an automatic way to reclaim unneeded storage. This eliminates or les...
101
click to vote
AAAI
2007
14 years 12 months ago
2007
Generality or refinement relations between different theories have important applications to generalization in inductive logic programming, refinement of ontologies, and coordin...
83
Voted
ISSTA
1989
ACM
15 years 1 months ago
1989
ACM
The Inscape Environment research project addresses issues in supporting the development of large systems by large numbers of programmers. One aspect of this research is the ‘‘...
106
click to vote
ACS
2002
14 years 9 months ago
2002
cal Abstract Algebraic Logic: Algebraizable Institutions To Don Pigozzi this work is dedicated GEORGE VOUTSADAKIS Department of Mathematics, Iowa State University, Ames, IA 50011 U...