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!