01422nlm0 22004211i 450 9900092613404033219783642032370000926134FED01000926134(Aleph)000926134FED0100092613420100926d2009----km-y0itay50------baengDEdrnn-008mamaaStatic AnalysisRisorsa elettronica16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedingsedited by Jens Palsberg, Zhendong SuBerlin ; HeidelbergSpringer2009Lecture Notes in Computer Science0302-97435673Documento elettronicoTestoFormato html, pdfPalsberg,JensSu,ZhendongITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-642-03237-0EB990009261340403321Computer scienceComputer ScienceLogic designLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesProgramming Languages, Compilers, InterpretersProgramming TechniquesSoftware engineeringSoftware EngineeringStatic Analysis772085UNINA