1368 search results - page 145 / 274 » Recursive modules for programming |
AAIP
2009
13 years 10 months ago
2009
The development of software engineering has had a great deal of benefits for the development of software. Along with it came a whole new paradigm of the way software is designed a...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
c Modular Abstractions for Template Numerical Constraints David Monniaux May 26, 2010 We propose a method for automatically generating abstract transformstatic analysis by abstrac...
JAIR
1998
13 years 9 months ago
1998
It is common to view programs as a combination of logic and control: the logic part de nes what the program must do, the control part how to do it. The Logic Programming paradigm ...
CSE
2009
IEEE
14 years 4 months ago
2009
IEEE
—Attacks on software systems are an increasingly serious problem from an economic and security standpoint. Many techniques have been proposed ranging from simple compiler modifi...
PADL
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. We describe a declarative language, called BAD (brain architecture description language), which we have developed for describing and then running brain models. Models are...