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

Slicing functional programs by calculation

Program slicing is a well known family of techniques used to identify code fragments which depend on or are depended upon specific program entities. They are particularly useful in the areas of reverse engineering, program understanding, testing and software maintenance. Most slicing methods, usually targeting either the imperative or the object oriented paradigms, are based on some sort of graph structure representing program dependencies. Slicing techniques amount, therefore, to (sophisticated) graph transversal algorithms. This paper proposes a completely different approach to the slicing problem for functional programs. Instead of extracting program information to build an underlying dependencies’ structure, we resort to standard program calculation strategies, based on the so-called Bird- Meertens formalism. The slicing criterion is specified either as a projection or a hiding function which, once composed with the original program, leads to the identification of the intended slice. Going through a number of examples, the paper suggests this approach may be an interesting, even if not completely general alternative to slicing functional programs

Uma Metodologia para o Desenvolvimento de Aplicações Lúdico-Educativas

Após uma contextualização dos jogos para crianças, enquanto ferramenta lúdico-educativa, este artigo apresenta uma abordagem para o desenvolvimento de jogos educativos utilizando redes de Petri coloridas (colored petri nets - CPN) conectadas a um servidor de aplicações 3D. No final do artigo é feita uma análise dos resultados obtidos, evidenciando a interatividade entre o utilizador e os conteúdos do jogo.

Processing and characterization of alpha-elastin electrospun membranes

Elastin isolated from fresh bovine ligaments was dissolved in a mixture of 1,1,1,3,3,3-Hexafluoro-2-propanol and water and electrospun into fiber membranes under different processing conditions. Fiber mats of randomly and aligned fibers were obtained with fixed and rotating ground collectors and fibrils were composed by thin ribbons whose width depends on electrospinning conditions; fibrils with 721 nm up to 2.12 m width were achieved. After cross-linking with glutaraldehyde, -elastin can uptake as much as 1700 % of PBS solution and a slight increase on fiber thickness was observed. The glass transition temperature of electrospun fiber mats was found to occur at ~ 80 ºC. Moreover, -Elastin showed to be a perfect elastomeric material, and no mechanical hysteresis was found in cycle mechanical measurements. The elastic modulus obtained for oriented and random fibers mats in a PBS solution was 330 ± 10 kPa and 732 ± 165 kPa, respectively. Finally, the electrospinning and cross-linking process does not inhibit MC-3T3-E1 cell adhesion. Cell culture results showed good cell adhesion and proliferation in the cross-linked elastin fiber mats.

Program slicing by calculation

Program slicing is a well known family of techniques used to identify code fragments which depend on or are depended upon specific program entities. They are particularly useful in the areas of reverse engineering, program understanding, testing and software maintenance. Most slicing methods, usually oriented towards the imperative or object paradigms, are based on some sort of graph structure representing program dependencies. Slicing techniques amount, therefore, to (sophisticated) graph transversal algorithms. This paper proposes a completely different approach to the slicing problem for functional programs. Instead of extracting program information to build an underlying dependencies’ structure, we resort to standard program calculation strategies, based on the so-called Bird-Meertens formalism. The slicing criterion is specified either as a projection or a hiding function which, once composed with the original program, leads to the identification of the intended slice. Going through a number of examples, the paper suggests this approach may be an interesting, even if not completely general, alternative to slicing functional programs

Prototyping Concurrent Systems in Cw

Software architecture is currently recognized as one of the most critical design steps in Software Engineering. The specification of the overall system structure, on the one hand, and of the interactions patterns between its components, on the other, became a major concern for the working developer. Although a number of formalisms to express behaviour and supply the indispensable calculational power to reason about designs, are available, the task of deriving architectural designs on top of popular component platforms has remained largely informal. This paper introduces a systematic approach to derive, from behavioural specifications written in Cw, the corresponding architectural skeletons in the Microsoft .NET framework in the form of executable code

