Logical routing specification in office information systems
ACM Transactions on Information Systems (TOIS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Side effects and aliasing can have simple axiomatic descriptions
ACM Transactions on Programming Languages and Systems (TOPLAS)
Abstraction-based software development
Communications of the ACM
ACM Transactions on Programming Languages and Systems (TOPLAS)
An axiomatic treatment of exception handling in an expression-oriented language
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communications of the ACM
Formal models of stepwise refinements of programs
ACM Computing Surveys (CSUR)
A plausibility-driven approach to computer architecture design
Communications of the ACM
Two undergraduate courses in the theory of computation
ACM SIGCSE Bulletin
An alternate design for Fortran 8X
ACM SIGPLAN Fortran Forum
Interform: a CAD system for program development
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Undebuggability and cognitive science
Communications of the ACM
ACM Transactions on Programming Languages and Systems (TOPLAS)
Fairness in parallel programs: the transformational approach
ACM Transactions on Programming Languages and Systems (TOPLAS)
Using induction to design algorithms
Communications of the ACM
The trouble with for-loop invariants
SIGCSE '88 Proceedings of the nineteenth SIGCSE technical symposium on Computer science education
SIGCSE '88 Proceedings of the nineteenth SIGCSE technical symposium on Computer science education
The Turing programming language
Communications of the ACM
A Benchmark Parallel Sort for Shared Memory Multiprocessors
IEEE Transactions on Computers
m-EVES: A tool for verifying software
ICSE '88 Proceedings of the 10th international conference on Software engineering
ICSE '88 Proceedings of the 10th international conference on Software engineering
Using mathematical logic and formal methods to write correct microcode
ACM SIGMICRO Newsletter
What is to become of programming?
SIGCSE '89 Proceedings of the twentieth SIGCSE technical symposium on Computer science education
On the productivity of recursive list definitions
ACM Transactions on Programming Languages and Systems (TOPLAS)
A first course in program verification and the semantics of programming languages
SIGCSE '89 Proceedings of the twentieth SIGCSE technical symposium on Computer science education
Never mind the language, what about the paradigm?
SIGCSE '89 Proceedings of the twentieth SIGCSE technical symposium on Computer science education
Penelope, an Ada verification system
TRI-Ada '89 Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment
Analogical approach to specification derivation
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Developing formally verified Ada programs
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
A top down unification of minimum cost spanning tree algorithms
SIGCOMM '89 Symposium proceedings on Communications architectures & protocols
Reuse of compiler analysis in a programming environment
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
Development Life Cycle of Computer Networks: The Executable Model Approach
IEEE Transactions on Software Engineering
On the design of some systolic algorithms
Journal of the ACM (JACM)
The Use of Self Checks and Voting in Software Error Detection: An Empirical Study
IEEE Transactions on Software Engineering
An exercise in the formal derivation of parallel programs: maximum flows in graphs
ACM Transactions on Programming Languages and Systems (TOPLAS)
The role of formal reusable frameworks
Conference proceedings on Formal methods in software development
A formal approach to program inversion
CSC '90 Proceedings of the 1990 ACM annual conference on Cooperation
Formal Verification of Ada Programs
IEEE Transactions on Software Engineering
SIGCSE '91 Proceedings of the twenty-second SIGCSE technical symposium on Computer science education
A framework for program verification in the context of linked structures and pointer variables
SIGCSE '91 Proceedings of the twenty-second SIGCSE technical symposium on Computer science education
PEPM '91 Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Implementation of a non-deterministic loop
ACM SIGCSE Bulletin
On a connection between programming and mathematics
ACM SIGCSE Bulletin
Progress measures and stack assertions for fair termination
PODC '92 Proceedings of the eleventh annual ACM symposium on Principles of distributed computing
Identifying foundations of software engineering expertise
ACM SIGCSE Bulletin
Programming by multiset transformation
Communications of the ACM
Toward tools to support the Gries/Dijkstra design process
ACM SIGSOFT Software Engineering Notes
The object-oriented data structures course
OOPSLA '92 Addendum to the proceedings on Object-oriented programming systems, languages, and applications (Addendum)
An introduction to assertional reasoning for concurrent systems
ACM Computing Surveys (CSUR)
On the mechanical derivation of loop invariants
Journal of Symbolic Computation - Special issue on automatic programming
ACM SIGCSE Bulletin
Real-time deques, multihead Turing machines, and purely functional programming
FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
A logical approach to data structures
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Program transformation for the longest upsequence set problem
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
Closure and Convergence: A Foundation of Fault-Tolerant Computing
IEEE Transactions on Software Engineering - Special issue on software reliability
Compositional specification and verification of distributed systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Deriving programs using generic algorithms
IBM Systems Journal
ACM SIGPLAN OOPS Messenger
From specific problem instances to algorithms in the introductory course
SIGCSE '94 Proceedings of the twenty-fifth SIGCSE symposium on Computer science education
Derivation of programs for freshmen
SIGCSE '94 Proceedings of the twenty-fifth SIGCSE symposium on Computer science education
Towards an introductory formal programming course
SIGCSE '94 Proceedings of the twenty-fifth SIGCSE symposium on Computer science education
Loop invariants and mathematical games
SIGCSE '95 Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education
Rigorous proofs of program correctness without formal logic
SIGCSE '95 Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education
Integrating a formal specification course with a software projects course via an editing tool
SIGCSE '95 Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education
Formal specification and design of a message router
ACM Transactions on Software Engineering and Methodology (TOSEM)
A Decompositional Approach to the Design of Parallel Programs
IEEE Transactions on Software Engineering
ACM SIGSOFT Software Engineering Notes
An Ada-like separate compilation style in C
ACM SIGAda Ada Letters
Persistent lists with catenation via recursive slow-down
STOC '95 Proceedings of the twenty-seventh annual ACM symposium on Theory of computing
The chaos model and the chaos cycle
ACM SIGSOFT Software Engineering Notes
The role of lazy evaluation in amortized data structures
Proceedings of the first ACM SIGPLAN international conference on Functional programming
A query language for multidimensional arrays: design, implementation, and optimization techniques
SIGMOD '96 Proceedings of the 1996 ACM SIGMOD international conference on Management of data
Algorithms for deferred view maintenance
SIGMOD '96 Proceedings of the 1996 ACM SIGMOD international conference on Management of data
A Knowledge-Based Approach to the Analysis of Loops
IEEE Transactions on Software Engineering
Derivation of recursive algorithms for CS2
SIGCSE '96 Proceedings of the twenty-seventh SIGCSE technical symposium on Computer science education
Efficiency of algorithms for programming beginners
SIGCSE '96 Proceedings of the twenty-seventh SIGCSE technical symposium on Computer science education
Discovering auxiliary information for incremental computation
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
IEEE Transactions on Software Engineering - Special issue: best papers of the sixth international workshop on Petri nets and performance models (PNPM'95)
A framework for implementing hypothetical queries
SIGMOD '97 Proceedings of the 1997 ACM SIGMOD international conference on Management of data
EVA: A Flexible Programming Method for Evolving Systems
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Dynamic Verification of C++ Generic Algorithms
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
The supplemental proceedings of the conference on Integrating technology into computer science education: working group reports and supplemental proceedings
Content + experiences = curriculum
SIGCSE '97 Proceedings of the twenty-eighth SIGCSE technical symposium on Computer science education
Historical perspectives on the computing curriculum
ACM SIGCUE Outlook - Special issue: ITiCSE '97 working group papers
Component Based Design of Multitolerant Systems
IEEE Transactions on Software Engineering
Designing Masking Fault-Tolerance via Nonmasking Fault-Tolerance
IEEE Transactions on Software Engineering
Reasoning about Java classes: preliminary report
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
Managing Conflicts in Goal-Driven Requirements Engineering
IEEE Transactions on Software Engineering
Inferring Declarative Requirements Specifications from Operational Scenarios
IEEE Transactions on Software Engineering
Integrating obstacles in goal-driven requirements engineering
Proceedings of the 20th international conference on Software engineering
Dynamically discovering likely program invariants to support program evolution
Proceedings of the 21st international conference on Software engineering
Modeling mobile IP in mobile UNITY
ACM Transactions on Software Engineering and Methodology (TOSEM)
NSPW '96 Proceedings of the 1996 workshop on New security paradigms
Software engineering education: Rôles of formal specification and design calculi
Annals of Software Engineering - Special issue on software engineering education
Understanding and exploring formal specifications
Annals of Software Engineering - Special issue on software engineering education
Communications of the ACM
Discrete mathematics as a precursor to programming
SIGCSE '90 Proceedings of the twenty-first SIGCSE technical symposium on Computer science education
The central role of mathematical logic in computer science
SIGCSE '90 Proceedings of the twenty-first SIGCSE technical symposium on Computer science education
Should your specification language be typed
ACM Transactions on Programming Languages and Systems (TOPLAS)
Teaching principles of computer programming
CSC '87 Proceedings of the 15th annual conference on Computer Science
Purely functional, real-time deques with catenation
Journal of the ACM (JACM)
Specification and verification of learning
SAC '94 Proceedings of the 1994 ACM symposium on Applied computing
Precursor for parallel development
CSC '91 Proceedings of the 19th annual conference on Computer Science
Systematic program development/proof using Dromey's method: some comparisons with top-down design
CSC '91 Proceedings of the 19th annual conference on Computer Science
Formal specification: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Quickly detecting relevant program invariants
Proceedings of the 22nd international conference on Software engineering
Formal verification of iterative algorithms in microprocessors
Proceedings of the 37th Annual Design Automation Conference
Putting static analysis to work for verification: A case study
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Breadth-first numbering: lessons from a small exercise in algorithm design
ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
Fail-stop processors: an approach to designing fault-tolerant computing systems
ACM Transactions on Computer Systems (TOCS)
Handling Obstacles in Goal-Oriented Requirements Engineering
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
A generalized control structure and its formal definition
Communications of the ACM
Improving computer program readability to aid modification
Communications of the ACM
Efficiency by Incrementalization: An Introduction
Higher-Order and Symbolic Computation
Program slicing based on specification
Proceedings of the 2001 ACM symposium on Applied computing
Algorithms to detect chained-inference faults in information distribution systems
Proceedings of the 2001 ACM symposium on Applied computing
Dynamically Discovering Likely Program Invariants to Support Program Evolution
IEEE Transactions on Software Engineering - Special issue on 1999 international conference on software engineering
Automatic predicate abstraction of C programs
Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation
The pointer assertion logic engine
Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation
Defining and Applying Measures of Distance Between Specifications
IEEE Transactions on Software Engineering
POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Improvements to systematic program development
ACM-SE 30 Proceedings of the 30th annual Southeast regional conference
Parametric shape analysis via 3-valued logic
ACM Transactions on Programming Languages and Systems (TOPLAS)
Formal Methods in System Design
Striving for mathematical thinking
Working group reports from ITiCSE on Innovation and technology in computer science education
Starting top-down, refining bottom-up, sharpening by zoom-in
ACM SIGCSE Bulletin
Striving for mathematical thinking
ACM SIGCSE Bulletin
Invariant-based specification, synthesis, and verification of synchronization in concurrent programs
Proceedings of the 24th International Conference on Software Engineering
Policy algebras for access control the predicate case
Proceedings of the 9th ACM conference on Computer and communications security
Proof planning for strategy development
Annals of Mathematics and Artificial Intelligence
Programming faults and errors: Towards a theory of software incorrectness
Annals of Software Engineering
Searching for a Global Search Algorithm
Automated Software Engineering
Efficient Specification-Based Component Retrieval
Automated Software Engineering
Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm
Automated Software Engineering
A Study of Two Sampling Methods for Analyzing Large Datasets with ILP
Data Mining and Knowledge Discovery
Post's Machine: A Didactic Microworld as an Introduction to Formal Programming
Education and Information Technologies
Minds and Machines
Computer
IEEE Software
A Parallel Asynchronous Garbage Collection Algorithm for Distributed Systems
IEEE Transactions on Knowledge and Data Engineering
Systematic Program Development
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Formal Derivation of Rule-Based Programs
IEEE Transactions on Software Engineering
Fixed-Priority Sensitivity Analysis for Linear Compute Time Models
IEEE Transactions on Software Engineering
An Intelligent Tutoring System for the Dijkstra-Gries Methodology
IEEE Transactions on Software Engineering
A Weakest Precondition Semantics for Refinement of Object-Oriented Programs
IEEE Transactions on Software Engineering
Java Program Verification via a Hoare Logic with Abrupt Termination
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Solving the Phantom Problem by Predicative Optimistic Concurrency Control
VLDB '83 Proceedings of the 9th International Conference on Very Large Data Bases
Invited Talk: Weaving Formal Methods into the Undergraduate Computer Science Curriculum
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Mechanical Translation of I/O Automaton Specifications into First-Order Logic
FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
Divider Circuit Verification with Model Checking and Theorem Proving
TPHOLs '00 Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics
Shape Analysis through Predicate Abstraction and Model Checking
VMCAI 2003 Proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation
Algebra of Program Termination
Revised Lectures from the International Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Algebraic Methods for Optimization Problems
Revised Lectures from the International Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Unification of the Models for Types, Classes and State Machines
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
Interchanging Two Segments of an Array in a Hierarchical Memory System
WAE '00 Proceedings of the 4th International Workshop on Algorithm Engineering
Performing Algorithmic Refinement before Data Refinement in B
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Formal Methods: The Problem Is Education
SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security
On Excusable and Inexcusable Failures
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Algebra of program termination
Algebraic and coalgebraic methods in the mathematics of program construction
Algebraic methods for optimization problems
Algebraic and coalgebraic methods in the mathematics of program construction
Semantic refinement and error correction in large terminological knowledge bases
Data & Knowledge Engineering
Effective binary perspectives in algorithmic problem solving
Journal on Educational Resources in Computing (JERIC)
Debugging temporal specifications with concept analysis
PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
A case for teaching program verification: Its importance in the CS curriculum
SIGCSE '83 Proceedings of the fourteenth SIGCSE technical symposium on Computer science education
Logic versus mathematics in computer science education
SIGCSE '83 Proceedings of the fourteenth SIGCSE technical symposium on Computer science education
Data processing and computer science theory
SIGCSE '83 Proceedings of the fourteenth SIGCSE technical symposium on Computer science education
Structure charts and program correctness proofs
ICSE '84 Proceedings of the 7th international conference on Software engineering
Synthesis of communicating processes
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
An axiomatization of low-level parallelism in microarchitectures
MICRO 17 Proceedings of the 17th annual workshop on Microprogramming
Transition logic: How to reason about temporal properties in a compositional way
STOC '84 Proceedings of the sixteenth annual ACM symposium on Theory of computing
Where is programming methodology these days?
ACM SIGCSE Bulletin
A Teaching and Support Tool for Building Formal Models of Graphical User-Interfaces
SEEP '96 Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
A Discussion About Integrated Techniques
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Summary of Dynamically discovering likely program invariants
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
The Early Search for Tractable Ways of Reasoning about Programs
IEEE Annals of the History of Computing
Principles of inverse computation and the Universal resolving algorithm
The essence of computation
Learning programs from traces using version space algebra
Proceedings of the 2nd international conference on Knowledge capture
Studying program correctness by constructing contracts
Proceedings of the 8th annual conference on Innovation and technology in computer science education
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Inductive graphs and functional graph algorithms
Journal of Functional Programming
Proofs, program correctness, and software engineering
ACM SIGPLAN Notices
ACM SIGCSE Bulletin
Software design prototyping using Ada
ACM SIGAda Ada Letters
Automated Generation of Test Programs from Closed Specifications of Classes and Test Cases
Proceedings of the 26th International Conference on Software Engineering
A Tool for Writing and Debugging Algebraic Specifications
Proceedings of the 26th International Conference on Software Engineering
Software validation via scalable path-sensitive value flow analysis
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Science of Computer Programming - Special issue on mathematics of program construction (MPC 2002)
Theory and applications of inverting functions as folds
Science of Computer Programming - Special issue on mathematics of program construction (MPC 2002)
Embedding instructive assertions in program design
Proceedings of the 9th annual SIGCSE conference on Innovation and technology in computer science education
Journal of Functional Programming
Invariants: a new design methodology for network architectures
Proceedings of the ACM SIGCOMM workshop on Future directions in network architecture
Algorithmic patterns and the case of the sliding delta
ACM SIGCSE Bulletin
Controversy on how to teach CS 1: a discussion on the SIGCSE-members mailing list
Working group reports from ITiCSE on Innovation and technology in computer science education
Use and assessment of a rigorous approach to CS1
Proceedings of the 36th SIGCSE technical symposium on Computer science education
The science of deriving dense linear algebra algorithms
ACM Transactions on Mathematical Software (TOMS)
Polymorphic predicate abstraction
ACM Transactions on Programming Languages and Systems (TOPLAS)
Encyclopedia of Computer Science
Encyclopedia of Computer Science
Programming language semantics
Encyclopedia of Computer Science
Convergence of iteration systems
Distributed Computing - Special issue: Self-stabilization
Dynamic epistemic logic with assignment
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Do we need ANY mathematics in computer science curricula?
ACM SIGCSE Bulletin
Incrementalization across object abstraction
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Axiomatic proof rules for a machine-specific microprogramming language
ACM SIGMICRO Newsletter
Relational characterizations of system fault tolerance
Science of Computer Programming
Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis
Automated Software Engineering
Verification of C Programs using Slicing Execution
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
A historical perspective on runtime assertion checking in software development
ACM SIGSOFT Software Engineering Notes
Inculcating invariants in introductory courses
Proceedings of the 28th international conference on Software engineering
A tool for helping teach a programming method
Proceedings of the 11th annual SIGCSE conference on Innovation and technology in computer science education
Constructing contracts: Making discrete mathematics relevant to beginning programmers
Journal on Educational Resources in Computing (JERIC)
Mathematical Structures in Computer Science
To use or not to use the goto statement: programming styles viewed from Hoare logic
Science of Computer Programming
A novice's process of object-oriented programming
Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications
Addressing concurrency in object-oriented software development
CASCON '06 Proceedings of the 2006 conference of the Center for Advanced Studies on Collaborative research
On the longest increasing subsequence of a circular list
Information Processing Letters
Active learning sheets for a beginner's course on reasoning about imperative programs
Proceedings of the 38th SIGCSE technical symposium on Computer science education
A Possible Connection Between Two Theories: Grammar Systems and Concurrent Programming
Fundamenta Informaticae - SPECIAL ISSUE ON DEVELOPMENTS IN GRAMMAR SYSTEMS
Automatic inference of optimizer flow functions from semantic meanings
Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation
Data constructors: on the integration of rules and relations
VLDB '85 Proceedings of the 11th international conference on Very Large Data Bases - Volume 11
Provisions and obligations in policy management and security applications
VLDB '02 Proceedings of the 28th international conference on Very Large Data Bases
Using SPARK for a beginner's course on reasoning about imperative programs
Proceedings of the 2007 ACM international conference on SIGAda annual international conference
Information and Software Technology
Weakest precondition based verification tool that models spatial ordering
ACM SIGSOFT Software Engineering Notes
A principled approach to teaching OO first
Proceedings of the 39th SIGCSE technical symposium on Computer science education
Efficient runtime invariant checking: a framework and case study
WODA '08 Proceedings of the 2008 international workshop on dynamic analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008)
Design Disciplines and Non-specific Transfer
ISSEP '08 Proceedings of the 3rd international conference on Informatics in Secondary Schools - Evolution and Perspectives: Informatics Education - Supporting Computational Thinking
Another approach for resisting student resistance to formal methods
ACM SIGCSE Bulletin
Definite Descriptions and Dijkstra's Odd Powers of Odd Integers Problem
Electronic Notes in Theoretical Computer Science (ENTCS)
Programming and Computing Software
STREAM: A First Programming Process
ACM Transactions on Computing Education (TOCE)
Term transformers: A new approach to state
ACM Transactions on Programming Languages and Systems (TOPLAS)
Enabledness and termination in refinement algebra
Science of Computer Programming
Bisimilarity Minimization in O(m logn) Time
PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets
Toward an Automatic Approach to Greedy Algorithms
FAW '09 Proceedings of the 3d International Workshop on Frontiers in Algorithmics
Proving loop termination: Beyond the traditional method
Journal of Computational Methods in Sciences and Engineering
Harnessing a Refinement Theory to Compute Loop Functions
Electronic Notes in Theoretical Computer Science (ENTCS)
Understanding and automating algorithm design
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
Model checking of healthcare domain models
Computer Methods and Programs in Biomedicine
Cumulative subgoal fulfillment in software development
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
Mathematics for reasoning about loop functions
Science of Computer Programming
A relational approach to interprocedural shape analysis
ACM Transactions on Programming Languages and Systems (TOPLAS)
Relational Methods in the Analysis of While Loops: Observations of Versatility
RelMiCS '09/AKA '09 Proceedings of the 11th International Conference on Relational Methods in Computer Science and 6th International Conference on Applications of Kleene Algebra: Relations and Kleene Algebra in Computer Science
Electronic Notes in Theoretical Computer Science (ENTCS)
From program verification to program synthesis
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Reasoning About Partial Functions in the Formal Development of Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Repetitions, known or unknown?
Information Processing Letters
Web services semantic model system
ASID'09 Proceedings of the 3rd international conference on Anti-Counterfeiting, security, and identification in communication
State driven semantic modeling of operators in ETL workflow
Journal of Computing Sciences in Colleges
VLP: a visual logic programming language
Journal of Visual Languages and Computing
Reversible Computation and Reversible Programming Languages
Electronic Notes in Theoretical Computer Science (ENTCS)
Weakest precondition based modelling and verification of a class of concurrent systems
International Journal of Artificial Intelligence and Soft Computing
A pattern-based approach for modeling and analyzing error recovery
Architecting dependable systems IV
On the architecture of system verification environments
HVC'07 Proceedings of the 3rd international Haifa verification conference on Hardware and software: verification and testing
Reasoning in dynamic logic about program termination
Pillars of computer science
The Scholten/Dijkstra pebble game played straightly, distributedly, online and reversed
Pillars of computer science
Reflexive transitive invariant relations: A basis for computing loop functions
Journal of Symbolic Computation
Termination analysis of business process workflows
Proceedings of the 5th International Workshop on Enhanced Web Service Technologies
Designing an algorithmic proof of the two-squares theorem
MPC'10 Proceedings of the 10th international conference on Mathematics of program construction
Inferring loop invariants using postconditions
Fields of logic and computation
A weakest precondition approach to robustness
Transactions on computational science X
Path-based inductive synthesis for program inversion
Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation
Model checking recursive programs with numeric data types
CAV'11 Proceedings of the 23rd international conference on Computer aided verification
Satisfiability modulo recursive programs
SAS'11 Proceedings of the 18th international conference on Static analysis
A hoare calculus for the verification of synchronous languages
PLPV '12 Proceedings of the sixth workshop on Programming languages meets program verification
A theory of predicate-complete test coverage and generation
FMCO'04 Proceedings of the Third international conference on Formal Methods for Components and Objects
A CGM algorithm solving the longest increasing subsequence problem
ICCSA'06 Proceedings of the 2006 international conference on Computational Science and Its Applications - Volume Part V
Counterexamples with loops for predicate abstraction
CAV'06 Proceedings of the 18th international conference on Computer Aided Verification
A logic and decision procedure for predicate abstraction of heap-manipulating programs
VMCAI'06 Proceedings of the 7th international conference on Verification, Model Checking, and Abstract Interpretation
Exercises in quantifier manipulation
MPC'06 Proceedings of the 8th international conference on Mathematics of Program Construction
Improving saddleback search: a lesson in algorithm design
MPC'06 Proceedings of the 8th international conference on Mathematics of Program Construction
Refinement algebra with operators for enabledness and termination
MPC'06 Proceedings of the 8th international conference on Mathematics of Program Construction
On novices' local views of algorithmic characteristics
ISSEP'06 Proceedings of the 2006 international conference on Informatics in Secondary Schools - Evolution and Perspectives: the Bridge between Using and Understanding Computers
ESOP'10 Proceedings of the 19th European conference on Programming Languages and Systems
Procedures in the refinement calculus: a new approach?
FAC-RW'96 Proceedings of the BCS-FACS 7th conference on Refinement
A simple algorithm specification language and its application
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
An axiomatic semantics for data-parallel computation
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
Declarative view of imperative programs
IW-FM'98 Proceedings of the 2nd Irish conference on Formal Methods
Some optimisation problems revisited
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
Invariant relations: an automated tool to analyze loops
VECoS'11 Proceedings of the Fifth international conference on Verification and Evaluation of Computer and Communication Systems
A spanning tree object-oriented distributed algorithm: specification and proof
Methods'96 Proceedings of the 1996 international conference on Methods Integration
Automated tools for teaching formal software verification
TFM'06 Proceedings of the 2006 conference on Teaching Formal Methods: practice and experience
Verification conditions for source-level imperative programs
Computer Science Review
A Possible Connection Between Two Theories: Grammar Systems and Concurrent Programming
Fundamenta Informaticae - SPECIAL ISSUE ON DEVELOPMENTS IN GRAMMAR SYSTEMS
Invariant functions and invariant relations: An alternative to invariant assertions
Journal of Symbolic Computation
Realising software development as a lived experience
Proceedings of the ACM international symposium on New ideas, new paradigms, and reflections on programming and software
Invariant relations, invariant functions, and loop functions
Innovations in Systems and Software Engineering
Evolutionary algorithms for the multi-objective test data generation problem
Software—Practice & Experience
Optimizing database-backed applications with query synthesis
Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation
Introduction to programming: science or art?
Proceedings of the 18th ACM conference on Innovation and technology in computer science education
Loop invariants: Analysis, classification, and examples
ACM Computing Surveys (CSUR)
Validating library usage interactively
CAV'13 Proceedings of the 25th international conference on Computer Aided Verification
| Hi-index | 0.16 |