| |
|
|
|
Registro Completo |
|
Biblioteca(s): |
Embrapa Agricultura Digital. |
|
Data corrente: |
10/09/1996 |
|
Data da última atualização: |
18/12/2007 |
|
Autoria: |
JONES, C. |
|
Título: |
The meta-language. |
|
Ano de publicação: |
1982 |
|
Fonte/Imprenta: |
In: BJORNER, D.; JONES, C. B. Formal specification and software development. Englewood Cliffs: Prentice-Hall International, 1982. |
|
Páginas: |
p.25-46. |
|
Idioma: |
Inglês |
|
Conteúdo: |
Chapters 2 and 3 are both concerned with the meta-language ("META-IV) in general; chapter 4 provides more motivation by showing how features of the meta-language are used in the denotational definition of programming languages. Readers who are new to semantic definitions are advised to read this chapter rather quickly and then use it as a reference after studying chapter 4. Those readers who are familiar with the Oxford work on denotational semantics will be struck by the large number of combinators used in "META-IV". The need for the extra "syntatic sugar" results from the definition of large systems. The only knowledge assumed is of elementary set and logic notation - thus, chapters 1-4, 14, and 15 of [Lipschutz 64a] would serve as adequate preparation. Lambda notation is introduced as a way of defining functions in general and combinators in particular. The notation for describing and manipulating objects is also described. The mathematical foundations of these concepts are reviewed in the next chapter. A programmer's view of the meta-language is given in [Bjorner 78c]. (This chapter is a replacement for [Jones 78a].) Other related work includes that of the "Z" group [Abrial 80*], CLEAR [Burstall 77a, Burstall 80a], and several projects at SRI (Stanford Research Institute, Menlo Park, Ca., USA). |
|
Categoria do assunto: |
-- |
|
Marc: |
LEADER 01714naa a2200133 a 4500
001 1003435
005 2007-12-18
008 1982 bl uuuu u00u1 u #d
100 1 $aJONES, C.
245 $aThe meta-language.
260 $c1982
300 $ap.25-46.
520 $aChapters 2 and 3 are both concerned with the meta-language ("META-IV) in general; chapter 4 provides more motivation by showing how features of the meta-language are used in the denotational definition of programming languages. Readers who are new to semantic definitions are advised to read this chapter rather quickly and then use it as a reference after studying chapter 4. Those readers who are familiar with the Oxford work on denotational semantics will be struck by the large number of combinators used in "META-IV". The need for the extra "syntatic sugar" results from the definition of large systems. The only knowledge assumed is of elementary set and logic notation - thus, chapters 1-4, 14, and 15 of [Lipschutz 64a] would serve as adequate preparation. Lambda notation is introduced as a way of defining functions in general and combinators in particular. The notation for describing and manipulating objects is also described. The mathematical foundations of these concepts are reviewed in the next chapter. A programmer's view of the meta-language is given in [Bjorner 78c]. (This chapter is a replacement for [Jones 78a].) Other related work includes that of the "Z" group [Abrial 80*], CLEAR [Burstall 77a, Burstall 80a], and several projects at SRI (Stanford Research Institute, Menlo Park, Ca., USA).
773 $tIn: BJORNER, D.; JONES, C. B. Formal specification and software development. Englewood Cliffs: Prentice-Hall International, 1982.
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Embrapa Agricultura Digital (CNPTIA) |
|
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
URL |
Voltar
|
|
|
| Registros recuperados : 16 | |
| 6. |  | MIRANDA, R. de Q.; GALVÍNCIO, J. D.; MOURA, M. S. B. de; JONES, C. A.; SRINIVASAN, R. Análise espacial do balanço hídrico na Caatinga da Bacia do Rio Pontal. In: CONGRESSO BRASILEIRO DE AGROMETEOROLOGIA, 20; SIMPÓSIO DE MUDANÇAS CLIMÁTICAS E DESERTIFICAÇÃO NO SEMIÁRIDO BRASILEIRO, 5., 2017, Juazeiro, BA. A agrometeorologia na solução de problemas multiescala: anais. Petrolina: Embrapa Semiárido; Juazeiro: UNIVASF; Campinas: Sociedade Brasileira de Agrometeorologia, 2017. 1 CD-ROM.| Tipo: Artigo em Anais de Congresso |
| Biblioteca(s): Embrapa Semiárido. |
|    |
| 8. | | MIRANAD, R. de Q.; GALVÍNCIO, J. D.; MORAIS, Y. C. B.; MOURA, M. S. B. de; JONES, C. A.; SRINIVASAN, R. Dry forest deforestation dynamics in Brazil's Pontal basin. Revista Caatinga, v. 31, n. 2, p. 385-395, abr./jun. 2018.| Tipo: Artigo em Periódico Indexado | Circulação/Nível: B - 1 |
| Biblioteca(s): Embrapa Semiárido. |
| |
| 9. | | HABTE, E.; TESHOME, A.; MUKTAR, M. S.; ASSEFA, Y.; NEGAWO, A. T.; MACHADO, J. C.; LEDO, F. J. da S.; JONES, C. S. Productivity and feed quality performance of napier grass (Cenchrus purpureus) genotypes growing under different soil moisture levels. Plants, v. 11, 2549, 2022.| Tipo: Artigo em Periódico Indexado | Circulação/Nível: A - 4 |
| Biblioteca(s): Embrapa Gado de Leite. |
| |
| 10. | | NEGAWO, A. T.; JORGE, A.; HANSON, J.; TESHOME, A.; MUKTAR, M. S.; AZEVEDO, A. L. S.; LEDO, F. J. da S.; MACHADO, J. C.; JONES, C. S. Molecular markers as a tool for germplasm acquisition to enhance the genetic diversity of a Napier grass (Cenchrus purpureus syn. Pennisetum purpureum) collection. Tropical Grasslands - Forrajes Tropicales, v. 6, n. 2, p. 58-69, 2018.| Tipo: Artigo em Periódico Indexado | Circulação/Nível: B - 2 |
| Biblioteca(s): Embrapa Gado de Leite. |
| |
| 12. | | ANDERSON, L. O.; BURTON, C.; REIS, J. B. C. dos; PESSÔA, A. C. M.; BETT, P.; CARVALHO, N. S.; SILVA JUNIOR, C. H. L.; WILLIAMS, K.; SELAYA, G.; ARMENTERAS, D.; BILBAO, B. A.; XAUD, H. A. M.; RIVERA-LOMBARDI, R.; FERREIRA, J. N.; ARAGÃO, L. E. O. C.; JONES, C. D.; WILTSHIRE, A. J. An alert systemfor Seasonal Fire probability forecast for South American Protected Areas. Climate Resilience and Sustainability, p. 1-19, 2021.| Tipo: Artigo em Periódico Indexado | Circulação/Nível: C - 0 |
| Biblioteca(s): Embrapa Roraima. |
| |
| 13. | | ANDERSON, L. O.; BURTON, C.; REIS, J. B. C. dos; PESSÔA, A. C. M.; BETT, P.; CARVALHO, N. S.; SILVA JUNIOR, C. H. L.; WILLIAMS, K.; SELAYA, G.; ARMENTERAS, D.; BILBAO, B. A.; XAUD, H. A. M.; RIVERA-LOMBARDI, R.; FERREIRA, J. N.; ARAGÃO, L. E. O. C.; JONES, C. D.; WILTSHIRE, A. J. An alert systemfor Seasonal Fire probability forecast for South American Protected Areas. Climate Resilience and Sustainability, v. 1, n. 1, p. 1-19, Feb. 2022.| Tipo: Artigo em Periódico Indexado |
| Biblioteca(s): Embrapa Amazônia Oriental. |
| |
| 14. | | HICKEY, J. M.; CHIURUGWI, T.; MACKAY, I.; POWELL, W.; EGGEN, A.; KILIAN, A.; JONES, C.; CANALES, C.; GRATTAPAGLIA, D.; BASSI, F.; ATLIN, G.; GORJANC, G.; DAWSON, I.; RABBI, I.; RIBAUT, J.-M.; RUTKOSKI, J.; BENZIE, J.; LIGHTNER, J.; MWACHARO, J.; PARMENTIER, J.; ROBBINS, K.; SKOT, L.; WOLFE, M.; ROUARD, M.; CLARK, M.; AMER, P.; GARDINER, P.; HENDRE, P.; MRODE, R.; SIVASANKAR, S.; RASMUSSEN, S.; GROH, S.; JACKSON, V.; THOMAS, W.; BEYENE, Y. Genomic prediction unifies animal and plant breeding programs to form platforms for biological discovery. Nature Genetics, v. 49, p. 1297-1303, 2017.| Tipo: Artigo em Periódico Indexado | Circulação/Nível: A - 1 |
| Biblioteca(s): Embrapa Recursos Genéticos e Biotecnologia. |
| |
| 15. | | AMARAL, M. E. J.; GRANT, J. R.; RIGGS, P. K.; STAFUZZA, N. B.; RODRIGUES FILHO, E. A.; GOLDAMMER, T.; WEIKARD, R.; BRUNNER, R. M.; KOCHAN, K. J.; GRECO, A. J.; JEONG, J.; CAI, Z.; LIN, G.; PRASAD, A.; KUMAR, S.; SARADHI, G. P.; MATHEW, B.; KUMAR, M. A.; MIZIARA, M. N.; MARIANI, P.; CAETANO, A. R.; GALVAO, S. R.; TANTIA, M. S.; VIJH, R. K.; MISHRA, B.; KUMAR, S. B.; PELAI, V. A.; SANTANA, A. M.; FORNITANO, L. C.; JONES, C. B.; TONHATI, H.; MOORE, S.; STOTHARD, P.; WOMACK, J. E. A first generation whole genome RH map of the river buffalo with comparison to domestic cattle. BMC Genomics, v. 9, n. 631.| Tipo: Artigo em Periódico Indexado | Circulação/Nível: A - 1 |
| Biblioteca(s): Embrapa Recursos Genéticos e Biotecnologia. |
| |
| 16. | | GALVÍNCIO, J. D.; ARAÚJO, M. do S. B. de; SOUZA, W. M. de; COSTA, V. S. de O.; MONTENEGRO, S. M. G. L.; BRESSIANI, D. de A.; SRINIVASAN, t.; JONES, C. A.; FREIRE, M. B. G. dos S.; FERNANDES, J. G.; MOURA, M. S. B. de; MIRANDA, R. de Q.; PAZ, Y. M.; FERREIRA, P. dos S.; FRANÇA, L. M. de A.; CAVALCANTI, E. R. A.; LIMA, C. E. S. de; SILVA, E. L. R. da; SANTOS, T. O. dos; ALBUQUERQUE, V. B. S. de; SILVA, R. H. de O. da; GOMES, V. P.; LOPES, Z. F.; SILVA JÚNIOR, A. P. da; SENA, A. G. de; MORAIS, Y. C. B.; SILVA, J. N. B. da; SILVA, J. F. da; LIMA, M. C. G. de; BRITO, P. V. da S.; SILVA, P. P. L.; LACERDA, A. C. Desenvolvimento de parâmetros de vegetação para as grandes e pequenas culturas usando os modelos SWAT e APEX em estudos nos Biomas brasileiros (CAPES PVE A103/2013). In: WORKSHOP DE MUDANÇAS CLIMÁTICAS E RECURSOS HÍDRICOS DO ESTADO DE PERNAMBUCO, 8.; WORKSHOP INTERNACIONAL SOBRE MUDANÇAS CLIMÁTICAS E BIODIVERSIDADE, 5., 2017, Recife. Governança, desenvolvimento e tecnologias ambientais. Recife: ITEP, 2017. 1 CD-ROM.| Tipo: Resumo em Anais de Congresso |
| Biblioteca(s): Embrapa Semiárido. |
| |
| Registros recuperados : 16 | |
|
| Nenhum registro encontrado para a expressão de busca informada. |
|
|
