Search results for "powerdomains"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
73	Michael G. Main	Free Constructions of Powerdomains.	Mathematical Foundations of Programming Semantics	1985	DBLP DOI BibTeX RDF
51	Robert Muller, Yuli Zhou	Abstract Interpretation in Weak Powerdomains.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF
51	Paul Hudak, Jonathan Young	A Collecting Interpretation of Expressions (Without Powerdomains). (long version: TOPLAS 13(2): 269-290 (1991))	POPL	1988	DBLP DOI BibTeX RDF
51	David de Frutos-Escrig	Some Probabilistic Powerdomains in the Category SFP.	STACS	1986	DBLP DOI BibTeX RDF
44	David A. Schmidt	Underapproximating Predicate Transformers.	SAS	2006	DBLP DOI BibTeX RDF
44	José Raymundo Marcial-Romero, Martín Hötzel Escardó	Semantics of a Sequential Language for Exact Real-Number Computation.	LICS	2004	DBLP DOI BibTeX RDF
36	Richard Kennaway, C. A. R. Hoare	A Theory of Nondeterminism.	ICALP	1980	DBLP DOI BibTeX RDF	axiomatic sematnics, complementary definitions, powerdomains, operational semantics, nondeterminism
29	Rasmus Ejlers Møgelberg, Andrea Vezzosi	Two Guarded Recursive Powerdomains for Applicative Simulation.	MFPS	2021	DBLP DOI BibTeX RDF
29	Zhongxi Zhang, Qingguo Li, Nan Zhang	A characterization of the consistent Hoare powerdomains over dcpos.	CoRR	2018	DBLP BibTeX RDF
29	Yayan Yuan, Hui Kou	Characterizing Consistent Smyth Powerdomains by FS-∧↑-domains.	ISDT	2017	DBLP DOI BibTeX RDF
29	Klaus Keimel, Gordon D. Plotkin	Mixed powerdomains for probability and nondeterminism.	Log. Methods Comput. Sci.	2017	DBLP DOI BibTeX RDF
29	Keye Martin	Powerdomains and Zero Finding.	QAPL	2001	DBLP DOI BibTeX RDF
29	Marcello M. Bonsangue, Franck van Breugel, Jan J. M. M. Rutten	Generalized Metric Spaces: Completion, Topology, and Powerdomains via the Yoneda Embedding.	Theor. Comput. Sci.	1998	DBLP DOI BibTeX RDF
29	Sujeet Pradhan, Keishi Tajima, Katsumi Tanaka	Utilizing Prototype Objects and Powerdomains to Support Public Authoring of Video Databases.	CODAS	1996	DBLP BibTeX RDF
29	Kay-Jeannette Nüssler	Universality and powerdomains.	MFPS	1995	DBLP DOI BibTeX RDF
29	Yiannis N. Moschovakis, Glen T. Whitney	Powerdomains, Powerstructures and Fairness.	CSL	1994	DBLP DOI BibTeX RDF
29	Peter Buneman, Achim Jung, Atsushi Ohori	Using Powerdomains to Generalize Relational Databases.	Theor. Comput. Sci.	1991	DBLP DOI BibTeX RDF
29	Karel Hrbacek	Convex Powerdomains II	Inf. Comput.	1989	DBLP DOI BibTeX RDF
29	Radha Jagadeesan	L-domains and Lossless Powerdomains.	Mathematical Foundations of Programming Semantics	1989	DBLP DOI BibTeX RDF
29	Karel Hrbacek	Convex Powerdomains I	Inf. Comput.	1987	DBLP DOI BibTeX RDF
29	Frank J. Oles	Semantics for Concurrency without Powerdomains.	POPL	1987	DBLP DOI BibTeX RDF
29	Glynn Winskel	On Powerdomains and Modality.	Theor. Comput. Sci.	1985	DBLP DOI BibTeX RDF
29	Karel Hrbacek	Powerdomains as Algebraic Lattices (Preliminary Report).	ICALP	1985	DBLP DOI BibTeX RDF
29	David de Frutos-Escrig	A Characterization of Plotkin's Order in Powerdomains, and Some of its Properties.	Theor. Comput. Sci.	1984	DBLP DOI BibTeX RDF
29	Glynn Winskel	A Note on Powerdomains and Modalitiy.	FCT	1983	DBLP DOI BibTeX RDF
29	Samson Abramsky	Experiments, Powerdomains and Fully Abstract Models for Applicative Multiprogramming.	FCT	1983	DBLP DOI BibTeX RDF
29	Sophie Tison, Max Dauchet, Gérard Comyn	Metrical an Ordered Properties of Powerdomains.	FCT	1983	DBLP DOI BibTeX RDF
29	Matthew Hennessy	Powerdomains and nondeterministic recursive definitions.	Symposium on Programming	1982	DBLP DOI BibTeX RDF
29	Michael B. Smyth	Powerdomains.	MFCS	1976	DBLP DOI BibTeX RDF
22	Thomas Anberrée	First-Order Universality for Real Programs.	CiE	2009	DBLP DOI BibTeX RDF	real number computation, simply typed lambda-calculus, computability, denotational semantics
22	David A. Schmidt	Closed and Logical Relations for Over- and Under-Approximation of Powersets.	SAS	2004	DBLP DOI BibTeX RDF
22	M. Andrew Moshier, Achim Jung	A Logic for Probabilities in Semantics.	CSL	2002	DBLP DOI BibTeX RDF
22	Paul Hudak, Jonathan Young	Collecting Interpretations of Expressions.	ACM Trans. Program. Lang. Syst.	1991	DBLP DOI BibTeX RDF	theory
22	Carl A. Gunter	Relating Total and Partial Correctness Interpretations of Non-Deterministic Programs.	POPL	1990	DBLP DOI BibTeX RDF
22	Peter Buneman, Susan B. Davidson, Aaron Watters	A Semantics for Complex Objects and Approximate Queries.	PODS	1988	DBLP DOI BibTeX RDF