Filters








842,842 Hits in 3.7 sec

Goal-directed program transformation

Ben Wegbreit
1976 Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages - POPL '76  
Program development often proceeds by transforming simple, clear programs into complex, involuted, but more efficient ones. This paper examines ways this process can be rendered more systematic.  ...  We show how analysis of program performance, partial evaluation of functions, and abstraction of recursive function definitions from recurring subgoals can be combined to yield many global transformations  ...  The major contribution of this work is in the use of program analysis to direct the transformation process.  ... 
doi:10.1145/800168.811549 dblp:conf/popl/Wegbreit76 fatcat:3rgfgqztgnho7kcsir7i3dodua

A program transformation for faster goal-directed search

Akash Lai, Shaz Qadeer
2014 2014 Formal Methods in Computer-Aided Design (FMCAD)  
A goal-directed search attempts to reveal only relevant information needed to establish reachability (or unreachability) of the goal from the initial state of the program.  ...  We empirically validate using multiple goal-directed verifiers that applying this transformation before invoking the verifier results in significant speedups, sometimes up to an order of magnitude.  ...  This transformation is similar to ours, however, we do not use summaries and our target is goal-directed program verification, not dataflow analysis.  ... 
doi:10.1109/fmcad.2014.6987607 dblp:conf/fmcad/LalQ14 fatcat:hsottcobavgrhkcts4c33q2llm

A Scripting Engine for Combining Design Transformations

Timothy Todman, Qiang Liu, Wayne Luk, George Constantinides
2010 2010 18th IEEE Annual International Symposium on Field-Programmable Custom Computing Machines  
Our scripting engine supports hardware design involving both syntax-directed transformatins such as loop coalescing, and goal-directed transformations such as geometric programming.  ...  We show how customizing the composition and parameterization of design transformations can lead to designs with different trade-offs in performance and resource usage.  ...  [8] identify two kinds of transformation, goal-directed and syntax-directed, and combine them in one approach.  ... 
doi:10.1109/fccm.2010.46 dblp:conf/fccm/TodmanLLC10 fatcat:dz2teovv6zdexchvluzcxoe64a

The uniconc optimizing unicon compiler

Michael D. Wilder
2006 Companion to the 21st ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications - OOPSLA '06  
Goal-directed programming languages present many unique challenges for compiler developers.  ...  The objective of this project was to design and implement an optimizing compiler for the goal-directed, object-oriented Unicon programming language.  ...  This program is administered by the Oak Ridge Institute for Science and Education for the National Library of Medicine.  ... 
doi:10.1145/1176617.1176710 dblp:conf/oopsla/Wilder06 fatcat:wv2ekunyfjcrllfwgqfihnstki

Customizable Composition and Parameterization of Hardware Design Transformations

Tim Todman, Qiang Liu, Wayne Luk, George Constantinides
2010 2010 13th Euromicro Conference on Digital System Design: Architectures, Methods and Tools  
Our approach is implemented by a tool based on the Python language and the ROSE compiler framework, which supports both syntax-directed transformations such as loop coalescing, and goal-directed transformations  ...  In addition, complex transformations based on linear programming and geometric programming are often not included.  ...  goal-directed transformation.  ... 
doi:10.1109/dsd.2010.78 dblp:conf/dsd/TodmanLLC10 fatcat:jtyjq6d7ozhdrojhrg2s5hblb4

Adopting Agile Practices in Teams with No Direct Programming Responsibility – A Case Study [chapter]

Kirsi Korhonen
2011 Lecture Notes in Computer Science  
In this study, the goal was to provide information on the progress of agile transformation in teams with no direct programming responsibility in a large-scale, distributed software development organization  ...  The results show that certain agile practices were adopted in the teams with no direct programming responsibility, and there were differences between the teams.  ...  organization, and defines the goals for the transformation accordingly.  ... 
doi:10.1007/978-3-642-21843-9_5 fatcat:nrggmv3tlberbjvintaxveqbbi

A System for Assisting Program Transformation

Martin S. Feather
1982 ACM Transactions on Programming Languages and Systems  
This paper describes research directed toward applying one particular transformation method to problems of increasing scale.  ...  Program Program transformation has been advocated as a potentially appropriate methodology for program development.  ...  They are called into action by the inclusion of keywords within the pattern-directed transformations. Producing the Left-Hand Sides of GOALs.  ... 
doi:10.1145/357153.357154 fatcat:gcohzutxpje6nnp5pbcytp5edy

Green Innovation in Closed Loop Supply Chain Management with P2M Approach

