How the Nintendo generation learns
Communications of the ACM - Special issue on LISP
Constructing specification morphisms
Journal of Symbolic Computation - Special issue on automatic programming
Caching intermediate results for program improvement
PEPM '95 Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Rules and strategies for transforming functional and logic programs
ACM Computing Surveys (CSUR)
Discovering auxiliary information for incremental computation
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Future directions in program transformation
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Program specialization via algorithmic unfold/fold transformations
ACM Computing Surveys (CSUR) - Special issue: electronic supplement to the September 1998 issue
Static caching for incremental computation
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
From recursion to iteration: what are the optimizations?
PEPM '00 Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
Light analysis of complex systems
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
Recursion in gradual steps (is recursion really that difficult?)
Proceedings of the thirty-first SIGCSE technical symposium on Computer science education
Programming languages and systems for prototyping concurrent applications
ACM Computing Surveys (CSUR)
Efficiency by Incrementalization: An Introduction
Higher-Order and Symbolic Computation
Communications of the ACM - Special issue on LISP
Using transformation systems for software maintenance and reengineering
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Program optimization using indexed and recursive data structures
PEPM '02 Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
Proceedings of the 2002 ACM SIGPLAN workshop on Rule-based programming
A Logical Theory of Interfaces and Objects
IEEE Transactions on Software Engineering
A source of inconsistency in theories of nondeterministic functions
Science of Computer Programming
POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A Logic-Based Transformation System
IEEE Transactions on Knowledge and Data Engineering
Dynamic Programming via Static Incrementalization
Higher-Order and Symbolic Computation
Dynamic Programming via Static Incrementalization
ESOP '99 Proceedings of the 8th European Symposium on Programming Languages and Systems
Early-Reply Components: Concurrent Execution with Sequential Reasoning
ICSR-7 Proceedings of the 7th International Conference on Software Reuse: Methods, Techniques, and Tools
Control Localization in Domain Specific Translation
ICSR-7 Proceedings of the 7th International Conference on Software Reuse: Methods, Techniques, and Tools
Proceedings of the ESPRIT Working Group 8533 on Prospects for Hardware Foundations: NADA - New Hardware Design Methods, Survey Chapters
Deductive Hardware Design: A Functional Approach
Proceedings of the ESPRIT Working Group 8533 on Prospects for Hardware Foundations: NADA - New Hardware Design Methods, Survey Chapters
Transformational Construction of Correct Pointer Algorithms
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
Software Development in PVS Using Generic Development Steps
Selected Papers from the International Seminar on Generic Programming
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Cooperation of Formal Methods in an Engineering Based Software Development Process
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Evolution of the Hypotheses Testing Approach in Intelligent Problem Solving Environments
ITS '00 Proceedings of the 5th International Conference on Intelligent Tutoring Systems
Constructing Tournament Representations: An Exercise in Pointwise Relational Programming
MPC '02 Proceedings of the 6th International Conference on Mathematics of Program Construction
Transformational Derivation of Greedy Network Algorithms from Descriptive Specifications
MPC '02 Proceedings of the 6th International Conference on Mathematics of Program Construction
Template-based program restructuring - initial experience
CASCON '95 Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research
A formal specification model and its application in multidatabase systems
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
Program transformations and skeletons: formal derivation of parallel programs
PAS '95 Proceedings of the First Aizu International Symposium on Parallel Algorithms/Architecture Synthesis
DESCARTES: An Automatic Programming System for Algorithmically Simple Programs
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Verification of design decisions in ForSyDe
Proceedings of the 1st IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
Syntax-Directed Amorphous Slicing
Automated Software Engineering
IEEE Transactions on Software Engineering
Evolutionary testing in the presence of loop-assigned flags: a testability transformation approach
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
A theory of totally correct logic program transformations
Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Platform-independent design for embedded real-time systems
Languages for system specification
Algebraic reasoning for object-oriented programming
Science of Computer Programming - Special issue on program transformation
A New Architecture for Transformation-Based Generators
IEEE Transactions on Software Engineering
Transformation selection for aptness-based web retrieval
ADC '05 Proceedings of the 16th Australasian database conference - Volume 39
Incrementalization across object abstraction
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Towards lightweight checks for mass maintenance transformations
Science of Computer Programming
Feature-based survey of model transformation approaches
IBM Systems Journal - Model-driven software development
Calculating modules in contextual logic program refinement
Theory and Practice of Logic Programming
Totally correct logic program transformations via well-founded annotations
Higher-Order and Symbolic Computation
Dually nondeterministic functions
ACM Transactions on Programming Languages and Systems (TOPLAS)
Term transformers: A new approach to state
ACM Transactions on Programming Languages and Systems (TOPLAS)
Optimizing the stack size of recursive functions
Computer Languages, Systems and Structures
What Level of Mathematical Reasoning can Computer Science Demand of a Software Implementer?
Electronic Notes in Theoretical Computer Science (ENTCS)
Testability transformation: program transformation to improve testability
Formal methods and testing
The SSP: an example of high-assurance systems engineering
HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
Model projection: simplifying models in response to restricting the environment
Proceedings of the 33rd International Conference on Software Engineering
FlagRemover: A testability transformation for transforming loop-assigned flags
ACM Transactions on Software Engineering and Methodology (TOSEM)
AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology
Observation and abstract behaviour in specification and implementation of state-based systems
IW-FM'01 Proceedings of the 5th Irish conference on Formal Methods
Tactics for transformational programming
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
Reverse engineering and reusing COBOL programs: a program transformation approach
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
Teaching formal methods: lessons to learn
IW-FM'98 Proceedings of the 2nd Irish conference on Formal Methods
3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods
Recursion diagrams: ideas for a geometry of formal methods
3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
Hi-index | 0.00 |