Register | Log in | FAQ      [?] 
Recent | Recommended | Search | Authors | Tags | Export

Group: complogic - library [84 articles]

Recent papers posted by members of the complogic group
  • Specification and Verification of a Formal System for Structurally Recursive Functions
    (1999), pp. 1-20.
    by Andreas Abel
    posted to type-theory termination programming-languages by mfrydr to the group complogic on 2008-06-09 18:51:52 as read
  • A Predicative Analysis of Structural Recursion
    (1999)
    by Andreas Abel, Thorsten Altenkrich
    posted to termination programming-languages by mfrydr to the group complogic on 2008-06-09 18:50:07 as read
  • A type-theoretic foundation for programming with higher-order abstract syntax and first-class substitutions
    (2008), pp. 371-382.
    by Brigitte Pientka
    posted to type-theory programming-languages hoas contextual-modality beluga by mfrydr to the group complogic on 2008-06-09 18:48:04 as read
  • A Modal Deconstruction of Access Control Logics
    In proceedings of the 11th International Conference on Foundations of (April 2008)
    by Deepak Garg, Martin Abadi
    posted to access-control authorization modal-logic theory by mfrydr to the group complogic on 2008-04-20 21:12:54 as read
  • A Modal Logic for Role-Based Access Control
    Computer Network Security (2005), pp. 179-193.
    by Thumrongsak Kosiyatrakul, Susan Older, Shiu-Kai Chin
    posted to access-control modal-logic by mfrydr to the group complogic on 2007-12-06 00:21:17 as ** along with 3 people and 1 group weqa charoy security01 ecoo-pe
  • A Fragment of Intuitionistic Dynamic Logic
    Fundam. Inf., Vol. 46, No. 3. (August 2001), pp. 187-197.
    by Sergio A Celani
    posted to dynamic_logic intuitionism modal-logic by mfrydr to the group complogic on 2007-11-16 15:52:12 as **
  • Dynamic Logic
    (1984), pp. 497-604.
    by D Harel
    edited by D Gabbay, F Guenther
    posted to dynamic_logic by mfrydr to the group complogic on 2007-11-16 15:48:50 as **
  • A Natural Deduction Approach to Dynamic Logic
    Lecture Notes in Computer Science, Vol. 1158 (1996), pp. 165-??.
    by F Honsell, M Miculan
    posted to dynamic_logic by mfrydr to the group complogic on 2007-11-16 15:48:13 as **
  • Manifest Security
    (January 2007)
    by Karl Crary, Robert Harper, Frank Pfenning, Benjamin C Pierce, Stephanie Weirich, Stephan Zdancewic
    posted to access-control authorization logic programming-languages by mfrydr to the group complogic on 2007-10-05 16:23:48 as *****
  • Brouwerian Counterexamples
    Mathematics Magazine, Vol. 62, No. 1. (1989), pp. 3-27.
    by Mark Mandelkern
    posted to no-tag by dwehr to the group complogic on 2007-09-08 00:38:08 as **
  • Constructive Mathematics
    Mathematics Magazine, Vol. 58, No. 5. (1985), pp. 272-280.
    by Mark Mandelkern
    posted to no-tag by dwehr to the group complogic on 2007-09-08 00:37:53 as read
  • A Type Discipline for Authorization in Distributed Systems
    (2007), pp. 31-48.
    by Cedric Fournet, Andrew Gordon, Sergio Maffeis
    posted to type-theory authorization by mfrydr to the group complogic on 2007-08-14 18:46:44 as read
  • Do As I SaY! Programmatic Access Control with Explicit Identities
    (2007), pp. 16-30.
    by Andrew Cirillo, Radha Jagadeesan, Corin Pitcher, James Riely
    posted to security programming-languages authorization by mfrydr to the group complogic on 2007-08-14 18:46:17 as read
  • The SLam calculus: programming with secrecy and integrity
    (1998), pp. 365-377.
    by Nevin Heintze, Jon G Riecke
    edited by M Ac
    posted to type-theory security programming-languages by mfrydr to the group complogic on 2007-08-14 18:27:47 as read
  • Run-time Principals in Information-flow Type Systems
    sp, Vol. 00 (2004)
    by Stephen Tse, Steve Zdancewic
    posted to type-theory information-flow by mfrydr to the group complogic on 2007-08-14 18:24:47 as read
  • Non-Interference in Constructive Authorization Logic
    (2006), pp. 283-296.
    by Deepak Garg, Frank Pfenning
    posted to logic authorization by mfrydr to the group complogic on 2007-08-14 18:21:11 as read
  • A Logic of Access Control
    The Computer Journal, Vol. 44, No. 1. (2001), pp. 54-66.
    by Jason Crampton, George Loizou, Greg O'Shea
    posted to modal-logic logic access-control by mfrydr to the group complogic on 2007-08-14 17:58:05 as read
  • A monadic analysis of information flow security with mutable state
    J. Funct. Program., Vol. 15, No. 2. (March 2005), pp. 249-291.
    by Karl Crary, Aleksey Kliger, Frank Pfenning
    posted to security programming-languages information-flow by mfrydr to the group complogic on 2007-08-14 17:52:53 as read
  • Managing Policy Updates in Security-Typed Languages
    (2006), pp. 202-216.
    by Nikhil Swamy, Michael Hicks, Stephen Tse, Steve Zdancewic
    posted to type-theory security information-flow by mfrydr to the group complogic on 2007-08-12 21:35:36 as read
  • A Type Discipline for Authorization Policies
    Programming Languages and Systems (2005), pp. 141-156.
    by Cédric Fournet, Andrew D Gordon, Sergio Maffeis
    posted to type-theory authorization access-control by mfrydr to the group complogic on 2007-08-12 20:44:03 as read
  • Computer Security in the Real World
    Computer, Vol. 37, No. 6. (2004), pp. 37-46.
    by Butler W Lampson
    posted to security by mfrydr to the group complogic on 2007-08-12 19:35:02 as read
  • A calculus for access control in distributed systems
    ACM Trans. Program. Lang. Syst., Vol. 15, No. 4. (1993), pp. 706-734.
    by Mart\ín Abadi, Michael Burrows, Butler Lampson, Gordon Plotkin
    posted to logic classical access-control by mfrydr to the group complogic on 2007-08-12 04:32:30 as read
  • Access control in a core calculus of dependency
    (2006), pp. 263-273.
    by Mart\ín Abadi
    posted to logic access-control by mfrydr to the group complogic on 2007-08-12 03:48:25 as read
  • Stack inspection: Theory and variants
    ACM Trans. Program. Lang. Syst., Vol. 25, No. 3. (2003), pp. 360-399.
    by Cédric Fournet, Andrew D Gordon
    posted to programming-languages operational-semantics application access-control by mfrydr to the group complogic on 2007-08-12 02:55:52 as read
  • A systematic approach to static access control
    ACM Trans. Program. Lang. Syst., Vol. 27, No. 2. (2005), pp. 344-382.
    by Fran\ccois Pottier, Christian Skalka, Scott Smith
    posted to logic application access-control by mfrydr to the group complogic on 2007-08-10 18:46:17 as read
  • Extensible security architectures for Java
    (1997), pp. 116-128.
    by Dan S Wallach, Dirk Balfanz, Drew Dean, Edward W Felten
    posted to security by mfrydr to the group complogic on 2007-08-10 17:20:54 as read
  • Logic in Access Control
    (2003)
    by Mart\ín Abadi
    posted to survey logic access-control by mfrydr to the group complogic on 2007-08-10 03:12:04 as read
  • A General and Flexible Access-Control System for the Web
    (2002), pp. 93-108.
    by Lujo Bauer, Michael A Schneider, Edward W Felten
    posted to logic authorization application by mfrydr to the group complogic on 2007-08-10 00:52:11 as read
  • Access control for the web via proof-carrying authorization
    (2003)
    by Ljudevit Bauer
    posted to logic authorization application by mfrydr to the group complogic on 2007-08-10 00:44:11 as **
  • Proof-carrying code
    (1997), pp. 106-119.
    by George C Necula
    posted to security programming-languages logic authorization by mfrydr to the group complogic on 2007-08-09 23:08:20 as read along with 3 people dsilva emiliorp ariels
  • Understanding Java Stack Inspection
    pp. 52-63.
    by Dan S Wallach, Edward W Felten
    posted to security programming-languages logic java authorization application by mfrydr to the group complogic on 2007-08-01 00:19:09 as read
  • Covariance and contravariance: conflict without a cause
    ACM Trans. Program. Lang. Syst., Vol. 17, No. 3. (May 1995), pp. 431-447.
    by Giuseppe Castagna
    posted to cited_cgl by dwehr to the group complogic on 2007-07-31 04:22:44 as **** along with 2 people sstrickl scis0000001
  • SAFKASI: a security mechanism for language-based systems
    ACM Trans. Softw. Eng. Methodol., Vol. 9, No. 4. (October 2000), pp. 341-378.
    by Dan S Wallach, Andrew W Appel, Edward W Felten
    posted to security programming-languages java authorization by mfrydr to the group complogic on 2007-06-22 02:30:04 as read
  • Just What is it that Makes Martin-Lof's Type Theory so Different, so Appealing?
    (24 May 1999)
    by Neil Leslie
    posted to type-theory tutorial by mfrydr to the group complogic on 2007-06-20 19:10:37 as ***
  • How to make ad-hoc polymorphism less ad hoc
    (1989), pp. 60-76.
    by P Wadler, S Blott
    posted to no-tag by dwehr to the group complogic on 2007-06-19 04:01:50 as ***** along with 7 people and 1 group jpbernardy dherman JacquesC yallop robennals ben_moseley RalfMitschke NU-PRL
  • Types, type checking and polymorphism
    posted to no-tag by dwehr to the group complogic on 2007-06-19 03:06:30 as *****
  • Logical Frameworks - A Brief Introduction
    (2002)
    by Frank Pfenning
    posted to type-theory logical-frameworks by mfrydr to the group complogic on 2007-06-12 18:57:14 as **
  • Higher-order unification and matching
    (2001), pp. 1009-1062.
    by Gilles Dowek
    posted to no-tag by dwehr to the group complogic on 2007-06-06 20:58:06 as **
  • A Logic of Subtyping
    (1995)
    by Longo, Milsted, Soloviev
    posted to no-tag by dwehr to the group complogic on 2007-06-06 06:59:54 as ***
  • Coherence and transitivity of subtyping as entailment
    Journal of Logic and Computation, Vol. 10, No. 4. (2000), pp. 493-526.
    by Giuseppe Longo, Kathleen Milsted, Sergei Soloviev
    posted to no-tag by dwehr to the group complogic on 2007-06-06 06:59:38 as ***
  • Pure Type Systems with Subtyping
    (1999), pp. 381-396.
    by Jan Zwanenburg
    posted to no-tag by dwehr to the group complogic on 2007-06-06 06:32:10 as ***
  • Subtyping parametric and dependent types
    (1996)
    by Gang Chen, Giuseppe Longo
    edited by Kamareddine
    posted to survey subtyping dependent-types by dwehr to the group complogic on 2007-06-06 06:28:52 as ****
  • Subtyping and parametricity
    Logic in Computer Science, 1994. LICS '94. Proceedings., Symposium on (1994), pp. 310-319.
    by G Plotkin, M Abadi, L Cardelli
    posted to subtyping parametric-polymorphism by dwehr to the group complogic on 2007-06-06 03:14:57 as **
  • Type inference in the presence of overloading, subtyping and recursive types
    (1992), pp. 193-204.
    by Stefan Kaes
    posted to subtyping overloading by dwehr to the group complogic on 2007-06-06 03:08:18 as **
  • Principal type schemes for functional programs with overloading and subtyping
    (1994), pp. 197-226.
    by Geoffrey S Smith
    posted to subtyping overloading by dwehr to the group complogic on 2007-06-06 03:03:11 as **
  • A calculus for overloaded functions with subtyping
    (1992), pp. 182-192.
    by Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo
    posted to subtyping overloading by dwehr to the group complogic on 2007-06-06 02:58:20 as **
  • A type system for certified binaries
    ACM Trans. Program. Lang. Syst., Vol. 27, No. 1. (January 2005), pp. 1-45.
    by Zhong Shao, Valery Trifonov, Bratin Saha, Nikolaos Papaspyrou
    posted to no-tag by dhag to the group complogic on 2007-05-30 22:06:29 as read
  • Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire
    Vol. 523 (1991), pp. 124-144.
    by Erik Meijer, Maarten Fokkinga, Ross Paterson
    edited by J Hughes
    posted to no-tag by dhag to the group complogic on 2007-05-30 22:03:36 as ** along with 25 people and 3 groups pedagand dvgb rgrig jrw tautologico MattOConnor rahul ergodique kavabean damaru pintman croys roi msakai lomeo scis0000001 brothers calvins armintroy Porges conal cdiggins mmarcus jimburton namin SRL SRG_at_UCD Lambda the Ultimate
  • Template meta-programming for Haskell
    SIGPLAN Not., Vol. 37, No. 12. (December 2002), pp. 60-75.
    by Tim Sheard, Simon P Jones
    posted to no-tag by dhag to the group complogic on 2007-05-30 22:00:34 as read along with 9 people and 1 group jpbernardy samth marcin msakai kozima spl keigoi TTSY mcclurmc NU-PRL
  • Hintikka Multiplicities in Matrix Decision Methods for Some Propositional Modal Logics
    (1997), pp. 138-152.
    by Serenella Cerrito, Marta C Mayer
    posted to multiplicities matrix contraction connection by sheila1 to the group complogic on 2007-05-29 11:33:34 as *** along with 1 person bobsilk
    • Note: You may cite this page as: http://www.citeulike.org/group/2532

    Result page: 1 2 Next RIS BibTeX RSS
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.