Search results for "Kleene algebra with tests"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Dexter Kozen	Nonlocal Flow of Control and Kleene Algebra with Tests.	LICS	2008	DBLP DOI BibTeX RDF	control flow, Kleene algebra, program restructuring, Kleene algebra with tests
3	Dexter Kozen	On Hoare logic and Kleene algebra with tests.	ACM Trans. Comput. Log.	2000	DBLP DOI BibTeX RDF	specification, dynamic logic, Hoare logic, Kleene algebra, Kleene algebra with tests
2	Jeewani Anupama Ginige, Athula Ginige	An Algorithm for Propagating-Impact Analysis of Process Evolutions.	UNISCON	2009	DBLP DOI BibTeX RDF	Propagating-impact, Process Modelling, Impact Analysis, Algebraic Modelling, Process Evolution, Kleene Algebra with Tests
2	Rui Qiao, Yuan Wang, Xinyan Gao, Jinzhao Wu	Operational semantics of probabilistic Kleene algebra with tests.	ISCC	2008	DBLP DOI BibTeX RDF
2	Kamal Aboul-Hosn, Dexter Kozen	Local Variable Scoping and Kleene Algebra with Tests.	RelMiCS	2006	DBLP DOI BibTeX RDF
2	Kamal Aboul-Hosn	An Axiomatization of Arrays for Kleene Algebra with Tests.	RelMiCS	2006	DBLP DOI BibTeX RDF
2	Christopher Hardin	How the Location of * Influences Complexity in Kleene Algebra with Tests.	LPAR	2004	DBLP DOI BibTeX RDF
2	Dexter Kozen, Maria-Christina Patron	Certification of Compiler Optimizations Using Kleene Algebra with Tests.	Computational Logic	2000	DBLP DOI BibTeX RDF
2	Dexter Kozen	On Hoare Logic and Kleene Algebra with Tests.	LICS	1999	DBLP DOI BibTeX RDF	combination of logics, verification, formal methods, universal algebra, logics of programs
2	Dexter Kozen	Kleene Algebra with Tests.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	specification, dynamic logic, Kleene algebra
2	Dexter Kozen, Frederick Smith	Kleene Algebra with Tests: Completeness and Decidability.	CSL	1996	DBLP DOI BibTeX RDF
1	Klaus-Dieter Schewe, Bernhard Thalheim, Qing Wang	Customising Web Information Systems According to User Preferences.	World Wide Web	2009	DBLP DOI BibTeX RDF	critical pair completion, media type, deontic constraint, preference rule, termination, term rewriting, personalisation, web information system, Church-Rosser property, Kleene algebra with tests
1	Kim Solin	A While Program Normal Form Theorem in Total Correctness.	RelMiCS	2009	DBLP DOI BibTeX RDF
1	Kamal Aboul-Hosn, Dexter Kozen	Local variable scoping and Kleene algebra with tests.	J. Log. Algebr. Program.	2008	DBLP DOI BibTeX RDF
1	Klaus-Dieter Schewe, Bernhard Thalheim	Web information systems co-design.	iiWAS	2008	DBLP DOI BibTeX RDF
1	Dexter Kozen, Wei-Lung Dustin Tseng	The Böhm-Jacopini Theorem Is False, Propositionally.	MPC	2008	DBLP DOI BibTeX RDF
1	Larissa Meinicke, Ian J. Hayes	Probabilistic Choice in Refinement Algebra.	MPC	2008	DBLP DOI BibTeX RDF
1	Kamal Aboul-Hosn, Dexter Kozen	KAT-ML: an interactive theorem prover for Kleene algebra with tests.	Journal of Applied Non-Classical Logics	2006	DBLP BibTeX RDF
1	Jeewani Anupama Ginige, Uma Sirinivasan, Athula Ginige	A Mechanism for Efficient Management of Changes in BPEL based Business Processes: An Algebraic Methodology.	ICEBE	2006	DBLP DOI BibTeX RDF
1	Dexter Kozen	On the Representation of Kleene Algebras with Tests.	MFCS	2006	DBLP DOI BibTeX RDF
1	Bernhard Möller	The Linear Algebra of UTP.	MPC	2006	DBLP DOI BibTeX RDF
1	Chris Hardin	Proof Theory for Kleene Algebra.	LICS	2005	DBLP DOI BibTeX RDF
1	Annabelle McIver, Tjark Weber	Towards Automated Proof Support for Probabilistic Distributed Systems.	LPAR	2005	DBLP DOI BibTeX RDF
1	Claude Bolduc, Jules Desharnais	Static Analysis of Programs Using Omega Algebra with Tests.	RelMiCS	2005	DBLP DOI BibTeX RDF
1	Hitoshi Furusawa	A Framework for Kleene Algebra with an Embedded Structure.	RelMiCS	2005	DBLP DOI BibTeX RDF
1	Hubie Chen, Riccardo Pucella	A coalgebraic approach to Kleene algebra with tests.	Theor. Comput. Sci.	2004	DBLP DOI BibTeX RDF
1	Hubie Chen, Riccardo Pucella	A Coalgebraic Approach to Kleene Algebra with Tests	CoRR	2004	DBLP BibTeX RDF
1	Hitoshi Furusawa	A Free Construction of Kleene Algebras with Tests.	MPC	2004	DBLP DOI BibTeX RDF
1	Hubie Chen, Riccardo Pucella	A Coalgebraic Approach to Kleene Algebra with Tests.	Electr. Notes Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
1	Dexter Kozen, Jerzy Tiuryn	Substructural logic and partial correctness.	ACM Trans. Comput. Log.	2003	DBLP DOI BibTeX RDF	specification, linear logic, Dynamic logic, Hoare logic, sequent calculus, substructural logic, Kleene algebra, Kleene algebra with tests
1	Jules Desharnais	Kleene Algebra with Relations.	RelMiCS	2003	DBLP DOI BibTeX RDF
1	Joakim von Wright	From Kleene Algebra to Refinement Algebra.	MPC	2002	DBLP DOI BibTeX RDF