Anotação, numa perspectiva de Direito Penal e de Criminologia, de alguns dos aspectos do Acórdão do Supremo Tribunal de Justiça (português), de 28 de Setembro de 2011 - os problemas do direito ao silêncio e do dever em o arguido se sujeitar a aplicações de prova no processo penal

Resumo: 1 – Sumário do Acórdão do Supremo Tribunal de Justiça, de 28 de Setembro de 2011; 2 – Texto completo do Acórdão do Supremo Tribunal de Justiça, de 28 de Setembro de 2011, Juiz Conselheiro Raul BORGES (Relator), Juiz Conselheiro Armindo MONTEIRO cfr. http://www.dgsi.pt , 20 de Janeiro de 2012; 3 – Anotação; 3.1 – Introdução à anotação; 3.2 – Algumas das referências, por parte do Acórdão do Supremo Tribunal de Justiça, de 28 de Setembro de 2011, aos problemas do direito ao silêncio e do dever em o arguido se sujeitar a aplicações de prova no processo penal; 3.3 – «Teoria geral» dos problemas do direito ao silêncio em contraste com o dever de sujeição do arguido a diligências de prova no contexto do direito processual penal lusitano; 4 - Conclusão. § Abstract: 1 - Summary of the Judgement of the Supreme Court of Justice of 28 September 2011 2 - Full text of the Judgement of the Supreme Court of Justice of 28 September 2011, Councillor Judge Raul Borges (Reporter), Councillor Judge Armindo Monteiro cf. . http://www.dgsi.pt, January 20, 2012, 3 - Note: 3.1 - Introduction to the annotation; 3.2 - Some of the references, by the Judgement of the Supreme Court of Justice of 28 September 2011, the problems the right to silence and the duty in the defendant be subject to applications of proof in criminal proceedings; 3.3 - "general Theory" of the problems the right to silence in contrast to the duty of subjection of the accused to proof steps in the right context criminal procedure Lusitanian 4 - Conclusion. P.S.: este é o "abstract" tal qual como surge no artigo.

Higher-order lazy functional slicing

Program slicing is a well known family of techniques intended to identify and isolate code fragments which depend on, or are depended upon, specific program entities. This is particularly useful in the areas of reverse engineering, program understanding, testing and software maintenance. Most slicing methods, and corresponding tools, target either the imperative or the object oriented paradigms, where program slices are computed with respect to a variable or a program statement. Taking a complementary point of view, this paper focuses on the slicing of higher-order functional programs under a lazy evaluation strategy. A prototype of a Haskell slicer, built as proof-of-concept for these ideas, is also introduced