Search results for "commutative functions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Farhana Aleen, Nathan Clark	Commutativity analysis for software parallelization: letting program transformations see the big picture.	ASPLOS	2009	DBLP DOI BibTeX RDF	automatic software parallelization, commutative functions, random interpretation
2	A. Prasad Sistla, Min Zhou	Combining Static Analysis and Model Checking for Systems Employing Commutative Functions.	FORTE	2005	DBLP DOI BibTeX RDF
1	A. Prasad Sistla, Min Zhou, Xiaodong Wang	Model Checking of Systems Employing Commutative Functions.	VMCAI	2005	DBLP DOI BibTeX RDF
1	Martín Abadi, Véronique Cortier	Deciding Knowledge in Security Protocols under (Many More) Equational Theories.	CSFW	2005	DBLP DOI BibTeX RDF
1	Hongzhong Wu	On Tests of Uniform Tree Circuits.	CONPAR	1992	DBLP DOI BibTeX RDF
1	Emmanuel Kounalis, Denis Lugiez	Compilation of Pattern Matching with Associative-Commutative Functions.	TAPSOFT, Vol.1	1991	DBLP DOI BibTeX RDF
1	David A. Basin	Equality of Terms Containing Associative-Commutative Functions and Commutative Binding Operators in Isomorphism Complete.	CADE	1990	DBLP DOI BibTeX RDF
1	C. Samuel Hsieh	Decentralised Evaluation of Associative and Commutative Functions.	ICDCS	1989	DBLP BibTeX RDF
1	Sami Harari	Non-Linear Non-Commutative Functions for Data Integrity.	EUROCRYPT	1984	DBLP DOI BibTeX RDF
1	François Fages	Associative-Commutative Unification.	CADE	1984	DBLP DOI BibTeX RDF
1	Mark E. Stickel	A Unification Algorithm for Associative-Commutative Functions.	J. ACM	1981	DBLP DOI BibTeX RDF
1	Mark E. Stickel	A Complete Unification Algorithm for Associative-Commutative Functions.	IJCAI	1975	DBLP BibTeX RDF
1	Richard J. Waldinger, Karl N. Levitt	Reasoning About Programs.	POPL	1973	DBLP DOI BibTeX RDF