Şule ERYÜRÜK, Ichiro KOSHIJIMA
2014 Proceedings of International Association of P2M  
According to the nature of multi goal programs, there can be two strategies to balance the goals of multiple stakeholders; tradeoffs or win-win structure.  ...  Primarily, a strategic P2M approach is proposed for the conflicts that are generated under multi goal program.  ...  Government and the organizations in that policy transformation mechanism want to evolve their strategies by keeping the norms of international directives based on their own goals.  ... 
doi:10.20702/iappmproc.2014.autumn.0_16 fatcat:htnntaiu4fcytn7tfkltkbr3we

Where do you start with leadership development?

Jim Moore
2004 Development and Learning in Organizations: An International Journal  
Each program in their curriculum at Crotonville is targeted at a very specific business transformation.  ...  Action learning programs are particularly effective tools in support of this goal.  ... 
doi:10.1108/14777280410554933 fatcat:qsx42im5jrf47p2gu22rf7v7my

From Interpreter to Logic Engine by Defunctionalization [chapter]

Dariusz Biernacki, Olivier Danvy
2004 Lecture Notes in Computer Science  
The key transformation here is Reynolds's defunctionalization that transforms a tail-recursive, continuation-passing interpreter into a transition system, i.e., an abstract machine.  ...  Additionally, we present a direct-style interpreter of propositional Prolog expressed with control operators for delimited continuations.  ...  = atom list type clause = ide * goal datatype program = PROGRAM of clause list datatype top_level_goal = GOAL of goal end A program consists of a list of clauses.  ... 
doi:10.1007/978-3-540-25938-1_13 fatcat:bozadqotlzhghms3ufjadrodoe

Combining Forward and Backward Propagation [chapter]

Amira Zaki, Slim Abdennadher, Thom Frühwirth
2015 Lecture Notes in Computer Science  
A programmer should only write one program and then the annotated transformation empowers the multiple execution strategies.  ...  Constraint Handling Rules (CHR) is a general-purpose rulebased programming language.  ...  It applies the program rules on a goal, until a fixed point is reached. Thus this provides the direct forwards execution of the combined program.  ... 
doi:10.1007/978-3-319-24246-0_19 fatcat:hrumjjnvivg5ja2jkk7rpcohqy

From Interpreter to Logic Engine by Defunctionalization

Dariusz Biernacki, Olivier Danvy
2003 BRICS Report Series  
The key transformation here is Reynolds's defunctionalization that transforms a tail-recursive, continuation-passing interpreter into a transition system, i.e., an abstract machine.  ...  Starting from a continuation-based interpreter for a simple logic programming language, propositional Prolog with cut, we derive the corresponding logic engine in the form of an abstract machine.  ...  = atom list type clause = ide * goal datatype program = PROGRAM of clause list datatype top_level_goal = GOAL of goal end A program consists of a list of clauses.  ... 
doi:10.7146/brics.v10i25.21954 fatcat:mmeqvg54zjbnjpnb4ou3ahtwqi

Analysis of Transformational Leadership Characteristics of Cimahi Regional Head, West Java, Indonesia and Their Implication for Subordinates Commitments in Achieving Organizational Goals

2020 International journal of recent technology and engineering  
In this study examines the problem of how the characteristics of transformational leadership and the extent of its impact can foster employee commitment to achieve organizational goals.  ...  Leadership as a leader factor can influence in moving employees to achieve organizational goals.  ...  Therefore, in the next transformational leadership, inspirational motivation to influence and direct employees.  ... 
doi:10.35940/ijrte.f7925.038620 fatcat:jlrr7syminh2diut2vpgns6tza

A Transformational Approach [chapter]

2006 Delivering Utility Computing  
The transformation allows for the direct reuse of termination proof methods from Logic Programs and Term-Rewrite Systems, yielding the first fully automatic termination proving for Constraint Handling  ...  The transformation allows for the direct reuse of termination proof methods from Logic Programs and Term-Rewrite Systems, yielding the first fully automatic termination proving for Constraint Handling  ...  A query for this transformed program is of the form goal([mergesort(L)]).  ... 
doi:10.1002/0470017880.ch9 fatcat:cxs4njrjgzg3bm5fjfz3h6hpri

From Interpreter to Logic Engine by Defunctionalization

Dariusz Biernacki, Olivier Danvy
2004 BRICS Report Series  
The key transformation here is Reynolds's defunctionalization that transforms a tail-recursive, continuation-passing interpreter into a transition system, i.e., an abstract machine.  ...  Additionally, we present a direct-style interpreter of propositional Prolog expressed with control operators for delimited continuations.  ...  = atom list type clause = ide * goal datatype program = PROGRAM of clause list datatype top_level_goal = GOAL of goal end A program consists of a list of clauses.  ... 
doi:10.7146/brics.v11i5.21830 fatcat:qyrqxly2dncbrkwliamws3mesi
« Previous Showing results 1 — 15 out of 842,842 results