Lições de Direito e Processo Penal, 2012/2013

§ Parte I A: DIREITO PENAL: CAPÍTULO I – CONCEITO DE DIREITO PENAL, COM ESPECIAL RELEVO DA DIFERENCIAÇÃO ENTRE DIREITO PENAL CLÁSSICO, DIREITO PENAL ECONÓMICO E SOCIAL E DIREITO DAS CONTRA-ORDENAÇÕES; CAPÍTULO II – O PROBLEMA DOS FINS DAS PENAS; CAPÍTULO III – BREVE ABORDAGEM DA EVOLUÇÃO HISTÓRICA DO DIREITO PENAL; CAPÍTULO IV – TEORIA GERAL DA LEI CRIMINAL; CAPÍTULO V – TEORIA GERAL DA INFRACÇÃO CRIMINAL: A) ELEMENTOS; B) CONSTRUÇÕES; C) ANÁLISE: 1) ACÇÃO; 2) TIPICIDADE; 3) ILICITUDE; 4) CULPA; 5) PUNIBILIDADE; CAPÍTULO VI – FORMAS DO CRIME:A) TENTATIVA; B) AUTORIA E COMPARTICIPAÇÃO; C) CONCURSO DE CRIMES § Parte I BDIREITO PROCESSUAL PENAL; CAPÍTULO I – A DELIMITAÇÃO DO DIREITO PROCESSUAL PENAL; CAPÍTULO II – OS PRINCÍPIOS FUNDAMENTAIS DO PROCESSO PENAL; CAPÍTULO III - A LEI PROCESSUAL PENAL E A SUA APLICAÇÃO; Parte II: CAPÍTULO I- OS SUJEITOS DO PROCESSO; CAPÍTULO II - O OBJECTO DO PROCESSO; CAPÍTULO III - AS MEDIDAS DE COACÇÃO E DE GARANTIA PATRIMONIAL; CAPÍTULO IV - TRAMITAÇÃO PROCESSUAL PENAL. § § Part I: CRIMINAL LAW: CHAPTER I - CONCEPT OF CRIMINAL LAW, WITH SPECIAL RELIEF OF THE DIFFERENTIATION BETWEEN CLASSIC CRIMINAL LAW, ECONOMIC AND SOCIAL CRIMINAL LAW AND THE “AGAINST ORDINANCES” LAW ("LAW OFFENSES"); CHAPTER II - THE PROBLEM OF THE ENDS OF THE PENALTIES; CHAPTER III - BRIEF OVERVIEW OF THE EVOLUTION HISTORY OF CRIMINAL LAW; CHAPTER IV - GENERAL THEORY OF THE CRIMINAL LAW; CHAPTER V - GENERAL THEORY OF THE CRIMINAL INFRACTION: A) ELEMENTS; B) CONSTRUCTIONS; C) ANALYSIS: 1) ACTION; 2) VAGUENESS DOCTRINE; 3) ILLEGALITY; 4) GUILT (FAULT); 5) PUNISHMENT; CHAPTER VI - FORMS OF THE CRIME: A) ATTEMPT; B) AUTHORSHIP AND "CO-PARTICIPATION"; C) CUMULATION OF OFFENCES. § Part I - B: CRIMINAL PROCEDURAL LAW: CHAPTER I - THE DELIMITATION OF THE CRIMINAL PROCEDURAL LAW; CHAPTER II - THE BASIC PRINCIPLES OF THE CRIMINAL PROCEDURE; CHAPTER III - THE CRIMINAL PROCEDURE LAW AND ITS APPLICATION; Part II: CHAPTER I - THE FIGURES OF THE PROCESS; CHAPTER II - THE OBJECT OF THE PROCESS; CHAPTER III - THE MEASURES OF COERCION AND PATRIMONIAL GUARANTEE (WARRANTY); CHAPTER IV - CRIMINAL PROCEDURE.

