Search results for "partiality"

Found 113 publication records. Showing 113 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Martin Große-Rhode	Integrating Semantics for Object-Oriented System Models.	ICALP	2001	DBLP DOI BibTeX RDF
17	Roussanka Loukanova	Russellian and Strawsonian Definite Descriptions in Situation Semantics.	CICLing	2001	DBLP DOI BibTeX RDF
17	Jørgen Villadsen	Combinators for Paraconsistent Attitudes.	LACL	2001	DBLP DOI BibTeX RDF
17	Michael R. Lowry, Thomas Pressburger, Grigore Rosu	Certifying Domain-Specific Policies.	ASE	2001	DBLP DOI BibTeX RDF
17	David A. Duffy, Jürgen Giesl	Closure Induction in a Z-Like Language.	ZB	2000	DBLP DOI BibTeX RDF
17	Beata Konikowska, Marcin Bialasik	Reasoning with First Order Nondeterministic Specifications.	Acta Informatica	1999	DBLP DOI BibTeX RDF
17	Klaus-Dieter Schewe, Bernhard Thalheim	A Generalization of Dijkstra's Calculus to Typed Program Specifications.	FCT	1999	DBLP DOI BibTeX RDF
17	Juan Ares Casal, Óscar Dieste Tubío, Rafael García Vázquez, Marta López Fernández, Santiago Rodríguez Yáñez	Formalising the Software Evaluation Process.	SCCC	1998	DBLP DOI BibTeX RDF
17	Robert F. Stärk	Call-by-Value, Call-by-Name and the Logic of Values.	CSL	1996	DBLP DOI BibTeX RDF
17	John Hatcliff, Olivier Danvy	A Generic Account of Continuation-Passing Styles.	POPL	1994	DBLP DOI BibTeX RDF
17	Daniel Jackson 0001	Abstract Analysis with Aspect.	ISSTA	1993	DBLP DOI BibTeX RDF	DEBUG
17	Andrzej Blikle	Three-Valued Predicates for Software Specification and Validation.	VDM Europe	1988	DBLP DOI BibTeX RDF
17	David A. Basin	An Environment For Automated Reasoning About Partial Functions.	CADE	1988	DBLP DOI BibTeX RDF	Automated program development, unsolvability, theorem proving, computability, type theory, constructivity, tactics, partial functions

Displaying result #101 - #113 of 113 (100 per page; Change: )
Pages: [<<][1][2]