Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Implementation and Application of Functional Languages: 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected PapersHinze, Ralf Hinze, RalfNetherlands: Springer Nature 2013Texto completo disponível |
|
2 |
Material Type: Livro
|
Translating Relational Queries into Iterative ProgramsFreytag, Johann ChristophBerlin, Heidelberg: Springer Berlin Heidelberg 1987Texto completo disponível |
|
3 |
Material Type: Livro
|
Trends in Functional Programming: 21st International Symposium, TFP 2020, Krakow, Poland, February 13–14, 2020, Revised Selected PapersByrski, Aleksander ; Hughes, JohnCham: Springer International PublishingSem texto completo |
|
4 |
Material Type: Artigo
|
Can Programming Be Liberated, Period?Harel, D.Computer (Long Beach, Calif.), 2008-01, Vol.41 (1), p.28-37 [Periódico revisado por pares]New York, NY: IEEETexto completo disponível |
|
5 |
Material Type: Artigo
|
Magic Potion: Incorporating New Development Paradigms through MetaprogrammingDjuric, D ; Devedzic, VIEEE software, 2010-09, Vol.27 (5), p.38-44 [Periódico revisado por pares]Los Alamitos: IEEETexto completo disponível |
|
6 |
Material Type: Artigo
|
Multi-DSL Applications with RubyGunther, SebastianIEEE software, 2010-09, Vol.27 (5), p.25-30 [Periódico revisado por pares]Los Alamitos: IEEETexto completo disponível |
|
7 |
Material Type: Artigo
|
Incremental change in object-oriented programmingRajlich, V. ; Gosavi, P.IEEE software, 2004-07, Vol.21 (4), p.62-69 [Periódico revisado por pares]Los Alamitos: IEEETexto completo disponível |
|
8 |
Material Type: Ata de Congresso
|
License integration patterns: Addressing license mismatches in component-based developmentGerman, Daniel ; Hassan, Ahmed2009 IEEE 31st International Conference on Software Engineering, 2009, p.188-198IEEE Computer SocietyTexto completo disponível |
|
9 |
Material Type: Ata de Congresso
|
SMT-Based Bounded Model Checking for Embedded ANSI-C SoftwareCordeiro, L. ; Fischer, B. ; Marques-Silva, J.2009 IEEE/ACM International Conference on Automated Software Engineering, 2009, p.137-148IEEETexto completo disponível |
|
10 |
Material Type: Artigo
|
Dynamic adaptation of the squid Web cache with ArachneSegura-Devillechaise, M. ; Menaud, J.-M. ; Loriant, N. ; Douence, R. ; Sudholt, M. ; Fritz, T. ; Wuchner, E.IEEE software, 2006-01, Vol.23 (1), p.34-41 [Periódico revisado por pares]Los Alamitos, CA: IEEETexto completo disponível |