Lições de Direito e Processo Penal, 2013/2014

§ Parte I A: DIREITO PENAL: CAPÍTULO I – CONCEITO DE DIREITO PENAL, COM ESPECIAL RELEVO DA DIFERENCIAÇÃO ENTRE DIREITO PENAL CLÁSSICO, DIREITO PENAL ECONÓMICO E SOCIAL E DIREITO DAS CONTRA-ORDENAÇÕES; CAPÍTULO II – O PROBLEMA DOS FINS DAS PENAS; CAPÍTULO III – BREVE ABORDAGEM DA EVOLUÇÃO HISTÓRICA DO DIREITO PENAL; CAPÍTULO IV – TEORIA GERAL DA LEI CRIMINAL; CAPÍTULO V – TEORIA GERAL DA INFRACÇÃO CRIMINAL: A) ELEMENTOS; B) CONSTRUÇÕES; C) ANÁLISE: 1) ACÇÃO; 2) TIPICIDADE; 3) ILICITUDE; 4) CULPA; 5) PUNIBILIDADE; CAPÍTULO VI – FORMAS DO CRIME: A) TENTATIVA; B) AUTORIA E COMPARTICIPAÇÃO; C) CONCURSO DE CRIMES § Parte I B: DIREITO PROCESSUAL PENAL; CAPÍTULO I – A DELIMITAÇÃO DO DIREITO PROCESSUAL PENAL; CAPÍTULO II – OS PRINCÍPIOS FUNDAMENTAIS DO PROCESSO PENAL; CAPÍTULO III - A LEI PROCESSUAL PENAL E A SUA APLICAÇÃO; Parte II: CAPÍTULO I - OS SUJEITOS DO PROCESSO; CAPÍTULO II - O OBJECTO DO PROCESSO; CAPÍTULO III - AS MEDIDAS DE COACÇÃO E DE GARANTIA PATRIMONIAL; CAPÍTULO IV - TRAMITAÇÃO PROCESSUAL PENAL. § § Part I: CRIMINAL LAW: CHAPTER I - CONCEPT OF CRIMINAL LAW, WITH SPECIAL RELIEF OF THE DIFFERENTIATION BETWEEN CLASSIC CRIMINAL LAW, ECONOMIC AND SOCIAL CRIMINAL LAW AND THE “AGAINST ORDINANCES” LAW ("LAW OFFENSES"); CHAPTER II - THE PROBLEM OF THE ENDS OF THE PENALTIES; CHAPTER III - BRIEF OVERVIEW OF THE EVOLUTION HISTORY OF CRIMINAL LAW; CHAPTER IV - GENERAL THEORY OF THE CRIMINAL LAW; CHAPTER V - GENERAL THEORY OF THE CRIMINAL INFRACTION: A) ELEMENTS; B) CONSTRUCTIONS; C) ANALYSIS: 1) ACTION; 2) VAGUENESS DOCTRINE; 3) ILLEGALITY; 4) GUILT (FAULT); 5) PUNISHMENT; CHAPTER VI - FORMS OF THE CRIME: A) ATTEMPT; B) AUTHORSHIP AND "CO-PARTICIPATION"; C) CUMULATION OF OFFENCES. § Part I - B: CRIMINAL PROCEDURAL LAW: CHAPTER I - THE DELIMITATION OF THE CRIMINAL PROCEDURAL LAW; CHAPTER II - THE BASIC PRINCIPLES OF THE CRIMINAL PROCEDURE; CHAPTER III - THE CRIMINAL PROCEDURE LAW AND ITS APPLICATION; Part II: CHAPTER I - THE FIGURES OF THE PROCESS; CHAPTER II - THE OBJECT OF THE PROCESS; CHAPTER III - THE MEASURES OF COERCION AND PATRIMONIAL GUARANTEE (WARRANTY); CHAPTER IV -CRIMINAL PROCEDURE.