Efficient demand-driven evaluation. Part 1
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
Subproblem finder and instance checker, two cooperating modules for theorem provers
Journal of the ACM (JACM)
On the algebraic definition of programming languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
Storing and evaluating Horn-clause rules in a relational database
IBM Journal of Research and Development
The design of an interactive compiler for optimizing microprograms
MICRO 18 Proceedings of the 18th annual workshop on Microprogramming
Formal models of stepwise refinements of programs
ACM Computing Surveys (CSUR)
Safety and correct translation of relational calculus formulas
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Algorithmic specifications: a constructive specification method for abstract data types
ACM Transactions on Programming Languages and Systems (TOPLAS)
Please: a language combining imperative and logic programming
ACM SIGPLAN Notices
Demand-Driven Interpretation of FP Programs on a Data-Flow Multiprocessor
IEEE Transactions on Computers - Special issue on architectural support for programming languages and operating systems
Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming
IEEE Transactions on Software Engineering
Real-Time Specification Using Lucid
IEEE Transactions on Software Engineering
Some Inference Rules for Integer Arithmetic for Verification of Flowchart Programs on Integers
IEEE Transactions on Software Engineering
Type inference and semi-unification
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
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
Partial order programming (extended abstract)
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Copy elimination in functional languages
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The implications of program dependencies for software testing, debugging, and maintenance
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
A Theorem Prover for Verifying Iterative Programs Over Integers
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
ERNEST: A Semantic Network System for Pattern Understanding
IEEE Transactions on Pattern Analysis and Machine Intelligence
A hierarchy of temporal properties (invited paper, 1989)
PODC '90 Proceedings of the ninth annual ACM symposium on Principles of distributed computing
Formal Analysis of the Alternating Bit Protocol by Temporal Petri Nets
IEEE Transactions on Software Engineering
Dependence flow graphs: an algebraic approach to program dependencies
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Separating concurrent languages with categories of language embeddings
STOC '91 Proceedings of the twenty-third annual ACM symposium on Theory of computing
Safety and translation of relational calculus
ACM Transactions on Database Systems (TODS)
A fully abstract semantics for a first-order functional language with logic variables
ACM Transactions on Programming Languages and Systems (TOPLAS)
Detecting static algorithms by partial evaluation
PEPM '91 Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Constraint-Based Automatic Test Data Generation
IEEE Transactions on Software Engineering
Spreadsheet computations in computer algebra
ACM SIGSAM Bulletin
On the relation between functional and data parallel programming languages
FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
Rules and strategies for transforming functional and logic programs
ACM Computing Surveys (CSUR)
On the properties of cryptographic protocols and the weaknesses of the BAN-like logics
ACM SIGOPS Operating Systems Review
The aggregate update problem in functional programming systems
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The correctness of concurrency control mechanisms in a system for distributed databases (SDD-1)
ACM Transactions on Database Systems (TODS)
A New Incompleteness Result for Hoare's System
Journal of the ACM (JACM)
Assignment Commands with Array References
Journal of the ACM (JACM)
A Complete and Consistent Hoare Axiomatics for a Simple Programming Language
Journal of the ACM (JACM)
Renamings, Maximal Parallelism, and Space-Time Tradeoff in Program Schemata
Journal of the ACM (JACM)
Stack Machines and Classes of Nonnested Macro Languages
Journal of the ACM (JACM)
Continuation-Based Program Transformation Strategies
Journal of the ACM (JACM)
A Decision Procedure for the Correctness of a Class of Programs
Journal of the ACM (JACM)
Complete Sets of Reductions for Some Equational Theories
Journal of the ACM (JACM)
On the Complexity of Flowchart and Loop Program Schemes and Programming Languages
Journal of the ACM (JACM)
The Pattern-of-Calls Expansion Is the Canonical Fixpoint for Recursive Definitions
Journal of the ACM (JACM)
Expansions in the algebra of FP
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
An Application of Formal Analysis to Software in a Fault-Tolerant Environment
IEEE Transactions on Computers
Using Data Flow Information to Obtain Efficient Check Sets for Algorithm-Based Fault Tolerance
International Journal of Parallel Programming
Data-Driven and Demand-Driven Computer Architecture
ACM Computing Surveys (CSUR)
Validation, Verification, and Testing of Computer Software
ACM Computing Surveys (CSUR)
And/Or Programs: A New Approach to Structured Programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
Deleting Irrelevant Tasks in an Expression-Oriented Multiprocessor System
ACM Transactions on Programming Languages and Systems (TOPLAS)
Specifying the Semantics of while Programs: A Tutorial and Critique of a Paper by Hoare and Lauer
ACM Transactions on Programming Languages and Systems (TOPLAS)
Some Techniques for Recursion Removal from Recursive Functions
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communications of the ACM
Communications of the ACM
Notes on recursion elimination
Communications of the ACM
Logic and programming languages
Communications of the ACM
The optimal approach to recursive programs
Communications of the ACM
Improving programs by the introduction of recursion
Communications of the ACM
Communications of the ACM
Symbolic execution and program testing
Communications of the ACM
A parallel language and its compilation to multiprocessor machines or VLSI
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A complete and consistent hoare axiomatics for a simple programming language
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Applications of high level control flow
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Synchronous schemes and their decision problems
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An indeterminate constructor for applicative programming
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Specifying programming language semantics: a tutorial and critique of a paper by Hoare and Lauer
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Systematic design of program analysis frameworks
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
An optimality theory of concurrency control for databases
SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Desert Island Column: The Long Story of a Short Theorem
Automated Software Engineering
Journal of Automated Reasoning
The Generation of a Class of Multipliers: Synthesizing Highly Parallel Algorithms in VLSI
IEEE Transactions on Computers
Design and Implementation of a Semantic Query Optimizer
IEEE Transactions on Knowledge and Data Engineering
Linearizing Some Recursive Logic Programs
IEEE Transactions on Knowledge and Data Engineering
Equivalence of conservative, free, linear program schemas is decidable
Theoretical Computer Science
Semantics of Partial-Order Programs
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
Formalizing the Halting Problem in a Constructive Type Theory
TYPES '00 Selected papers from the International Workshop on Types for Proofs and Programs
The Need for Compositional Proof Systems: A Survey
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Creating Difficult Instances of the Post Correspondence Problem
CG '00 Revised Papers from the Second International Conference on Computers and Games
Practical Methods for Proving Program Termination
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Decision Questions on Integer Matrices
DLT '01 Revised Papers from the 5th International Conference on Developments in Language Theory
Modeling Operating Systems Schedulers with Multi-Stack-Queue Grammars
FCT '99 Proceedings of the 12th International Symposium on Fundamentals of Computation Theory
Formal verification of a real-time hardware design
DAC '83 Proceedings of the 20th Design Automation Conference
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
A performance evaluation of a Lisp-based data-driven machine (EM-3)
ISCA '83 Proceedings of the 10th annual international symposium on Computer architecture
ICSE '84 Proceedings of the 7th international conference on Software engineering
Contrasting translation, verification and synthesis in software and firmware engineering
MICRO 14 Proceedings of the 14th annual workshop on Microprogramming
On correct program development
ICSE '79 Proceedings of the 4th international conference on Software engineering
Symbolic interpretation and tracing of PASCAL-programs
ICSE '78 Proceedings of the 3rd international conference on Software engineering
A complete axiomatic system for proving deductions about recursive programs
STOC '77 Proceedings of the ninth annual ACM symposium on Theory of computing
On the theory of programming logics
STOC '77 Proceedings of the ninth annual ACM symposium on Theory of computing
Parameter-passing mechanisms and nondeterminism
STOC '77 Proceedings of the ninth annual ACM symposium on Theory of computing
A new incompleteness result for Hoare's system
STOC '76 Proceedings of the eighth annual ACM symposium on Theory of computing
The optimal fixedpoint of recursive programs
STOC '75 Proceedings of seventh annual ACM symposium on Theory of computing
Firmware versus software verification
MICRO 11 Proceedings of the 11th annual workshop on Microprogramming
Certification of microprograms by an algebraic method
MICRO 9 Proceedings of the 9th annual workshop on Microprogramming
An approach to program verification
DAC '76 Proceedings of the 13th Design Automation Conference
SIGSOFT tutorial on program verification (Tutorial Session)
ACM '76 Proceedings of the 1976 annual conference
Performance of a multiprocessor for Applicative programs
PERFORMANCE '80 Proceedings of the 1980 international symposium on Computer performance modelling, measurement and evaluation
Proving real-time properties of programs with temporal logic
SOSP '81 Proceedings of the eighth ACM symposium on Operating systems principles
Transformations of FP program schemes
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
ALICE a multi-processor reduction machine for the parallel evaluation CF applicative languages
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
If-then-else as a concurrency inhibitor in eager beaver evaluation of recursive programs
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
Towards automatic debugging of programs
Proceedings of the international conference on Reliable software
A formal method for computer design verification
DAC '82 Proceedings of the 19th Design Automation Conference
Logical correctness by construction
DAC '82 Proceedings of the 19th Design Automation Conference
On the scope of static checking in definitional languages
ACM '84 Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge
Design verification based on functional abstraction
DAC '79 Proceedings of the 16th Design Automation Conference
A note on an expressiveness hierarchy for multi-exit iteration
Information Processing Letters
A Formal Approach to Model SNMP Network Management Systems
ICCCN '95 Proceedings of the 4th International Conference on Computer Communications and Networks
An advanced programming language definition and domain correctness of programs
ACM SIGPLAN Notices
Non-linear loop invariant generation using Gröbner bases
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Automatic derivation of loop termination conditions to support verification
ACSC '04 Proceedings of the 27th Australasian conference on Computer science - Volume 26
ACM SIGCSE Bulletin
Use of annotated schemes for developing prototype programs
Proceedings of the workshop on Rapid prototyping
Designing software without backtracking: the part of dream and the part of reality
ACM SIGSOFT Software Engineering Notes
Peg-solitaire, string rewriting systems and finite automata
Theoretical Computer Science
Using mappings to prove timing properties
Distributed Computing
Energy Aware Computing through Probabilistic Switching: A Study of Limits
IEEE Transactions on Computers
A theoretical basis for the reduction of polynomials to canonical forms
ACM SIGSAM Bulletin
Relational characterizations of system fault tolerance
Science of Computer Programming
A Formal Verification Method of Scheduling in High-level Synthesis
ISQED '06 Proceedings of the 7th International Symposium on Quality Electronic Design
A refinement calculus for logic programs
Theory and Practice of Logic Programming
Logic and programming languages
ACM Turing award lectures
Synthesis and Optimization of Programs by Means of P-Functions
IEEE Transactions on Computers
Equivalence of the Arbiter, the Synchronizer, the Latch, and the Inertial Delay
IEEE Transactions on Computers
An Inductive Assertion Method for Register Transfer Level Design Verification
IEEE Transactions on Computers
Reversible Flowchart Languages and the Structured Reversible Program Theorem
ICALP '08 Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part II
AFIPS '81 Proceedings of the May 4-7, 1981, national computer conference
On the origins of bisimulation and coinduction
ACM Transactions on Programming Languages and Systems (TOPLAS)
Mathematics and Computers in Simulation
Normative conflict resolution in multi-agent systems
Autonomous Agents and Multi-Agent Systems
Proving loop termination: Beyond the traditional method
Journal of Computational Methods in Sciences and Engineering
A formal representation for plans in the programmer's apprentice
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 2
A natural programming calculus
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 1
Mathematics for reasoning about loop functions
Science of Computer Programming
Construction of Hoare Triples under Generalized Model with Semantically Valid Genetic Operations
ISICA '09 Proceedings of the 4th International Symposium on Advances in Computation and Intelligence
Refinement of higher-order logic programs
LOPSTR'02 Proceedings of the 12th international conference on Logic based program synthesis and transformation
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
Toward the automatic software exorciser
ACM-SE 15 Proceedings of the 15th annual Southeast regional conference
Terminological cycles in KL-ONE-based knowledge representation languages
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Multi-dimensional rankings, program termination, and complexity bounds of flowchart programs
SAS'10 Proceedings of the 17th international conference on Static analysis
Generating invariants for non-linear hybrid systems by linear algebraic methods
SAS'10 Proceedings of the 17th international conference on Static analysis
Equivalence checking of scheduling with speculative code transformations in high-level synthesis
Proceedings of the 16th Asia and South Pacific Design Automation Conference
On computability and some decision problems of parametric weighted finite automata
Journal of Automata, Languages and Combinatorics
Computing preconditions and postconditions of while loops
ICTAC'11 Proceedings of the 8th international conference on Theoretical aspects of computing
Hume box calculus: robust system development through software transformation
Higher-Order and Symbolic Computation
VMCAI'05 Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation
Schema-guided synthesis of imperative programs by constraint solving
LOPSTR'04 Proceedings of the 14th international conference on Logic Based Program Synthesis and Transformation
Efficient strongly relational polyhedral analysis
VMCAI'06 Proceedings of the 7th international conference on Verification, Model Checking, and Abstract Interpretation
Linear ranking with reachability
CAV'05 Proceedings of the 17th international conference on Computer Aided Verification
Processes, Terms and Cycles
Compositionality: ontology and mereology of domains
Concurrency, Compositionality, and Correctness
Fundamental features of metabolic computing
MICAI'11 Proceedings of the 10th international conference on Artificial Intelligence: advances in Soft Computing - Volume Part II
Transcendental inductive invariants generation for non-linear differential and hybrid systems
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control
Declarative view of imperative programs
IW-FM'98 Proceedings of the 2nd 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
On partial-function application in Z
3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods
Operations Research Letters
Learning to capture the functions of genetic regulatory networks using graph motifs
International Journal of Advanced Intelligence Paradigms
Simple models for recursive schemes
MFCS'12 Proceedings of the 37th international conference on Mathematical Foundations of Computer Science
The ζ-Semantics: A Comprehensive Semantics for Functional Programs
Fundamenta Informaticae
Inference of polynomial invariants for imperative programs: a farewell to gröbner bases
SAS'12 Proceedings of the 19th international conference on Static Analysis
Kleene algebra with tests and coq tools for while programs
ITP'13 Proceedings of the 4th international conference on Interactive Theorem Proving
Program analysis and verification based on kleene algebra in Isabelle/HOL
ITP'13 Proceedings of the 4th international conference on Interactive Theorem Proving
Synchronous digital circuits as functional programs
ACM Computing Surveys (CSUR)
| Hi-index | 0.14 |