Ralf Schweimeier  Home/Search
Context Related
| cogs.susx.ac.uk/us...thesispart1.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cogs.susx.ac.uk/users/ra...thesis (more) Homepages: R.Schweimeier |
Rate this article:      (best)Comment on this article |
Abstract: Category theory is a useful tool in the study of programming languages. It allows the classification of models for certain languages, and it provides methods for constructing and analysing such models. Graphical models are a particular class of such models. They provide a formal but intuitive way of presenting and reasoning about programs, which is widely used in practice, although in an informal or semi-formal fashion. In this thesis, we investigate categorical models of programming languages... (Update)
Cited by: More
Explicit Fusions - Wischik, Gardner (2000) (Correct)
Similar documents (at the sentence level):
65.6%: Categorical and Graphical Models of Programming Languages - Schweimeier (2001) (Correct)
Active bibliography (related documents): More All
8.2: Categorical and Graphical Models of Programming Languages - Part .. - Schweimeier (2001) (Correct)
0.6: Presheaf Models Concurrency - Cattani (1999) (Correct)
0.5: Categorical Models for Concurrency: Independence, Fairness and.. - Hildebrandt (2000) (Correct)
Similar documents based on text: More All
0.3: A Neurosymbolic Approach to the Classification of Scarce and.. - Sanchez (1999) (Correct)
0.3: Premonoidal Categories and Notions of Computation - Power, Robinson (1995) (Correct)
0.2: Measures and Applications of Lexical Distributional Similarity - Weeds (2003) (Correct)
BibTeX entry: (Update)
R. Schweimeier. Categorical and Graphical Models of Programming Languages. PhD thesis, University of Sussex, 2001. http://citeseer.ist.psu.edu/article/schweimeier01categorical.html More
@phdthesis{ sch01,
author = {Ralf Schweimeier},
title = {Categorical and Graphical Models of Programming Languages},
school = {University of Sussex},
year = {2001},
type = {{D.Phil. Thesis}},
url = {citeseer.ist.psu.edu/article/schweimeier01categorical.html} }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985 ACM DBLP
1933 Communication and Concurrency (context) - Milner - 1989 ACM
729 The Lambda Calculus: Its Syntax and Semantics (context) - Barendregt - 1984
562 Categories for the Working Mathematician (context) - Lane - 1971
521 Compiling with Continuations (context) - Appel - 1992 ACM
382 Lambda calculi with types - Barendregt - 1992 ACM
369 Information and Computation (context) - Moggi, computation - 1991 DBLP
291 Computational lambda-calculus and monads - Moggi - 1989 ACM DBLP
232 Category Theory for Computing Science (context) - Barr, Wells - 1995
218 The mechanical evaluation of expressions (context) - Landin - 1964
216 Theoretical Computer Science (context) - Milner, synchrony - 1983 ACM
152 Semantics of Programming Languages (context) - Gunter - 1992 ACM
144 Models for concurrency - Winskel, Nielsen - 1995 ACM DBLP
138 Typed closure conversion - Minamide, Morrisett et al. - 1996 ACM DBLP
125 Event structures (context) - Winskel - 1987 ACM DBLP
109 The Implementation of Functional Programming Languages (context) - Jones - 1987
106 The categorical abstract machine (context) - Cousineau, Curien et al. - 1987 ACM DBLP
89 closure-passing style (context) - Appel, Jim - 1989
89 Calculi for interaction - Milner - 1996 DBLP
87 call-by-value and the lambda-calculus (context) - Plotkin - 1975
84 Basic Category Theory for Computer Scientists (context) - Pierce - 1991 ACM
69 Abstract syntax and variable binding (context) - Fiore, Plotkin et al. - 1999 ACM DBLP
69 Information and Computation (context) - Joyal, Nielsen et al. - 1996 DBLP
64 Cambridge University Press (context) - Crole, Types - 1993
61 The fusion calculus: Expressiveness and symmetry in mobile p.. - Parrow, Victor - 1998 DBLP
58 Presheaf models for concurrency - Cattani, Winskel - 1996 ACM DBLP
45 Communicating and Mobile Systems: the Pi-Calculus (context) - Milner - 1999
39 Retracing some paths (context) - Abramsky - 1996
38 Mathematical Structures in Computer Science (context) - Power, Robinson et al. - 1997
38 Categorical Logic and Type Theory (context) - Jacobs - 1999
38 Selective and lightweight closure conversion - Wand, Steckler - 1994 ACM DBLP
38 Traced monoidal categories (context) - Joyal, Street et al. - 1996
34 Lambda lifting: transforming programs to recursive equations - Johnsson - 1985 ACM
31 Journal of Pure and Applied Algebra (context) - Carboni, Walters - 1987
30 Control categories and duality: on the categorical semantics.. - Selinger - 1998 ACM DBLP
29 Proofs and Types (context) - Girard, Lafont et al. - 1989 ACM
29 Coherence for compact closed categories (context) - Kelly, Laplaza - 1980
29 Recursion from cyclic sharing: Traced monoidal categories an.. - Hasegawa - 1997 DBLP
27 A presheaf semantics of value-passing processes - Winskel - 1996 ACM DBLP
25 Handbook of Categorical Algebra (context) - Borceux - 1994
25 Handbook of Categorical Algebra (context) - Borceux - 1994
24 A call-by-need lambda calculus - Maraist, Odersky et al. - 1998 ACM
23 Type systems for closure conversion - Hannan - 1995
23 Theoretical Computer Science (context) - Stoughton - 1988 ACM
22 Weak bisimulation and open maps - Fiore, Cattani et al. - 1999 ACM DBLP
21 A theory of recursive domains with applications to concurren.. - Cattani, Fiore et al. - 1998 ACM DBLP
21 Models of Sharing Graphs: A Categorical Semantics of let and.. (context) - Hasegawa - 1997
19 A typed calculus of synchronous processes - Gay, Nagarajan - 1995 ACM DBLP
18 First-order axioms for asynchrony - Selinger - 1997 ACM DBLP
17 Premonoidal categories as categories with algebraic structur.. (context) - Power ACM DBLP
14 Complete axioms for categorical fixed-point operators - Simpson, Plotkin - 2000 ACM DBLP
13 Allegories of circuits - Brown, Jeffrey - 1994 ACM DBLP
13 Theoretical Computer Science (context) - Gardner, calculi - 1999 ACM
12 Contexts and embeddings for closed shallow action graphs - Cattani, Leifer et al. - 2000
11 On explicit substitutions and names - de Paiva, Ritter - 1997
10 Introduction to bicategories (context) - Bnabou - 1967
10 Explicit fusions - Gardner, Wischik - 2000
9 Direct models for the computational lambda-calculus (context) - Fhrmann - 1999
9 Direct models for the computational lambda-calculus (context) - Fhrmann - 2000
9 Modern Compiler Implementation (context) - Appel - 1998 ACM
7 A type-theoretic approach to deadlock-freedom of asynchronou.. - Abramsky, Gay et al. - 1997 ACM DBLP
7 Continuation semantics and self-adjointness - Thielecke - 1997 DBLP
6 Object closure conversion - Glew - 2000 ACM DBLP
6 Typed closure conversion for recursively-defined functions - Morrisett, Harper - 1998 DBLP
6 A relational model of non-deterministic dataflow - Hildebrandt, Panangaden et al. - 1998 ACM DBLP
5 continuation semantics and indexed categories (context) - Power, Thielecke - 1997
5 Categorical structure of asynchrony (context) - Selinger - 1999 DBLP
5 and Glynn Winskel (context) - Cattani, Stark - 1997
4 Computer Science Technical Report (context) - Reppy, Ph et al. - 1992
3 Technical Report ECS-LFCS (context) - Moggi, monads - 1988
3 Advances in Petri Nets (context) - Reisig, editors - 1987
3 A categorical and graphical treatment of closure conversion - Schweimeier, Jeffrey - 1999 DBLP
3 Closed Freyd- and k-categories - Power, Thielecke - 1999
3 Flow graphs and semantics of programs (context) - Jeffrey - 1998
3 Presented at the Mathfit Instructional Meeting on Recent Adv.. (context) - Gardner, of - 1998
3 A fully-abstract model for the p-calculus (context) - Moggi, Fiore et al. - 1996 ACM
2 Available electronically from http://www (context) - Gardner, Wischik et al. - 1999
2 Available electronically as ftp://ftp (context) - Milner, Reflexive et al. - 1994
2 A calculus of mobile processes I + II (context) - Milner, Parrow et al. - 1992
2 Available electronically as http://klee (context) - Jeffrey, graph - 1997
Documents on the same site (http://www.cogs.susx.ac.uk/users/ralfs/thesis/thesis.html):
Categorical and Graphical Models of Programming Languages - Part .. - Schweimeier (2001) (Correct)
Categorical and Graphical Models of Programming Languages - Schweimeier (2001) (Correct)
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