The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Undefinedness with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1984-2002 (15) 2004-2014 (16) 2015-2021 (3)
Publication types (Num. hits)
article(7) inproceedings(26) phdthesis(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 20 occurrences of 17 keywords

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