Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Full Abstraction for Probabilistic PCFEhrhard, Thomas ; Pagani, Michele ; Tasson, ChristineJournal of the ACM, 2018-08, Vol.65 (4), p.1-44 [Periódico revisado por pares]New York: ACMTexto completo disponível |
|
2 |
Material Type: Artigo
|
Reversible Garbage Collection for Reversible Functional LanguagesMogensen, Torben ÆgidiusNew generation computing, 2018-07, Vol.36 (3), p.203-232 [Periódico revisado por pares]Tokyo: OhmshaTexto completo disponível |
|
3 |
Material Type: Artigo
|
A needed narrowing strategyAntoy, Sergio ; Echahed, Rachid ; Hanus, MichaelJournal of the ACM, 2000-07, Vol.47 (4), p.776-822 [Periódico revisado por pares]New York: ACMTexto completo disponível |
|
4 |
Material Type: Artigo
|
Functional programming languages for verification tools: a comparison of Standard ML and HaskellLEUCKER, Martin ; NOLL, Thomas ; STEVENS, Perdita ; WEBER, MichaelInternational journal on software tools for technology transfer, 2005-04, Vol.7 (2), p.184-194 [Periódico revisado por pares]Berlin: SpringerTexto completo disponível |
|
5 |
Material Type: Artigo
|
A framework for call graph construction algorithmsGrove, David ; Chambers, CraigACM transactions on programming languages and systems, 2001-11, Vol.23 (6), p.685-746 [Periódico revisado por pares]ACMTexto completo disponível |
|
6 |
Material Type: Artigo
|
Deciding inclusion of set constants over infinite non-strict data structuresSchmidt-Schauss, Manfred ; Sabel, David ; Schütz, MarkoRAIRO. Informatique théorique et applications, 2007-04, Vol.41 (2), p.225-241 [Periódico revisado por pares]Paris: EDP SciencesTexto completo disponível |
|
7 |
Material Type: Artigo
|
Foundations for partial evaluation of functional programs with computational effectsHatcliff, JohnACM computing surveys, 1998-09, Vol.30 (3es), p.13-es [Periódico revisado por pares]ACMTexto completo disponível |
|
8 |
Material Type: Artigo
|
Type-based analysis of uncaught exceptionsLeroy, Xavier ; Pessaux, FrançoisACM transactions on programming languages and systems, 2000-03, Vol.22 (2), p.340-377 [Periódico revisado por pares]ACMTexto completo disponível |
|
9 |
Material Type: Artigo
|
Symbolic Semantics and Program ReductionAmbriola, V. ; Giannotti, F. ; Pedreschi, D. ; Turini, F.IEEE transactions on software engineering, 1985-08, Vol.SE-11 (8), p.784-794 [Periódico revisado por pares]New York, NY: IEEETexto completo disponível |
|
10 |
Material Type: Artigo
|
Using Annotations to Make Recursion Equations BehaveSchwarz, J.IEEE transactions on software engineering, 1982-01, Vol.SE-8 (1), p.21-33 [Periódico revisado por pares]New York: IEEETexto completo disponível |