Learn More
The increased computational power and software tools available to engineers have increased the use and dependence on modeling and computer simulation throughout the design process. These tools have given engineers the capability of designing highly complex systems and computer architectures that were previously unthinkable. Every complex design project,(More)
In this review of metaprogramming in logic we pay equal attention to theoretical and practical issues: the contents range from mathematical and logical preliminaries to implementation and applications in, e.g., software engineering and knowledge representation. The area is one in rapid development but we have emphasized such issues that are likely to be(More)
Introduction Database systems are computerized systems for managing large amounts of data. Their principal function is to process requests from users to retrieve or alter the data they store. Traditionally, such requests must be expressed in a formal query language. Requests that are well defined are performed promptly; other requests are declined.(More)
  • 1