Identifying clones in functional programs for refactoring

Clone detection is well established for imperative programs. It works mostly on the statement level and therefore is ill-suited for func- tional programs, whose main constituents are expressions and types. In this paper we introduce clone detection for functional programs using a new intermediate program representation, dubbed Functional Control Tree. We extend clone detection to the identi cation of non-trivial func- tional program clones based on the recursion patterns from the so-called Bird-Meertens formalism

Prisão de Sócrates é contra a Constituição?

O decretar da prisão preventiva, mal fundamentada, leva a dizermos que estamos perante uma violação constitucional dos princípios da proporcionalidade, adequação, necessidade e da intervenção mínima em Direito penal. São violados os art.s 18º e 28º da Constituição, os art.s 193º e art.s 202º e ss. do Código de Processo Penal. É violado o art. 40º do Código Penal, quanto às finalidades do próprio Direito Penal, como a ressocialização ou restauração num ordenamento jurídico como o português, onde a pena máxima é apenas de 25 anos mais os descontos do Código de Execução de Penas! § Abstract: The decree of preventive detention, ill-founded, leads to say that this is a constitutional violation of the principles of proportionality, appropriateness, necessity and minimum intervention in criminal law. The art.s 18 and 28 of the Constitution are violated, the art.s 193 and art.s 202 ff. the Criminal Procedure Code. It violated art. 40 of the Penal Code, for the purposes of own criminal law, such as rehabilitation or restoration in a legal system like the Portuguese, where the maximum penalty is only 25 years plus discounts of Implementing Sentencing Code!

Auschwitz-Pilecki-Huber-Rosa Branca-Ratzinger-Wojtyla!

Estima-se que em Auschwitz tenham morrido, de modo directo, cerca de 1,5 milhões de pessoas. 90% eram judeus. 150 mil polacos, 23 mil ciganos, 15 mil prisioneiros soviéticos, milhares de pessoas de diferentes nacionalidades incluindo, p.e., homossexuais e deficientes físicos e mentais. E ainda cerca de 400 testemunhas de jeová. § It is estimated that at Auschwitz died, directly, about 1.5 million people. 90% were Jews. 150,000 Poles, 23,000 gypsies, 15,000 Soviet prisoners, thousands of people of different nationalities including, eg, homosexuals and physically and mentally disabled. And still about 400 Jehovah's Witnesses.