Abstract
No abstract available.
Cited By
- Galán F and Cañete-Valdeón J (2016). Synthesis of positive logic programs for checking a class of definitions with infinite quantification, Information and Computation, 249:C, (205-236), Online publication date: 1-Aug-2016.
- Harman M, Langdon W, Jia Y, White D, Arcuri A and Clark J The GISMOE challenge: constructing the pareto program surface using genetic programming to find better programs (keynote paper) Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering, (1-14)
- Binkley D, Harman M and Lakhotia K (2011). FlagRemover, ACM Transactions on Software Engineering and Methodology, 20:3, (1-33), Online publication date: 1-Aug-2011.
- Androutsopoulos K, Binkley D, Clark D, Gold N, Harman M, Lano K and Li Z Model projection Proceedings of the 33rd International Conference on Software Engineering, (291-300)
- Morris J, Bunkenburg A and Tyrrell M (2009). Term transformers, ACM Transactions on Programming Languages and Systems (TOPLAS), 31:4, (1-42), Online publication date: 1-May-2009.
- Morris J and Tyrrell M (2008). Dually nondeterministic functions, ACM Transactions on Programming Languages and Systems (TOPLAS), 30:6, (1-34), Online publication date: 1-Oct-2008.
- Pettorossi A and Proietti M (2008). Totally correct logic program transformations via well-founded annotations, Higher-Order and Symbolic Computation, 21:1-2, (193-234), Online publication date: 1-Jun-2008.
- Harman M, Baresel A, Binkley D, Hierons R, Hu L, Korel B, McMinn P and Roper M Testability transformation Formal methods and testing, (320-344)
- Kühnemann A and Maletti A The substitution vanishes Proceedings of the 11th international conference on Algebraic Methodology and Software Technology, (173-188)
- Langmaack H (2005). What Level of Mathematical Reasoning can Computer Science Demand of a Software Implementer?, Electronic Notes in Theoretical Computer Science (ENTCS), 141:2, (5-32), Online publication date: 1-Dec-2005.
- Liu Y, Stoller S, Gorbovitski M, Rothamel T and Liu Y Incrementalization across object abstraction Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (473-486)
- Liu Y, Stoller S, Gorbovitski M, Rothamel T and Liu Y (2005). Incrementalization across object abstraction, ACM SIGPLAN Notices, 40:10, (473-486), Online publication date: 12-Oct-2005.
- Veerman N (2005). Towards lightweight checks for mass maintenance transformations, Science of Computer Programming, 57:2, (129-163), Online publication date: 1-Aug-2005.
- van Gils B, Proper H, van Bommel P and de Vrieze P Transformation selection for aptness-based web retrieval Proceedings of the 16th Australasian database conference - Volume 39, (115-124)
- Biggerstaff T (2004). A New Architecture for Transformation-Based Generators, IEEE Transactions on Software Engineering, 30:12, (1036-1054), Online publication date: 1-Dec-2004.
- Pettorossi A and Proietti M A theory of totally correct logic program transformations Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, (159-168)
- Baresel A, Binkley D, Harman M and Korel B Evolutionary testing in the presence of loop-assigned flags Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis, (108-118)
- Baresel A, Binkley D, Harman M and Korel B (2004). Evolutionary testing in the presence of loop-assigned flags, ACM SIGSOFT Software Engineering Notes, 29:4, (108-118), Online publication date: 1-Jul-2004.
- Harman M, Hu L, Hierons R, Wegener J, Sthamer H, Baresel A and Roper M (2004). Testability Transformation, IEEE Transactions on Software Engineering, 30:1, (3-16), Online publication date: 1-Jan-2004.
- Harman M, Hu L, Munro M, Zhang X, Binkley D, Danicic S, Daoudi M and Ouarbya L (2019). Syntax-Directed Amorphous Slicing, Automated Software Engineering, 11:1, (27-61), Online publication date: 1-Jan-2004.
- Raudvere T, Sander I, Singh A and Jantsch A Verification of design decisions in ForSyDe Proceedings of the 1st IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis, (176-181)
- Liu Y and Stoller S (2019). Dynamic Programming via Static Incrementalization, Higher-Order and Symbolic Computation, 16:1-2, (37-62), Online publication date: 1-Mar-2003.
- Acar U, Blelloch G and Harper R (2019). Selective memoization, ACM SIGPLAN Notices, 38:1, (14-25), Online publication date: 15-Jan-2003.
- Acar U, Blelloch G and Harper R Selective memoization Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (14-25)
- Lämmel R Towards generic refactoring Proceedings of the 2002 ACM SIGPLAN workshop on Rule-based programming, (15-28)
- Colvin R, Hayes I, Hemer D and Strooper P Refinement of higher-order logic programs Proceedings of the 12th international conference on Logic based program synthesis and transformation, (126-143)
- Alencar P, Cowan D and Lucena C (2002). A Logical Theory of Interfaces and Objects, IEEE Transactions on Software Engineering, 28:6, (548-575), Online publication date: 1-Jun-2002.
- Liu Y and Stoller S (2002). Program optimization using indexed and recursive data structures, ACM SIGPLAN Notices, 37:3, (108-118), Online publication date: 1-Mar-2002.
- Liu Y and Stoller S Program optimization using indexed and recursive data structures Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation, (108-118)
- Hernández M and Rosenblueth D Development reuse and the logic program derivation of two string-matching algorithms Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming, (38-48)
- Baxter I Using transformation systems for software maintenance and reengineering Proceedings of the 23rd International Conference on Software Engineering, (739-740)
- Liu Y (2019). Efficiency by Incrementalization, Higher-Order and Symbolic Computation, 13:4, (289-313), Online publication date: 1-Dec-2000.
- Velázquez-Iturbide J Recursion in gradual steps (is recursion really that difficult?) Proceedings of the thirty-first SIGCSE technical symposium on Computer science education, (310-314)
- Hasselbring W (2000). Programming languages and systems for prototyping concurrent applications, ACM Computing Surveys (CSUR), 32:1, (43-79), Online publication date: 1-Mar-2000.
- Velázquez-Iturbide J (2000). Recursion in gradual steps (is recursion really that difficult?), ACM SIGCSE Bulletin, 32:1, (310-314), Online publication date: 1-Mar-2000.
- Liu Y and Stoller S From recursion to iteration Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation, (73-82)
- Liu Y and Stoller S (1999). From recursion to iteration, ACM SIGPLAN Notices, 34:11, (73-82), Online publication date: 1-Nov-1999.
- Pettorossi A and Proietti M (1998). Program specialization via algorithmic unfold/fold transformations, ACM Computing Surveys (CSUR), 30:3es, (6-es), Online publication date: 1-Sep-1998.
- Ginoux B, Dormoy J, Jimenez-Dominguez C, Lucas J and Pierre L DESCARTES Proceedings of the 9th international workshop on Software specification and design
- Marchiori M Light analysis of complex systems Proceedings of the 1998 ACM symposium on Applied Computing, (18-22)
- Tsai J, Li B and Weigert T (1998). A Logic-Based Transformation System, IEEE Transactions on Knowledge and Data Engineering, 10:1, (91-107), Online publication date: 1-Jan-1998.
- Liu Y, Stoller S and Teitelbaum T Discovering auxiliary information for incremental computation Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (157-170)
- Marshall A Template-based program restructuring - initial experience Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research
- Liu Y and Teitelbaum T Caching intermediate results for program improvement Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, (190-201)
- Zhang J A formal specification model and its application in multidatabase systems Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
- Wolff P Related specifications reuse Proceedings of the 7th international workshop on Software specification and design, (152-161)
- Ashenhurst R (1991). ACM Forum, Communications of the ACM, 34:9, (16-ff.), Online publication date: 1-Sep-1991.
- Soloway E (1991). How the Nintendo generation learns, Communications of the ACM, 34:9, (23-ff.), Online publication date: 1-Sep-1991.
Index Terms
- Specification and transformation of programs: a formal approach to software development
Recommendations
Formal Software Specification with Refinements and Modules of Typed Graph Transformation Systems
Graph transformation systems are a formal specification technique for software systems that support the rule based specification of the dynamic behaviour of a system.Their main advantages are the intuitive visual representation of states and state ...
Transformation of a semi-formal specification to VDM
KBSE'92: Proceedings of the 7th International Conference on Knowledge-Based Software EngineeringDescriptions of the requirements of a software system written in an unconstrained natural language are considered to be informal. Informal descriptions are known to have the potential to contain ambiguities, partial descriptions, inconsistencies, ...