{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:18:55Z","timestamp":1740097135832,"version":"3.37.3"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319240114"},{"type":"electronic","value":"9783319240121"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-24012-1_4","type":"book-chapter","created":{"date-parts":[[2015,10,6]],"date-time":"2015-10-06T14:01:22Z","timestamp":1444140082000},"page":"44-58","source":"Crossref","is-referenced-by-count":1,"title":["The Dinamica Virtual Machine for Geosciences"],"prefix":"10.1007","author":[{"given":"Bruno Morais","family":"Ferreira","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Britaldo Silveira","family":"Soares-Filho","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fernando Magno Quint\u00e3o","family":"Pereira","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,11,15]]},"reference":[{"issue":"5","key":"4_CR1","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1145\/355592.365646","volume":"9","author":"C Bohm","year":"1966","unstructured":"Bohm, C., Jacopini, G.: Flow diagrams, turing machines and languages with only two formation rules. Commun. ACM 9(5), 366\u2013371 (1966)","journal-title":"Commun. ACM"},{"issue":"4","key":"4_CR2","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1145\/115372.115320","volume":"13","author":"R Cytron","year":"1991","unstructured":"Cytron, R., Ferrante, J., Rosen, B.K., Wegman, M.N., Zadeck, F.K.: Efficiently computing static single assignment form and the control dependence graph. TOPLAS 13(4), 451\u2013490 (1991)","journal-title":"TOPLAS"},{"issue":"1","key":"4_CR3","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1145\/1327452.1327492","volume":"51","author":"J Dean","year":"2008","unstructured":"Dean, J., Ghemawat, S.: Mapreduce: simplified data processing on large clusters. Commun. ACM 51(1), 107\u2013113 (2008)","journal-title":"Commun. ACM"},{"key":"4_CR4","unstructured":"Eastman, J.R.: Pushbroom algorithms for calculating distances in raster grids. In: Auto-Carto, pp. 288\u2013297. ASPRS and ACSM (1989)"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Ferreira, B.M., ao Pereira, F.M.Q., Rodrigues, H., Soares-Filho, B.S.: Optimizing a geomodeling domain specific language. In: Simposio Brasileiro de Linguagens de Programacao. Sociedade Brasileira de Computacao (2012)","DOI":"10.1007\/978-3-642-33182-4_8"},{"key":"4_CR6","volume-title":"Design Patterns: Elements of Reusable Object-oriented Software","author":"E Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-oriented Software. Addison-Wesley Longman Publishing Co. Inc., Boston (1995)"},{"issue":"223","key":"4_CR7","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1038\/scientificamerican1070-120","volume":"1","author":"M Gardner","year":"1970","unstructured":"Gardner, M.: Mathematical games - the fantastic combination of John conway\u2019s new solitaire game life. Sci. Am. 1(223), 120\u2013123 (1970)","journal-title":"Sci. Am."},{"key":"4_CR8","unstructured":"Gill, A., Launchbury, J., Peyton Jones, S.L.: A short cut to deforestation. In: Proceedings of the Conference on Functional Programming Languages and Computer Architecture, FPCA 1993, pp. 223\u2013232. ACM, New York (1993). \n                    http:\/\/doi.acm.org\/10.1145\/165180.165214"},{"issue":"2","key":"4_CR9","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1016\/j.envsci.2010.12.007","volume":"14","author":"F Hajek","year":"2011","unstructured":"Hajek, F., Ventresca, M.J., Scriven, J., Castro, A.: Regime-building for REDD+: evidence from a cluster of local initiatives in south-eastern Peru. Environ. Sci. Policy 14(2), 201\u2013215 (2011)","journal-title":"Environ. Sci. Policy"},{"key":"4_CR10","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1016\/1045-926X(92)90034-J","volume":"3","author":"DD Hils","year":"1992","unstructured":"Hils, D.D.: Visual languages and computing survey: data flow visual programming languages. J. Visual Lang. Comput. 3, 69\u2013101 (1992)","journal-title":"J. Visual Lang. Comput."},{"issue":"6","key":"4_CR11","doi-asserted-by":"publisher","first-page":"10781","DOI":"10.5194\/hessd-8-10781-2011","volume":"8","author":"HTL Huong","year":"2011","unstructured":"Huong, H.T.L., Pathirana, A.: Urbanization and climate change impacts on future urban flood risk in can tho city, Vietnam. Hydrol. Earth Syst. Sci. Discuss. 8(6), 10781\u201310824 (2011)","journal-title":"Hydrol. Earth Syst. Sci. Discuss."},{"key":"4_CR12","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1016\/j.envsoft.2013.09.010","volume":"51","author":"JF Mas","year":"2014","unstructured":"Mas, J.F., Kolb, M., Paegelow, M., Camacho Olmedo, M.T., Houet, T.: Inductive pattern-based land use\/cover change models: a comparison of four software packages. Environ. Model. Softw. 51, 94\u2013111 (2014). \n                    http:\/\/dx.doi.org\/10.1016\/j.envsoft.2013.09.010","journal-title":"Environ. Model. Softw."},{"key":"4_CR13","doi-asserted-by":"publisher","first-page":"1350","DOI":"10.1126\/science.1182108","volume":"326","author":"D Nepstad","year":"2009","unstructured":"Nepstad, D., Soares-Filho, B., Merry, F., Lima, A., Moutinho, P., Carter, J., Bowman, M., Cattaneo, A., Rodrigues, H., Schwartzman, S., McGrath, D., Stickler, C., Lubowski, R., Piris-Cabeza, P., Rivero, S., Alencar, A., Almeida, O., Stella, O.: The end of deforestation in the Brazilian amazon. Science 326, 1350\u20131351 (2009)","journal-title":"Science"},{"key":"4_CR14","volume-title":"Semantics with Applications - A Formal Introduction","author":"HR Nielson","year":"1992","unstructured":"Nielson, H.R., Nielson, F.: Semantics with Applications - A Formal Introduction. Wiley, New York (1992)"},{"issue":"1","key":"4_CR15","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1016\/j.envsoft.2011.09.011","volume":"29","author":"A P\u00e9rez-Vega","year":"2012","unstructured":"P\u00e9rez-Vega, A., Mas, J.F., Ligmann-Zielinska, A.: Comparing two approaches to land use\/cover change modeling and their implications for the assessment of biodiversity loss in a deciduous tropical forest. Environ. Model. Softw. 29(1), 11\u201323 (2012)","journal-title":"Environ. Model. Softw."},{"key":"4_CR16","doi-asserted-by":"publisher","first-page":"520","DOI":"10.1038\/nature04389","volume":"440","author":"B Soares-Filho","year":"2006","unstructured":"Soares-Filho, B., Nepstad, D., Curran, L., Cerqueira, G., Garcia, R., Ramos, C., Voll, E., McDonald, A., Lefebvre, P., Schlesinger, P.: Modelling conservation in the Amazon basin. Nature 440, 520\u2013523 (2006)","journal-title":"Nature"},{"key":"4_CR17","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/S0304-3800(02)00059-5","volume":"154","author":"B Soares-Filho","year":"2002","unstructured":"Soares-Filho, B., Pennachin, C., Cerqueira, G.: Dinamica - a stochastic cellular automata model designed to simulate the landscape dynamics in an Amazonian colonization frontier. Ecol. Model. 154, 217\u2013235 (2002)","journal-title":"Ecol. Model."},{"issue":"6182","key":"4_CR18","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1126\/science.1246663","volume":"344","author":"B Soares-Filho","year":"2014","unstructured":"Soares-Filho, B., Rajo, R., Macedo, M., Carneiro, A., Costa, W., Coe, M., Rodrigues, H., Alencar, A.: Cracking Brazil\u2019s forest code. Science 344(6182), 363\u2013364 (2014). \n                    http:\/\/www.sciencemag.org\/content\/344\/6182\/363.short","journal-title":"Science"},{"issue":"1","key":"4_CR19","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/j.compenvurbsys.2010.07.005","volume":"35","author":"RB Thapa","year":"2011","unstructured":"Thapa, R.B., Murayama, Y.: Urban growth modeling of Kathmandu metropolitan region, Nepal. Comput. Environ. Urban Syst. 35(1), 25\u201334 (2011)","journal-title":"Comput. Environ. Urban Syst."},{"key":"4_CR20","volume-title":"Geographic Information Systems and Cartographic Modelling","author":"CD Tomlin","year":"1990","unstructured":"Tomlin, C.D.: Geographic Information Systems and Cartographic Modelling. Prentice-Hall, Englewood Cliffs (1990)"},{"issue":"2","key":"4_CR21","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0304-3975(90)90147-A","volume":"73","author":"P Wadler","year":"1988","unstructured":"Wadler, P.: Deforestation: transforming programs to eliminate trees. Theor. Comput. Sci. 73(2), 231\u2013248 (1988)","journal-title":"Theor. Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","Programming Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-24012-1_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T00:12:48Z","timestamp":1559261568000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-24012-1_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319240114","9783319240121"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-24012-1_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}