| |
|
|
 | Acesso ao texto completo restrito à biblioteca da Embrapa Agricultura Digital. Para informações adicionais entre em contato com cnptia.biblioteca@embrapa.br. |
|
Registro Completo |
|
Biblioteca(s): |
Embrapa Agricultura Digital. |
|
Data corrente: |
12/03/1996 |
|
Data da última atualização: |
04/04/2019 |
|
Autoria: |
LAO, M. J. |
|
Afiliação: |
MAREK J. LAO, Institute of Informatics/University of Warsaw. |
|
Título: |
Combinator-based compilation of recursive functions with different parameter passing modes. |
|
Ano de publicação: |
1987 |
|
Fonte/Imprenta: |
Acta Informatica, v. 24, p. 653-678, 1987. |
|
Idioma: |
Inglês |
|
Conteúdo: |
Wand's technique of deriving compilers from denotational semantics is applied to a block structured language with recursive functions. The emphasis is on compilation of different parameter passing modes and a simple storage management. The technique starts by eliminating ?-variables from semantic equations through the introduction of special-purpose combinators. The final code consists of combinators equivalent to target-machine instructions (running-system procedures). The method enables us to derive a compiler and a running system directly from the denotational semantics of a language. |
|
Palavras-Chave: |
Compilation; Denotational semantics; Equações semânticas. |
|
Categoria do assunto: |
X Pesquisa, Tecnologia e Engenharia |
|
Marc: |
LEADER 01077naa a2200157 a 4500
001 1002435
005 2019-04-04
008 1987 bl uuuu u00u1 u #d
100 1 $aLAO, M. J.
245 $aCombinator-based compilation of recursive functions with different parameter passing modes.$h[electronic resource]
260 $c1987
520 $aWand's technique of deriving compilers from denotational semantics is applied to a block structured language with recursive functions. The emphasis is on compilation of different parameter passing modes and a simple storage management. The technique starts by eliminating ?-variables from semantic equations through the introduction of special-purpose combinators. The final code consists of combinators equivalent to target-machine instructions (running-system procedures). The method enables us to derive a compiler and a running system directly from the denotational semantics of a language.
653 $aCompilation
653 $aDenotational semantics
653 $aEquações semânticas
773 $tActa Informatica$gv. 24, p. 653-678, 1987.
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Embrapa Agricultura Digital (CNPTIA) |
|
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
URL |
Voltar
|
|
|
Registro Completo
|
Biblioteca(s): |
Embrapa Agrobiologia; Embrapa Arroz e Feijão; Embrapa Milho e Sorgo; Embrapa Trigo. |
|
Data corrente: |
26/10/2023 |
|
Data da última atualização: |
20/02/2024 |
|
Tipo da produção científica: |
Resumo em Anais de Congresso |
|
Autoria: |
ALHO, C. F. B. V.; FREITAS, A. C. R. de; SANTOS, F. C. dos; SILVEIRA, M. C. T. da; SANTI, A.; NASCIMENTO, A. F. do; ALVES, B. J. R.; MADARI, B. E. |
|
Afiliação: |
WAGENINGEN UNIVERSITY & RESEARCH; ANTONIO CARLOS REIS DE FREITAS, CPACP; FLAVIA CRISTINA DOS SANTOS, CNPMS; MARCIA CRISTINA T DA SILVEIRA, CNPMS; ANDERSON SANTI, CNPT; ALEXANDRE FERREIRA DO NASCIMENTO, CPAMT; BRUNO JOSE RODRIGUES ALVES, CNPAB; BEATA EMOKE MADARI, CNPAF. |
|
Título: |
Performance of the Manure-DNDC model in estimating soil organic carbon stocks of (sub)tropical soils under different pedoclimatic zones and farming systems. |
|
Ano de publicação: |
2023 |
|
Fonte/Imprenta: |
In: CONGRESO INTERNACIONAL DE SISTEMAS SILVOPASTORILES, 12.; CONGRESO DE LA RED GLOBAL DE SISTEMAS SILVOPASTORILES, 2.; IV SEMINARIO NACIONAL DE SISTEMAS SILVOPASTORILES, 4., 2023, Montevideo; CONGRESO NACIONAL SISTEMAS SILVOPASTORILES, 5., 2023, Buenos Aires. Sistemas silvopastoriles: hacia una diversificación sostenible. Cali: CIPAV, 2023. |
|
Páginas: |
p. 638. |
|
Idioma: |
Inglês |
|
Conteúdo: |
The aim of this study was to assess the performance of the Manure-DNDC model in estimating the soil organic carbon stocks of (sub)tropical soils in two sites in Brazil under different pedoclimatic zones and farming systems. |
|
Palavras-Chave: |
Carbono orgânico; Mitigação das alterações climáticas; Rotação de colheitas; Sistema integrado. |
|
Thesagro: |
Solo; Solo Arenoso; Solo Argiloso. |
|
Categoria do assunto: |
P Recursos Naturais, Ciências Ambientais e da Terra |
|
URL: |
https://ainfo.cnptia.embrapa.br/digital/bitstream/doc/1157516/1/Performance-of-the-Manure-DNDC-model-in-estimating-soil-organic-carbon-.pdf
|
|
Marc: |
LEADER 01454nam a2200289 a 4500
001 2157516
005 2024-02-20
008 2023 bl uuuu u00u1 u #d
100 1 $aALHO, C. F. B. V.
245 $aPerformance of the Manure-DNDC model in estimating soil organic carbon stocks of (sub)tropical soils under different pedoclimatic zones and farming systems.$h[electronic resource]
260 $aIn: CONGRESO INTERNACIONAL DE SISTEMAS SILVOPASTORILES, 12.; CONGRESO DE LA RED GLOBAL DE SISTEMAS SILVOPASTORILES, 2.; IV SEMINARIO NACIONAL DE SISTEMAS SILVOPASTORILES, 4., 2023, Montevideo; CONGRESO NACIONAL SISTEMAS SILVOPASTORILES, 5., 2023, Buenos Aires. Sistemas silvopastoriles: hacia una diversificación sostenible. Cali: CIPAV$c2023
300 $ap. 638.
520 $aThe aim of this study was to assess the performance of the Manure-DNDC model in estimating the soil organic carbon stocks of (sub)tropical soils in two sites in Brazil under different pedoclimatic zones and farming systems.
650 $aSolo
650 $aSolo Arenoso
650 $aSolo Argiloso
653 $aCarbono orgânico
653 $aMitigação das alterações climáticas
653 $aRotação de colheitas
653 $aSistema integrado
700 1 $aFREITAS, A. C. R. de
700 1 $aSANTOS, F. C. dos
700 1 $aSILVEIRA, M. C. T. da
700 1 $aSANTI, A.
700 1 $aNASCIMENTO, A. F. do
700 1 $aALVES, B. J. R.
700 1 $aMADARI, B. E.
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Embrapa Milho e Sorgo (CNPMS) |
|
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
Fechar
|
| Nenhum registro encontrado para a expressão de busca informada. |
|
|
