View Document Preview and Link Document Date: 2013-10-11 06:59:23 Open Document File Size: 160,20 KB Share Result on Facebook
City Shanghai / Cambridge / Lausanne / Sebastopol / / Company MySQL AB / MIT Press / ACM Press / IEEE Software / Reusable Software / / Country China / / Facility Swedish Institute of Computer Science / University of Maryland / University of California / / IndustryTerm software system / software graphs / computation machinery / real-world software systems / software analyses2 / object-oriented software / free software / software architecture analysis / virtual software classifications / software engineers / software analyses / purpose tool / automated search / software metrics / object-oriented software systems / verification algorithms / software reengineering / software-analysis / relation-intensive algorithms / database applications / software modeling languages / application-independent tool / built-in operator / abstract algorithms / graph algorithms / software analysis / software systems / Software architecture transformations / command-line tool / database management systems / graph analysis tools / software model / software analysis tools / Graph-based algorithms / Software reflexion models / structural software analyses / reengineering and analysis tools / software architectures / software architecture / / OperatingSystem Unix / GNU / / Organization University of Maryland / MIT / University of California / Berkeley / Swedish Institute of Computer Science / CrocoPat Dirk Beyer School of Computer / Communication Sciences Ecole Polytechnique Fédérale / / Person Andreas Noack / / Position General / interpreter / author / actual interpreter / programmer / / ProgrammingLanguage Prolog / SQL / C++ / / ProvinceOrState Maryland / California / Massachusetts / / PublishedMedium IEEE Software / Communications of the ACM / / Technology BDD technology / relational database / verification algorithms / Unix / API / writing abstract algorithms / Graph algorithms / enabling technology / relation-intensive algorithms / prototype algorithms / Graph-based algorithms / / URL http / SocialTag 
Relational Programming with CrocoPat Dirk Beyer School of Computer and Communication Sciences Ecole Polytechnique Fédérale de Lausanne CH-1015 Lausanne, Switzerland