Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Ata de Congresso
|
Abstracting s-semantics using a model-theoretic approachBoulanger, Dmitri ; Bruynooghe, Maurice ; Denecker, MarcSpringer 1994Texto completo disponível |
|
2 |
Material Type: Capítulo de Livro
|
A portable implementation of memoing evaluationWunderwald, Jens E.Programming Languages: Implementations, Logics and Programs, 1995, p.465-466 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
3 |
Material Type: Capítulo de Livro
|
Efficient multi-level generating extensions for program specializationGlück, Robert ; Jørgensen, JesperProgramming Languages: Implementations, Logics and Programs, 1995, p.259-278 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
4 |
Material Type: Capítulo de Livro
|
Exploiting parallelism in tabled evaluationsFreire, Juliana ; Hu, Rui ; Swift, Terrance ; Warren, David S.Programming Languages: Implementations, Logics and Programs, 1995, p.115-132 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
5 |
Material Type: Capítulo de Livro
|
A verified implementation of narrowingFaßbender, HeinzProgramming Languages: Implementations, Logics and Programs, 1995, p.63-80 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
6 |
Material Type: Capítulo de Livro
|
Towards a taxonomy of functional language implementationsDouence, Rémi ; Fradet, PascalProgramming Languages: Implementations, Logics and Programs, 1995, p.27-44 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
7 |
Material Type: Capítulo de Livro
|
Attributed models of executable specificationsMeriste, Merik ; Penjam, JaanProgramming Languages: Implementations, Logics and Programs, 1995, p.459-460 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
8 |
Material Type: Capítulo de Livro
|
Efficient compile-time garbage collection for arbitrary data structuresMohneu, MarkusProgramming Languages: Implementations, Logics and Programs, 1995, p.241-258 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
9 |
Material Type: Capítulo de Livro
|
Goal-directed query processing in disjunctive logic databasesShimajiri, Yuka ; Seki, Hirohisa ; Itoh, HidenoriProgramming Languages: Implementations, Logics and Programs, 1995, p.415-430 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
10 |
Material Type: Capítulo de Livro
|
Design and implementation of jump tables for fast indexing of logic programsDawson, Steven ; Ramakrishnan, C. R. ; Ramakrishnan, I. V.Programming Languages: Implementations, Logics and Programs, 1995, p.133-150 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |