Deriving programs using generic algorithms
IBM Systems Journal
Derivation of programs for freshmen
SIGCSE '94 Proceedings of the twenty-fifth SIGCSE symposium on Computer science education
Derivation of recursive algorithms for CS2
SIGCSE '96 Proceedings of the twenty-seventh SIGCSE technical symposium on Computer science education
Teaching formal programming to first year computer science students
SIGCSE '96 Proceedings of the twenty-seventh SIGCSE technical symposium on Computer science education
Formal verification of iterative algorithms in microprocessors
Proceedings of the 37th Annual Design Automation Conference
Proof planning for strategy development
Annals of Mathematics and Artificial Intelligence
Divider Circuit Verification with Model Checking and Theorem Proving
TPHOLs '00 Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics
Invariant Discovery via Failed Proof Attempts
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
Automatic verification of functions with accumulating parameters
Journal of Functional Programming
Automatic Generation of Polynomial Loop Invariants: Algebraic Foundations
ISSAC '04 Proceedings of the 2004 international symposium on Symbolic and algebraic computation
Journal of Functional Programming
Exploring students' understanding of the concept of algorithm: levels of abstraction
ITiCSE '05 Proceedings of the 10th annual SIGCSE conference on Innovation and technology in computer science education
Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis
Automated Software Engineering
FUNCTIONAL PEARLS: Finding celebrities: A lesson in functional programming
Journal of Functional Programming
Proceedings of the 11th annual SIGCSE conference on Innovation and technology in computer science education
To use or not to use the goto statement: programming styles viewed from Hoare logic
Science of Computer Programming
Automatic generation of polynomial invariants of bounded degree using abstract interpretation
Science of Computer Programming
Generating all polynomial invariants in simple loops
Journal of Symbolic Computation
Maximum segment sum is back: deriving algorithms for two segment problems with bounded lengths
PEPM '08 Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Extracting Object Interactions Out of Software Contracts Using Model Transformations
ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
.QL: Object-Oriented Queries Made Easy
Generative and Transformational Techniques in Software Engineering II
Term transformers: A new approach to state
ACM Transactions on Programming Languages and Systems (TOPLAS)
Modular Verification of Recursive Programs
Languages: From Formal to Natural
Toward an Automatic Approach to Greedy Algorithms
FAW '09 Proceedings of the 3d International Workshop on Frontiers in Algorithmics
Reasoning algebraically about P-solvable loops
TACAS'08/ETAPS'08 Proceedings of the Theory and practice of software, 14th international conference on Tools and algorithms for the construction and analysis of systems
AMAST'10 Proceedings of the 13th international conference on Algebraic methodology and software technology
A logic teaching tool based on tableaux for verification and debugging of algorithms
TICTTL'11 Proceedings of the Third international congress conference on Tools for teaching logic
Refining nodes and edges of state machines
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Program verification using automatic generation of invariants
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
A complete invariant generation approach for p-solvable loops
PSI'09 Proceedings of the 7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics
Some optimisation problems revisited
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
Verification conditions for source-level imperative programs
Computer Science Review
A retrospective analysis of Teletext: An interoperability standard evolving already over 30 years
Advanced Engineering Informatics
The COST IC0701 verification competition 2011
FoVeOOS'11 Proceedings of the 2011 international conference on Formal Verification of Object-Oriented Software
Evolutionary algorithms for the multi-objective test data generation problem
Software—Practice & Experience
Hi-index | 0.00 |