01142nam0-22003851i-450-99000544905020331620010829120000.0000544905USA01000544905(ALEPH)000544905USA0100054490520010829d1987-------|0enac50------baengUS|||| |||||Development and planningIgnacy Sachstranslated by Peter FawcettCambridgeCambridge University Press1987134 p.22 cm.Sviluppo economicoFICambridge338.9Sviluppo economico21SACHS,Ignacy120957FAWCETT,PeterCambridge University PressITSOL20120104990005449050203316DIP.TO SCIENZE ECONOMICHE - (SA)DS 300 338.9 SAC3171 DISES300 338.9 SAC3171 DISESBKDISES20121027USA01153220121027USA011613Développer les champs de planification45017UNISAUSA465705565nam 22007575 450 99646531570331620200702135120.03-540-45587-610.1007/3-540-45587-6(CKB)1000000000211660(SSID)ssj0000325786(PQKBManifestationID)11258859(PQKBTitleCode)TC0000325786(PQKBWorkID)10264919(PQKB)11283443(DE-He213)978-3-540-45587-5(MiAaPQ)EBC3071564(PPN)155201697(EXLCZ)99100000000021166020121227d2002 u| 0engurnn|008mamaatxtccrPractical Aspects of Declarative Languages[electronic resource] 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002. Proceedings /edited by Shriram Krishnamurthi, C.R. Ramakrishnan1st ed. 2002.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2002.1 online resource (VIII, 356 p.) Lecture Notes in Computer Science,0302-9743 ;2257Bibliographic Level Mode of Issuance: Monograph3-540-43092-X Includes bibliographical references and index.Invited Talks -- Using a Declarative Language to Build an Experimental Analysis Tool -- How to Talk to Your Computer so that It Will Listen -- Single-Threaded Objects in ACL2 -- Regular Papers -- Modeling Engineering Structures with Constrained Objects -- Compiler Construction in Higher Order Logic Programming -- Declarative Programming and Clinical Medicine On the Use of Gisela in the MedView Project -- Semantics-Based Filtering: Logic Programming’s Killer App -- Linear Scan Register Allocation in a High-Performance Erlang Compiler -- Compiling Embedded Programs to Byte Code -- Typed Combinators for Generic Traversal -- Event-Driven FRP -- Adding Apples and Oranges -- WASH/CGI: Server-Side Web Scripting with Sessions and Typed, Compositional Forms -- A Better XML Parser through Functional Programming -- Functional Approach to Texture Generation -- Abstract Interpretation over Non-deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs -- A High-Level Generic Interface to External Programming Languages for ECLiPSe -- A Debugging Scheme for Declarative Equation Based Modeling Languages -- Segment Order Preserving and Generational Garbage Collection for Prolog -- Exploiting E.cient Control and Data Structures in Logic Programs -- Suspending and Resuming Computations in Engines for SLG Evaluation.Declarative languages build on sound theoretical bases to provide attractive frameworks for application development. These languages have been succe- fully applied to a wide variety of real-world situations including database m- agement, active networks, software engineering, and decision-support systems. New developments in theory and implementation expose fresh opportunities. At the same time, the application of declarative languages to novel problems raises numerous interesting research issues. These well-known questions include scalability, language extensions for application deployment, and programming environments. Thus, applications drive the progress in the theory and imp- mentation of declarative systems, and in turn bene?t from this progress. The International Symposium on Practical Applications of Declarative L- guages (PADL) provides a forum for researchers, practitioners, and implementors of declarative languages to exchange ideas on current and novel application - eas and on the requirements for e?ective use of declarative systems. The fourth PADL symposium was held in Portland, Oregon, on January 19 and 20, 2002.Lecture Notes in Computer Science,0302-9743 ;2257Programming languages (Electronic computers)Computer scienceComputer programmingComputer logicSoftware engineeringProgramming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Computer Science, generalhttps://scigraph.springernature.com/ontologies/product-market-codes/I00001Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XSoftware Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Programming languages (Electronic computers).Computer science.Computer programming.Computer logic.Software engineering.Programming Languages, Compilers, Interpreters.Computer Science, general.Programming Techniques.Logics and Meanings of Programs.Software Engineering.005.13/1Krishnamurthi Shriramedthttp://id.loc.gov/vocabulary/relators/edtRamakrishnan C.Redthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996465315703316Practical Aspects of Declarative Languages772495UNISA02439oas 2200937 a 450 991014684440332120251105213014.01432-1866(DE-599)ZDB1462046-7(DE-599)1462046-7(OCoLC)39979737(CONSER) 2001229248(CKB)954925425185(EXLCZ)9995492542518519981002a19669999 sy aengurmnu||||||||txtrdacontentcrdamediacrrdacarrierMineralium depositaBerlin ;New York Springer-VerlagRefereed/Peer-reviewed"International journal for geology, mineralogy, and geochemistry of mineral deposits."Title from journal information screen (viewed Dec. 22, 2001).0026-4598 Miner. depos.MineralogyPeriodicalsOre depositsPeriodicalsMinéralogiePériodiquesGîtes minérauxPériodiquesMineralogyfast(OCoLC)fst01022406Ore depositsfast(OCoLC)fst01047477MineralogiegttSedimentologiathubMineralogiathubPeriodicals.fastRevistes electròniques.thubMineralogyOre depositsMinéralogieGîtes minérauxMineralogy.Ore deposits.Mineralogie.Sedimentologia.Mineralogia.553.05Springer-Verlag New York Inc.Society for Geology Applied to Mineral DepositsPITPITOCLFUGOCLCQMUQOCLOCLCQUKMGBOCLCQOCLCOOCLCFOCLCOOCLCQCGUVT2NJTDLCOCLCOOCLCQUABSXBOCLCLCNTRUCCOFIEOCLCQJOURNAL9910146844403321Mineralium deposita792073UNINA