liu.seSearch for publications in DiVA
Change search
Link to record
Permanent link

Direct link
Haraldsson, Anders
Publications (3 of 3) Show all publications
Hägglund, B. & Haraldsson, A. (2006). The Art and Virtue of Symbolic Constraint Propagation. In: CP 2006 Twelfth International Conference on Principles and Practice of Constraint Programming,2006 (pp. 78).
Open this publication in new window or tab >>The Art and Virtue of Symbolic Constraint Propagation
2006 (English)In: CP 2006 Twelfth International Conference on Principles and Practice of Constraint Programming,2006, 2006, p. 78-Conference paper, Published paper (Refereed)
National Category
Computer Sciences
Identifiers
urn:nbn:se:liu:diva-36787 (URN)32587 (Local ID)32587 (Archive number)32587 (OAI)
Available from: 2009-10-10 Created: 2009-10-10 Last updated: 2018-01-13
Engström, M., Haraldsson, A., Mattsson, T. & Salminen-Karlsson, M. (2003). Studenter genusgranskar sin utbildning: Projekt med elektro- och dataprogrammen och lärarutbildningen vid Linköpings universitet. Linköping: Linköping University Electronic Press
Open this publication in new window or tab >>Studenter genusgranskar sin utbildning: Projekt med elektro- och dataprogrammen och lärarutbildningen vid Linköpings universitet
2003 (Swedish)Report (Other academic)
Abstract [sv]

I huvudsak kvinnliga studenter från elektro- och dataprogrammen och lä-rarutbildningen utbildades i genuskunskap och fick i uppdrag att under ett läsår studera sina utbildningar ur ett genusperspektiv gällande inne-håll, kurslitteratur, undervisnings- och examinationsformer samt bemö-tande från lärare och andra studenter. Studenterna från respektive utbild-ningsområde bildade var sin projektgrupp under ledning av en handledare.

De huvudsakliga resultaten är dels att de kvinnliga studenterna efter utbildningen i genuskunskap och alla diskussioner ser sina utbildningar på ett nytt sätt, genom att självmant observera och reflektera över förete-elser de inte varit medvetna om. Dels har vi fått ökad kunskap om genus-aspekter i själva utbildningsprogrammen genom de observationer som studenterna gjort under läsåret. Dessutom kan man se projektet som en mall för andra program som man vill studera och genomlysa ur ett ge-nusperspektiv. Ett annat intressant resultat från projektet var bildandet av det kvinnliga nätverket Grace för elektro- och datastudenterna.

Rapporten beskriver projektet, dess uppläggning och genomförande, re-sultaten från respektive utbildningsområde och avslutas med en reflektion av projektet och de funna resultaten i ett större perspektiv med jämförelser med resultat från andra undersökningar om genus i högskoleutbildning.

Place, publisher, year, edition, pages
Linköping: Linköping University Electronic Press, 2003. p. 56
Series
CUL-rapporter, ISSN 1650-8173, E-ISSN 1652-9278 ; 2003:5
Keywords
Undervisning, jämställdhet, genusaspekter, högskolan, universitet, genus, högskoleundervisning
National Category
Social Sciences
Identifiers
urn:nbn:se:liu:diva-66259 (URN)CUL-7373-678-3 (Local ID)CUL-7373-678-3 (Archive number)CUL-7373-678-3 (OAI)
Available from: 2011-03-10 Created: 2011-03-10 Last updated: 2018-01-31Bibliographically approved
Haraldsson, A. (1977). A program manipulation system based on partial evaluation. (Doctoral dissertation). Linköping: Linköpings universitet
Open this publication in new window or tab >>A program manipulation system based on partial evaluation
1977 (English)Doctoral thesis, monograph (Other academic)
Abstract [en]

Program manipulation is the task to perform transformations on program code, and is normally done in order to optimize the code with respect of the utilization of some computer resource. Partial evaluation is the task when partial computations can be performed in a program before it is actually executed. If a parameter to a procedure is constant a specialized version of that procedure can be generated if the constant is inserted instead of the parameter in the procedure body and as much computations in the code as possible are performed.

A system is described which works on programs written in INTERLISP, and which performs partial evaluation together with other transformations such as beta-expansion and certain other optimization operations. The system works on full LISP and not only for a "pure" LISP dialect, and deals with problems occurring there involving side-effects, variable assignments etc. An analysis of a previous system, REDFUN, results in a list of problems, desired extensions and new features. This is used as a basis for a new design, resulting in a new implementation, REDFUN-2. This implementation, design considerations, constraints in the system, remaining problems, and other experience from the development and experiments with the system are reported in this paper.     

Place, publisher, year, edition, pages
Linköping: Linköpings universitet, 1977. p. 264
Series
Linköping Studies in Science and Technology. Dissertations, ISSN 0345-7524 ; 14
Keywords
program manipulation, partial evaluation, program optimization, LISP, beta-expansion, macro-expansion
National Category
Computer Sciences
Identifiers
urn:nbn:se:liu:diva-35618 (URN)27969 (Local ID)9173721441 (ISBN)27969 (Archive number)27969 (OAI)
Public defence
1977-05-27, BDL 6, Hus B, Valla, Linköping, 10:15 (English)
Opponent
Supervisors
Available from: 2009-10-10 Created: 2009-10-10 Last updated: 2023-01-23Bibliographically approved
Organisations

Search in DiVA

Show all publications