Scott, D. S., 1982. Domains for denotational semantics, International Conference on Automata, Languages, and Programming. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Artificial Intelligence and Rational Self-Government - Doyle (1988) (14 citations) (Correct)
No context found.
Scott, D. S., 1982. Domains for denotational semantics, International Conference on Automata, Languages, and Programming.
Relational Interpretations of Recursive Types in an.. - Lars Birkedal And (1997) (15 citations) (Correct)
No context found.
Scott, Dana S. 1982. Domains for Denotational Semantics. Pages 577-- 613 of: Nielsen, M., & Schmidt, E. M. (eds), Proceedings of the 9th International Colloquium on Automata, Languages and Programming.
Intersection Types, λ-models, and Böhm Trees - Dezani-Ciancaglini.. (Correct)
No context found.
D. Scott, "Domains for Denotational Semantics", ICALP'82, LNCS 140, SpringerVerlag, Berlin 1982, 577--613.
A Lambda Model Characterizing Computational Behaviours of.. - Dezani-Ciancaglini.. (Correct)
No context found.
Dana S. Scott. Domains for denotational semantics. In Automata, languages and programming, volume 140 of Lecture Notes in Mathematics, pages 577--613, Berlin, 1982. Springer. 18
Types for Trees - Barbanera, Dezani-Ciancaglini, al. (Correct)
No context found.
Scott D.S., "Domains for Denotational Semantics", ICALP'82, LNCS 140, Springer-Verlag, Berlin, 1982, 577-613.
A Formal Model for Trust in Dynamic Networks - Marco Carbone Mogens (2003) (12 citations) (Correct)
No context found.
D. S. Scott. Domains for denotational semantics. ICALP '82 - LNCS, 140, 1982.
Intersection Types for λ-Trees - van Bakel, Barbanera.. (2000) (Correct)
No context found.
Dana Scott. Domains for denotational semantics. In Automata, languages and programming, Lecture Notes in Computer Science, Vol. 140, pages 577--613. Springer Verlag, Berlin, 1982.
A Compositional Semantic Basis for the Analysis of.. - Alpuente, Falaschi.. (1996) (2 citations) (Correct)
No context found.
D. Scott. Domains for Denotational Semantics. In Proc. ICALP'82, volume 140 of Lecture Notes in Computer Science, pages 577--613. Springer-Verlag, Berlin, 1982.
Computational Topology: Ambient Isotopic Approximation of .. - Amenta, Peters, Russell (2001) (Correct)
No context found.
Scott, D. S., Domains for denotational semantics, in Neilson, M. and Schmidt, E. M., (Eds.), Automata, Languages and Programming: Proceedings 1982.
Denotational Semantics for Asynchronous Concurrent Languages - Nyström (1996) (Correct)
No context found.
Dana S. Scott. Domains for denotational semantics. In ICALP'82, number 140 in Lecture Notes in Computer Science, pages 577--613. Springer-Verlag, 1982.
Partial Order and Contextual Net Semantics for.. - Bueno.. (2000) (4 citations) (Correct)
No context found.
D. S. Scott. Domains for denotational semantics. In Proc. ICALP. SpringerVerlag, 1982.
From Intervals to? Towards a General Description of.. - Kreinovich, Dimuro.. (2004) (Correct)
No context found.
D. S. Scott, "Domains for denotational semantics", In: M. Nielsen and E. M. Schmidt (eds.), Automata, Languages, and Programming, 9th Symposium, Springer Lecture Notes in Computer Science, Springer-Verlag, Berlin, 1982, Vol. 140, pp.577--613.
A Generalized Resolution Theorem - Hitzler (2003) (Correct)
No context found.
Dana S. Scott. Domains for denotational semantics. In Magens Nielsen and Erik M. Schmidt, editors, Automata, Languages and Programming, 9th Colloquium, July 1982.
A Cartesian Closed Category of Approximable Concept Structures - Hitzler, Zhang (2004) (Correct)
No context found.
Scott, D.S.: Domains for denotational semantics. In Nielsen, M., Schmidt, E.M., eds.: Automata, Languages and Programming, 9th Colloquium, July 1982, Aarhus, Denmark, Proceedings. Volume 140 of Lecture Notes in Computer Science. , Springer, Berlin (1982) 577--613.
Continuous DCPOs as complete information systems - Pultr, Tozzi (2002) (Correct)
No context found.
D.S. Scott, Domains for denotational semantics, Springer Lecture Notes in Comp. Sci. 140 (1982), 579-613.
Domain Theory for Concurrency - Nygaard (2003) (1 citation) (Correct)
No context found.
D. S. Scott. Domains for denotational semantics. In Proc. ICALP'82, LNCS 140.
Computer Theorem Proving in Math - Simpson (Correct)
No context found.
D. Scott. Domains for denotational semantics. Automata, languages and programming (Aarhus, 1982), Springer LNCS 140 (1982), 577-613.
Domain Theory - Corrected and expanded version - Abramsky, Jung (Correct)
No context found.
D. S. Scott. Domains for denotational semantics. In M. Nielson and E. M. Schmidt, editors, International Colloquium on Automata, Languages and Programs, volume 140 of Lecture Notes in Computer Science, pages 577-- 613. Springer Verlag, 1982.
A Formal Model for Trust in Dynamic Networks - Marco Carbone Mogens (2003) (12 citations) (Correct)
No context found.
D. S. Scott. Domains for denotational semantics. ICALP '82 - LNCS, 140, 1982.
A Monad For Domains And Other Categories - Ale Pultr And (2002) (Correct)
No context found.
D.S. Scott, Domains for denotational semantics, Springer Lecture Notes in Comp. Sci. 140 (1982), 579-613.
Behavioural Inverse Limit λ-Models - Dezani-Ciancaglini, Ghilezan.. (2003) (Correct)
No context found.
D. S. Scott. Domains for denotational semantics. In M.Nielsen and E.M.Schmidt, editors, Automata, Languages and Programming, volume 140 of Lecture Notes in Computer Science, pages 577--613. Springer-Verlag, Berlin, 1982.
A General View of Approximation - Banaschewski, Pultr (2002) (Correct)
No context found.
D.S. Scott, Domains for denotational semantics, in: M. Nielson and E.M. Schmidt (ed.), Int. Coll. on Automata, Languages, and Programs. Lecture Notes in Comp. Sci. 140 (1982), 577-613.
Semantics-based Program Analysis via Symbolic Composition of.. - Colby (1996) (Correct)
No context found.
Dana S. Scott. Domains for denotational semantics. In Proceedings International Colloquium on Automata, Languages, and Programming '82, 1982. (p 67)
Domain Theory for Concurrency - Glynn (2003) (1 citation) (Correct)
No context found.
D. S. Scott. Domains for denotational semantics. In Proc. ICALP'82, LNCS 140.
From Concurrent Logic Programming to Concurrent Constraint .. - de Boer, Palamidessi (1993) (6 citations) (Correct)
No context found.
Scott, D. (1982). Domains for denotational semantics. In Proc. of ICALP.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC