Search results for "Undefinedness"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
122	Yoonsik Cheon, Gary T. Leavens	A contextual interpretation of undefinedness for runtime assertion checking.	AADEBUG	2005	DBLP DOI BibTeX RDF	undefinedness, formal methods, exceptions, JML language, runtime assertion checking, partial functions
91	William M. Farmer	Formalizing Undefinedness Arising in Calculus.	IJCAR	2004	DBLP DOI BibTeX RDF
71	Alan M. Frisch, Peter J. Stuckey	The Proper Treatment of Undefinedness in Constraint Languages.	CP	2009	DBLP DOI BibTeX RDF
51	Andrew P. Martin	Relating Z and First-Order Logic.	Formal Aspects Comput.	2000	DBLP DOI BibTeX RDF	Undefinedness, Models, Tools, Theorem proving, Logics, Schemas, Z notation
40	Susanne Graf, Bernhard Steffen	Compositional Minimization of Finite State Systems.	CAV	1990	DBLP DOI BibTeX RDF
31	Jonas Betzendahl	Reasoning Support for Undefinedness and Soft Typing in Formal Mathematics - Extended Abstract.	CICM Workshops	2021	DBLP BibTeX RDF
31	Mario Alviano, Giovanni Amendola, Rafael Peñaloza	Minimal Undefinedness for Fuzzy Answer Sets.	AAAI	2017	DBLP DOI BibTeX RDF
31	Chris Hathhorn, Chucky Ellison, Grigore Rosu	Defining the undefinedness of C.	PLDI	2015	DBLP DOI BibTeX RDF
31	William M. Farmer	Andrews' Type Theory with Undefinedness.	CoRR	2014	DBLP BibTeX RDF
31	William M. Farmer	Simple Type Theory with Undefinedness, Quotation, and Evaluation.	CoRR	2014	DBLP BibTeX RDF
31	Victor Bandur	Unifying theories of logics with undefinedness.		2014	RDF
31	William M. Farmer	Chiron: A Set Theory with Types, Undefinedness, Quotation, and Evaluation	CoRR	2013	DBLP BibTeX RDF
31	Carolina Dania, Manuel Clavel	OCL2FOL+: Coping with Undefinedness.	OCL@MoDELS	2013	DBLP BibTeX RDF
31	Jim Woodcock 0001, Victor Bandur	Unifying Theories of Undefinedness in UTP.	UTP	2012	DBLP DOI BibTeX RDF
31	Lee Naish, Harald Søndergaard, Benjamin Horsfall	Logic Programming: From Underspecification to Undefinedness.	CATS	2012	DBLP BibTeX RDF
31	Manfred Broy	From Chaos to Undefinedness.	Essays Dedicated to Joseph A. Goguen	2006	DBLP DOI BibTeX RDF
31	Terje Sivertsen	Undefinedness vs. Underspecification in HALDEN ASL.	Nord. J. Comput.	2004	DBLP BibTeX RDF
31	Samuel H. Valentine	Inconsistency and Undefinedness in Z - A Practical Guide.	ZUM	1998	DBLP DOI BibTeX RDF
31	Howard Barringer, J. H. Cheng, Cliff B. Jones	A Logic Covering Undefinedness in Program Proofs.	Acta Informatica	1984	DBLP DOI BibTeX RDF
31	Raymond T. Boute	Supertotal Function Definition in Mathematics and Software Engineering.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	calculational reasoning, functional mathematics, guarded formulas, conditional expressions, undefinedness, Formal methods, subtyping, software specification, predicate calculus, type correctness
20	Walter Guttmann	Lazy Relations.	RelMiCS	2008	DBLP DOI BibTeX RDF
20	Fabian Büttner, Mirco Kuhlmann	Shortcomings of the Embedding of OCL into QVT ImperativeOCL.	MoDELS (Workshops)	2008	DBLP DOI BibTeX RDF
20	William M. Farmer	Biform Theories in Chiron.	Calculemus/MKM	2007	DBLP DOI BibTeX RDF
20	Walter Guttmann	Non-termination in Unifying Theories of Programming.	RelMiCS	2005	DBLP DOI BibTeX RDF
20	Achim D. Brucker, Burkhart Wolff	Using Theory Morphisms for Implementing Formal Methods Tools.	TYPES	2002	DBLP DOI BibTeX RDF	Shallow Embeddings, Formal Methods, Theorem Proving, OCL, Formal Semantics
20	Ralph Miarka, John Derrick, Eerke A. Boiten	Handling Inconsistencies in Z Using Quasi-Classical Logic.	ZB	2002	DBLP DOI BibTeX RDF
20	Jørgen Villadsen	Combinators for Paraconsistent Attitudes.	LACL	2001	DBLP DOI BibTeX RDF
20	Ralph Miarka, Eerke A. Boiten, John Derrick	Guards, Preconditions, and Refinement in Z.	ZB	2000	DBLP DOI BibTeX RDF
20	Andrew P. Martin	Relating Z and First-Order Logic.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
20	Thomas Eiter, Nicola Leone, Domenico Saccà	Partial Semantics for Disjunctive Deductive Databases.	DEXA	1996	DBLP DOI BibTeX RDF
20	Jan Kuper	Proving the Genericity Lemma by Leftmost Reduction is Simple.	RTA	1995	DBLP DOI BibTeX RDF
20	Egidio Astesiano, Maura Cerioli	Non-Strict Don't Care Algebras and Specifications.	TAPSOFT, Vol.1	1991	DBLP DOI BibTeX RDF
20	Jia-Huai You, Li-Yan Yuan	Three-Valued Formalization of Logic Programming: Is It Needed?	PODS	1990	DBLP DOI BibTeX RDF
20	Andrzej Blikle	Three-Valued Predicates for Software Specification and Validation.	VDM Europe	1988	DBLP DOI BibTeX RDF