The relation between logic programming and logic specification
Proc. of a discussion meeting of the Royal Society of London on Mathematical logic and programming languages
Program construction and verification
Program construction and verification
Predicative programming Part I
Communications of the ACM
Communications of the ACM
The Science of Programming
Mathematical Theory of Program Correctness
Mathematical Theory of Program Correctness
Software Development: A Rigorous Approach
Software Development: A Rigorous Approach
A Discipline of Programming
An OCCAM approach to transputer engineering
C3P Proceedings of the third conference on Hypercube concurrent computers and applications: Architecture, software, computer systems, and general issues - Volume 1
The evaluation of program-based software test data adequacy criteria
Communications of the ACM
Never mind the language, what about the paradigm?
SIGCSE '89 Proceedings of the twentieth SIGCSE technical symposium on Computer science education
Performing geometric transformations by program transformation
ACM Transactions on Graphics (TOG)
Floyd-Hoare logic in iteration theories
Journal of the ACM (JACM)
Automated assistance for program restructuring
ACM Transactions on Software Engineering and Methodology (TOSEM)
Call by name, assignment, and the lambda calculus
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Direct update of data flow representations for a meaning-preserving program restructuring tool
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
A calculus of program modifications
Proceedings of the 1997 symposium on Software reusability
Monadic state: axiomatization and type safety
ICFP '97 Proceedings of the second ACM SIGPLAN international conference on Functional programming
Toward a complete transformational toolkit for compilers
ACM Transactions on Programming Languages and Systems (TOPLAS)
Equations as a uniform framework for partial evaluation and abstract interpretation
ACM Computing Surveys (CSUR) - Special issue: electronic supplement to the September 1998 issue
Understanding and exploring formal specifications
Annals of Software Engineering - Special issue on software engineering education
Defining and Applying Measures of Distance Between Specifications
IEEE Transactions on Software Engineering
Pinnacles of software engineering: 25 years of formal methods
Annals of Software Engineering
The Real-Time Process Algebra (RTPA)
Annals of Software Engineering
Desert Island Column: The Long Story of a Short Theorem
Automated Software Engineering
Post's Machine: A Didactic Microworld as an Introduction to Formal Programming
Education and Information Technologies
An algebraic hardware/software partitioning algorithm
Journal of Computer Science and Technology
On the Translation of Procedures to Finite Machines
ESOP '00 Proceedings of the 9th European Symposium on Programming Languages and Systems
Compilation and Synthesis for Real-Time Embedded Controllers
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
Mathematical Foundations for Program Transformations
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
How to Write a Healthiness Condition
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
The Early Search for Tractable Ways of Reasoning about Programs
IEEE Annals of the History of Computing
Measurement of the Cognitive Functional Complexity of Software
ICCI '03 Proceedings of the 2nd IEEE International Conference on Cognitive Informatics
A categorical model for higher order imperative programming
Mathematical Structures in Computer Science
Formal Support for Development of JavaBeans" Component Systems
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
Algebraic reasoning for object-oriented programming
Science of Computer Programming - Special issue on program transformation
Pigs from sausages? Reengineering from assembler to C via FermaT transformations
Science of Computer Programming - Special issue on program transformation
Deriving refactorings for AspectJ
Proceedings of the 4th international conference on Aspect-oriented software development
Deriving refactorings for AspectJ
Proceedings of the 4th international conference on Aspect-oriented software development
Formal refactorings for object models
OOPSLA '05 Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Relational characterizations of system fault tolerance
Science of Computer Programming
Acta Cybernetica
Splitting bisimulations and retrospective conditions
Information and Computation
Roadmap for enhanced languages and methods to aid verification
Proceedings of the 5th international conference on Generative programming and component engineering
rCOS: a refinement calculus of object systems
Theoretical Computer Science - Components and objects
Belnap's logic and conditional composition
Theoretical Computer Science
A proposed additional property to the Weyuker's existing properties
International Journal of Information Technology and Management
Integrating Theories and Techniques for Program Modelling, Design and Verification
Verified Software: Theories, Tools, Experiments
Algebra of systems: a metalanguage for model synthesis and evaluation
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Data Refinement with Probability in Mind
Electronic Notes in Theoretical Computer Science (ENTCS)
Refactoring Towards a Layered Architecture
Electronic Notes in Theoretical Computer Science (ENTCS)
Unifying denotational semantics with operational semantics for web services
ICDCIT'07 Proceedings of the 4th international conference on Distributed computing and internet technology
Latest news about demonic algebra with domain
RelMiCS'08/AKA'08 Proceedings of the 10th international conference on Relational and kleene algebra methods in computer science, and 5th international conference on Applications of kleene algebra
Formal model-driven program refactoring
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Extracting and evolving code in product lines with aspect-oriented programming
Transactions on aspect-oriented software development IV
Formalization of data flow computing and a coinductive approach to verifying flowware synthesis
Transactions on computational science I
On mathematical laws of software
Transactions on computational science II
NN'10/EC'10/FS'10 Proceedings of the 11th WSEAS international conference on nural networks and 11th WSEAS international conference on evolutionary computing and 11th WSEAS international conference on Fuzzy systems
Linking denotational semantics with operational semantics for web services
Innovations in Systems and Software Engineering
Denotational approach to an event-driven system-level language
UTP'08 Proceedings of the 2nd international conference on Unifying theories of programming
ACM Transactions on Computational Logic (TOCL)
UTP'10 Proceedings of the Third international conference on Unifying theories of programming
Programmable verifiers in imperative programming
UTP'10 Proceedings of the Third international conference on Unifying theories of programming
Generating denotational semantics from algebraic semantics for event-driven system-level language
UTP'10 Proceedings of the Third international conference on Unifying theories of programming
WSEAS Transactions on Mathematics
From operational to denotational demonic semantics of nondeterministic while loops
ICCOMP'06 Proceedings of the 10th WSEAS international conference on Computers
Algebraic approach to linking the semantics of web services
Innovations in Systems and Software Engineering
Automating algebraic methods in isabelle
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
UTP'06 Proceedings of the First international conference on Unifying Theories of Programming
Hierarchical organisation of predicate-semantic models
UTP'06 Proceedings of the First international conference on Unifying Theories of Programming
PARRAY: a unifying array representation for heterogeneous parallelism
Proceedings of the 17th ACM SIGPLAN symposium on Principles and Practice of Parallel Programming
Strong splitting bisimulation equivalence
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
On the stability semantics of combinational programs
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
Generating c code from LOGS specifications
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
Computations and relational bundles
RelMiCS'06/AKA'06 Proceedings of the 9th international conference on Relational Methods in Computer Science, and 4th international conference on Applications of Kleene Algebra
RelMiCS'06/AKA'06 Proceedings of the 9th international conference on Relational Methods in Computer Science, and 4th international conference on Applications of Kleene Algebra
A theory of software product line refinement
Theoretical Computer Science
The laws of programming unify process calculi
MPC'12 Proceedings of the 11th international conference on Mathematics of Program Construction
Unifying correctness statements
MPC'12 Proceedings of the 11th international conference on Mathematics of Program Construction
Net models for concurrent object behaviour
PETRI NETS'12 Proceedings of the 33rd international conference on Application and Theory of Petri Nets
Discrete Time Process Algebra: Absolute Time, Relative Time And Parametric Time
Fundamenta Informaticae
Abstraction as a unifying link for formal approaches to concurrency
SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods
A denotational model for instantaneous signal calculus
SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods
Recovery within long-running transactions
ACM Computing Surveys (CSUR)
Algebraic program semantics for supercomputing
Theories of Programming and Formal Methods
Generic models of the laws of programming
Theories of Programming and Formal Methods
Towards a modeling language for cyber-physical systems
Theories of Programming and Formal Methods
Hi-index | 48.24 |
A complete set of algebraic laws is given for Dijkstra's nondeterministic sequential programming language. Iteration and recursion are explained in terms of Scott's domain theory as fixed points of continuous functionals. A calculus analogous to weakest preconditions is suggested as an aid to deriving programs from their specifications.