01505nlm0 22004211i 450 9900092427404033219783540712299000924274FED01000924274(Aleph)000924274FED0100092427420100926d2007----km-y0itay50------baengDEdrnn-008mamaaCompiler ConstructionRisorsa elettronica16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedingsedited by SBerlin ; HeidelbergSpringer2007Lecture Notes in Computer Science0302-97434420Documento elettronicoTestoFormato html, pdfKrishnamurthi,ShriramOdersky,MartinITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-540-71229-9EB990009242740403321Artificial intelligenceArtificial Intelligence (incl. Robotics)Computer scienceComputer ScienceLogic designLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesSoftware engineeringSoftware EngineeringCompiler Construction771871UNINA