Search results for "well-definedness"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
139	Stijn Vansummeren	On deciding well-definedness for query languages on trees.	J. ACM	2007	DBLP DOI BibTeX RDF	Runtime errors, well-definedness, XQuery
113	Ádám Darvas, Farhad Mehta, Arsenii Rudich	Efficient Well-Definedness Checking.	IJCAR	2008	DBLP DOI BibTeX RDF
76	Stijn Vansummeren	Deciding well-definedness of XQuery fragments.	PODS	2005	DBLP DOI BibTeX RDF
76	Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren	Well-Definedness and Semantic Type-Checking in the Nested Relational Calculus and XQuery Extended Abstract.	ICDT	2005	DBLP DOI BibTeX RDF
57	Andreas Maletti	Tree-Series-to-Tree-Series Transformations.	CIAA	2008	DBLP DOI BibTeX RDF
57	Hans Zantema	Well-Definedness of Streams by Termination.	RTA	2009	DBLP DOI BibTeX RDF
57	Hans Zantema	A Tool Proving Well-Definedness of Streams Using Termination Tools.	CALCO	2009	DBLP DOI BibTeX RDF
45	Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren	A crash course on database queries.	PODS	2007	DBLP DOI BibTeX RDF	nested relational calculus, runtime error, typability, well-definedness, reflection, type system, type inference, XQuery, relational algebra
45	Giacomo Bucci, Luigi Sassoli, Enrico Vicario	Correctness Verification and Performance Analysis of Real-Time Systems Using Stochastic Preemptive Time Petri Nets.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	performance and dependability evaluation, maximal step semantics, well definedness, stochastic preemptive Time Petri nets, preemptive scheduling, discrete time, confusion, Real-time reactive systems, correctness verification
38	Farhad Mehta	A Practical Approach to Partiality - A Proof Based Approach.	ICFEM	2008	DBLP DOI BibTeX RDF
38	Philipp Scholl, Aras Bacho, Holger Boche, Gitta Kutyniok	Well-definedness of Physical Law Learning: The Uniqueness Problem.	CoRR	2022	DBLP DOI BibTeX RDF
38	Michael Leuschel	Fast and Effective Well-Definedness Checking.	IFM	2020	DBLP DOI BibTeX RDF
38	Henning Basold, Helle Hvid Hansen	Well-definedness and observational equivalence for inductive-coinductive programs.	J. Log. Comput.	2019	DBLP DOI BibTeX RDF
38	Fabrizio Riguzzi, Terrance Swift	Well-definedness and efficient inference for probabilistic logic programming under the distribution semantics.	Theory Pract. Log. Program.	2013	DBLP DOI BibTeX RDF
38	Ted Kaminski, Eric Van Wyk	Modular Well-Definedness Analysis for Attribute Grammars.	SLE	2012	DBLP DOI BibTeX RDF
38	Fabrizio Riguzzi, Terrance Swift	Well-Definedness and Efficient Inference for Probabilistic Logic Programming under the Distribution Semantics	CoRR	2011	DBLP BibTeX RDF
38	Hans Zantema	Well-definedness of Streams by Transformation and Termination	Log. Methods Comput. Sci.	2010	DBLP BibTeX RDF
38	Issam Maamria, Michael J. Butler	Rewriting and Well-Definedness within a Proof System	PAR	2010	DBLP DOI BibTeX RDF
38	Issam Maamria, Michael J. Butler	Rewriting and Well-Definedness within a Proof System.	PAR@ITP	2010	DBLP DOI BibTeX RDF
38	Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren	Well-definedness and semantic type-checking for the nested relational calculus.	Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
38	Stijn Vansummeren	Well-definedness, semantic type-checking and type inference for database query languages		2005	RDF
38	Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren	Well-Definedness and Semantic Type-Checking in the Nested Relational Calculus and XQuery	CoRR	2004	DBLP BibTeX RDF
38	Patrick Behm, Lilian Burdy, Jean-Marc Meynadier	Well Defined B.	B	1998	DBLP DOI BibTeX RDF
20	Mohammad Reza Mousavi 0001, Michel A. Reniers	Congruence for Structural Congruences.	FoSSaCS	2005	DBLP DOI BibTeX RDF
20	Klaus Drosten	Towards Executable Specifications Using Conditional Axioms.	STACS	1984	DBLP DOI BibTeX RDF
19	Sara Cohen, Benny Kimelfeld, Yehoshua Sagiv	Incorporating constraints in probabilistic XML.	ACM Trans. Database Syst.	2009	DBLP DOI BibTeX RDF	probabilistic XML, sampling probabilistic data, constraints, Probabilistic databases
19	Sara Cohen, Benny Kimelfeld, Yehoshua Sagiv	Incorporating constraints in probabilistic XML.	PODS	2008	DBLP DOI BibTeX RDF	probabilistic xml, sampling probabilistic data, constraints, probabilistic databases
19	Yifeng Chen	Hierarchical Organisation of Predicate-Semantic Models.	UTP	2006	DBLP DOI BibTeX RDF
19	Frank Neven	Extensions of Attribute Grammars for Structured Document Queries.	DBPL	1999	DBLP DOI BibTeX RDF
19	Patrick Cousot, Radhia Cousot	Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form.	CAV	1995	DBLP DOI BibTeX RDF