06676nam 22007455 450 99646548910331620200629123523.03-540-47297-510.1007/3-540-55844-6(CKB)1000000000233862(SSID)ssj0000325916(PQKBManifestationID)11265479(PQKBTitleCode)TC0000325916(PQKBWorkID)10265034(PQKB)11745640(DE-He213)978-3-540-47297-1(PPN)15522042X(EXLCZ)99100000000023386220121227d1992 u| 0engurnn|008mamaatxtccrProgramming Language Implementation and Logic Programming[electronic resource] 4th International Symposium, PLILP ’92, Leuven, Belgium, August 26–28, 1992 Proceedings /edited by Maurice Bruynooghe, Martin Wirsing1st ed. 1992.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1992.1 online resource (XI, 494 p. 27 illus.) Lecture Notes in Computer Science,0302-9743 ;631Bibliographic Level Mode of Issuance: Monograph3-540-55844-6 Improving control of logic programs by using functional logic languages -- Independent AND-parallel implementation of narrowing -- Binding techniques and garbage collection for OR-parallel CLP systems -- Path analysis for lazy data structures -- Why the occur-check is not a problem -- Incremental evaluation of natural semantics specifications -- Subsumption-oriented Push-Down Automata -- Unlimp uniqueness as a leitmotiv for implementation -- Using cached functions and constructors for incremental attribute evaluation -- Strictness analysis for attribute grammars -- Checking and debugging of two-level grammars -- On safe folding -- Unfold/fold transformations preserving termination properties -- A technique for transforming logic programs by fold-unfold transformations -- FOLON: An environment for declarative construction of logic programs -- A complete indexing scheme for WAM-based abstract machines -- Fast prolog with a VAM1p based Prolog compiler -- Metastructures vs. attributed variables in the context of extensible unification -- Comparing the Galois connection and widening/narrowing approaches to abstract interpretation -- Derivation of linear size relations by abstract interpretation -- Generic abstract interpretation algorithms for prolog: Two optimization techniques and their experimental evaluation -- A bottom-up interpreter for a higher-order logic programming language -- Camel: An extension of the categorical abstract machine to compile functional/logic programs -- On the interaction of lazy evaluation and backtracking -- Interprocedural dynamic slicing -- Algorithmic debugging for lazy functional languages -- A general trace query mechanism based on Prolog -- Fully declarative logic programming -- Our LIPS are sealed: Interfacing functional and logic programming systems -- Analyses of inconsistency for incremental equational logic programming -- I/O trees and interactive lazy functional programming -- UCG-E: An equational logic programming system -- A relational programming system with inferred representations -- An implementation of action semantics (Summary) -- BinProlog: A continuation passing style Prolog engine -- LaToKi: A language toolkit for bottom-Up evaluation of functional programs -- Implementing higher-order functions in an algebraic specification language with narrowing -- Implementing attribute grammars by computational models -- ProQuery: Logical access to an OODB -- Inference of inheritance relationships from Prolog programs: a system developed with PrologIII -- CLP(PB).This volume contains the papers accepted for presentation at the Fourth International Symposium on Programming Language Implementation and Logic Programming (PLILP '92) held in Leuven, Belgium, August 26-28, 1992. Theaim of the symposium was to explore new declarative concepts, methods and techniques relevant for implementation of all kinds of programming languages, whether algorithmic or declarative. The symposium gathered researchers from the fields of algorithmic programming languages as well as logic, functional, and object-oriented programming. The topics discussed in the volume include: - Declarative implementation techniques; - Implementation of declarative concepts and modules; - Compiler specification and construction; - Program transformation; - Programming environments for declarative languages; - Amalgamation of logic programming with algorithmic, functional, or object-oriented techniques; - Executable specification.Lecture Notes in Computer Science,0302-9743 ;631Computer programmingComputersProgramming languages (Electronic computers)Computer logicMathematical logicArtificial intelligenceProgramming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Theory of Computationhttps://scigraph.springernature.com/ontologies/product-market-codes/I16005Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XMathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Artificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Computer programming.Computers.Programming languages (Electronic computers).Computer logic.Mathematical logic.Artificial intelligence.Programming Techniques.Theory of Computation.Programming Languages, Compilers, Interpreters.Logics and Meanings of Programs.Mathematical Logic and Formal Languages.Artificial Intelligence.005.11Bruynooghe Mauriceedthttp://id.loc.gov/vocabulary/relators/edtWirsing Martinedthttp://id.loc.gov/vocabulary/relators/edtBOOK996465489103316Programming Language Implementation and Logic Programming2829960UNISA06437oam 2200829Ka 450 991079232790332120100826030104.01-282-55268-697866125526871-84950-725-2(CKB)2670000000019057(EBL)533107(OCoLC)608567715(SSID)ssj0000425073(PQKBManifestationID)12145255(PQKBTitleCode)TC0000425073(PQKBWorkID)10477689(PQKB)11362712(MiAaPQ)EBC533107(Au-PeEL)EBL533107(CaPaEBR)ebr10387215(CaONFJC)MIL255268(OCoLC)ocn608567715(PPN)170237125(EXLCZ)99267000000001905720100422d2010 uy 0engurun|||||||||txtccrPerformance measurement and management control[electronic resource] innovative concepts and practices /edited by Marc J. Epstein, Jean-François Manzoni, Antonio DavilaBingley, UK Emerald20101 online resource (541 p.)Studies in managerial and financial accounting,1479-3512 ;v. 20Description based on print version record.Selected conference papers.1-84950-724-4 Includes bibliographical references.Part I: Innovative concepts and practices in performance measurement and management control. The challenge of simultaneously improving social and financial performances: new research results / Marc J. Epstein ; Motivation through incentives: a cross-disciplinary review of the evidence / Jean-François Manzoni ; Thoughts on the structure of management systems to encourage creativity and innovation / Antonio Davila -- Part II: Innovation and management control. The introduction of innovative performance measurement and management control systems: the role of financial investors and their acquired companies / Selena Aureli ; Innovation and performance: some evidence from Italian firms / Mascia Ferrari and Luca La Rocca ; The interaction between information and trust in the control of transactional relationships: theoretical perspectives and empirical support / Rosa Alba Miraglia and Antonio Leotta ; Should rolling forecasts replace budgets in uncertain environments? / Marie-Anne Lorain -- Part III: Innovation and performance measurement. Strategy and integrated financial ratio performance measures: a longitudinal multi-country study of high performance companies / Belverd E. Needles, Anton Shigaev, Marian Powers and Mark L. Frigo ; Performance measurement in strategic changes / Raffaele Fiorentino ; Nonfinancial performance measures: how do they affect fairness of performance evaluation procedures? / Chong M. Lau and Erin Berry ; The relation between executive time orientation and performance measurement / Terhi Chakhovich, Seppo Ikäheimo and Tomi Seppälä -- Part IV: Balanced scorecard and performance measurement system adoption. Performance consequences of balanced scorecard adoptions: claim for large-scale evidence and propositions for future research / Michael Burkert, Antonio Davila and Daniel Oyon ; The importance of balanced scorecards in hospitals / Lars-Göran Aidemark, Stefano Baraldi, Elin K. Funck and Andreas Jansson ; Aligning strategy and performance measurement systems in the service sector companies: the Greek example / Androniki Triantafylli and Apostolos Ballas -- Part V: Providing information for decision making. Management accounting and information technology: some empirical evidence / Maria do Céu F. Gaspar Alves ; The diffusion of management accounting systems in manufacturing companies: an empirical analysis of Italian firms / Paolo Carenzo and Andrea Turolla ; The impact of firm characteristics on ABC systems: a Greek-based empirical analysis / Odysseas Pavlatos.In 2001, we gathered a group of researchers in Nice, France to focus discussion on performance measurement and management control. Following the success of that conference, we held subsequent conferences in 2003, 2005, 2007, and 2009. This volume contains some of the exemplary papers that were presented at the most recent conference. Though the conference has been generally focused on performance measurement and management control and has included presentations on many facets of the topic, each year we have also focused on a particular theme of current interest. This year's theme was directed at innovative concepts and practices. This includes creative approaches to solving management challenges of performance and management control and improving organizational performance. It also includes the innovative use of empirical, analytical, experimental, and case-based research. The contents of this book represent a collection of leading research in management control and performance measurement and provide a significant contribution to the growing literature in the area.Studies in managerial and financial accounting ;v. 20Management auditCongressesManagerial accountingCongressesOrganizational effectivenessCongressesPerformance standardsCongressesAccountingbicsscFinancial accountingbicsscBusiness & economicsAccountingGeneralbisacshBusiness & economicsAccountingManagerialbisacshConference papers and proceedings.fastManagement controlPerformance measurementInnovative conceptsManagement auditManagerial accountingOrganizational effectivenessPerformance standardsAccounting.Financial accounting.Business & economicsAccountingGeneral.Business & economicsAccountingManagerial.658.1511Epstein Marc J438176Manzoni J. F(Jean-François)1492257Dávila Antonio438174ZJCZJCBOOK9910792327903321Performance measurement and management control3714638UNINA