registrieren | anmelden | FAQ      [?] 
Recent | Recommended | Search | Authors | Tags | Export

Group: SRG_at_UCD - with tag no-tag [39 articles]

Neue Artikel von Mitliedern der Gruppe SRG_at_UCD Gruppe with tag no-tag
  • A survey of software infrastructures and frameworks for ubiquitous computing
    Mob. Inf. Syst., Vol. 1, No. 1. (January 2005), pp. 41-80.
    by Christoph Endres, Andreas Butz, Asa Macwilliams
    posted to no-tag by neelysj to the group SRG_at_UCD on 2007-10-04 17:00:46 as read along with 2 people schocol jago
  • From process logic to program logic
    Vol. 39, No. 9. (September 2004), pp. 163-174.
    by Kohei Honda
    posted to no-tag by kiniry to the group SRG_at_UCD on 2005-11-06 11:58:05 as ** along with 1 person keigoi
  • A practical type system and language for reference immutability
    Vol. 39, No. 10. (October 2004), pp. 35-49.
    by Adrian Birka, Michael D Ernst
    posted to no-tag by kiniry to the group SRG_at_UCD on 2005-11-06 11:57:51 as read along with 2 people plaugg schuh
  • Data groups: specifying the modification of extended state
    Vol. 33, No. 10. (October 1998), pp. 144-153.
    by Rustan
    posted to no-tag by kiniry to the group SRG_at_UCD on 2005-11-06 11:57:34 as read along with 1 person bec
  • Safely creating correct subclasses without seeing superclass code
    Vol. 35, No. 10. (October 2000), pp. 208-228.
    by Clyde Ruby, Gary T Leavens
    posted to no-tag by kiniry to the group SRG_at_UCD on 2005-11-06 11:57:19 as ** along with 1 person and 1 group samth NU-PRL
  • Avoiding exponential explosion: generating compact verification conditions
    Vol. 36, No. 3. (March 2001), pp. 193-205.
    by Cormac Flanagan, James B Saxe
    posted to no-tag by kiniry to the group SRG_at_UCD on 2005-11-06 11:57:12 as **
  • Representation independence, confinement and access control [extended abstract]
    Vol. 37, No. 1. (January 2002), pp. 166-177.
    by Anindya Banerjee, David A Naumann
    posted to no-tag by kiniry to the group SRG_at_UCD on 2005-11-06 11:57:02 as **
  • Extended static checking for Java
    Vol. 37, No. 5. (May 2002), pp. 234-245.
    by Cormac Flanagan, Rustan, Mark Lillibridge, Greg Nelson, James B Saxe, Raymie Stata
    posted to no-tag by kiniry to the group SRG_at_UCD on 2005-11-06 11:56:48 as read along with 2 people schuh zuleger
  • Ownership types for safe programming: preventing data races and deadlocks
    Vol. 37, No. 11. (November 2002), pp. 211-230.
    by Chandrasekhar Boyapati, Robert Lee, Martin Rinard
    posted to no-tag by kiniry to the group SRG_at_UCD on 2005-11-06 11:56:30 as ** along with 4 people plaugg amorkan nikomatsakis schuh
  • Ownership, encapsulation and the disjointness of type and effect
    Vol. 37, No. 11. (November 2002), pp. 292-310.
    by Dave Clarke, Sophia Drossopoulou
    posted to no-tag by kiniry to the group SRG_at_UCD on 2005-11-06 11:56:19 as ****
  • Ownership types for object encapsulation
    Vol. 38, No. 1. (January 2003), pp. 213-223.
    by Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira
    posted to no-tag by kiniry to the group SRG_at_UCD on 2005-11-06 11:55:34 as ** along with 4 people and 2 groups samth dsilva jipibanf schuh NU-PRL onekin
  • Ownership types for safe region-based memory management in real-time Java
    Vol. 38, No. 5. (May 2003), pp. 324-337.
    by Chandrasekhar Boyapati, Alexandru Salcianu, William Beebee, Martin Rinard
    posted to no-tag by kiniry to the group SRG_at_UCD on 2005-11-06 11:55:21 as ** along with 2 people and 1 group pnkfelix salagnac Verimag
  • Formalization of generics for the .NET common language runtime
    Vol. 39, No. 1. (January 2004), pp. 39-51.
    by Dachuan Yu, Andrew Kennedy, Don Syme
    posted to no-tag by kiniry to the group SRG_at_UCD on 2005-11-06 11:55:09 as ***
  • Data abstraction and information hiding
    ACM Trans. Program. Lang. Syst., Vol. 24, No. 5. (September 2002), pp. 491-553.
    by Rustan, Greg Nelson
    posted to no-tag by kiniry to the group SRG_at_UCD on 2005-11-06 11:54:50 as read along with 1 person hamish
  • Using data groups to specify and check side effects
    Vol. 37, No. 5. (May 2002), pp. 246-257.
    by Rustan, Arnd Poetzsch-Heffter, Yunhong Zhou
    posted to no-tag by kiniry to the group SRG_at_UCD on 2005-11-06 11:54:35 as read along with 1 person amorkan
  • Alias annotations for program understanding
    Vol. 37, No. 11. (November 2002), pp. 311-330.
    by Jonathan Aldrich, Valentin Kostadinov, Craig Chambers
    posted to no-tag by kiniry to the group SRG_at_UCD on 2005-11-06 11:54:18 as read along with 1 person nikomatsakis
  • SC(R)<sup>3</sup>: towards usability of formal methods
    (1998)
    by Marsha Chechik
    posted to no-tag by kiniry to the group SRG_at_UCD on 2005-11-06 11:52:14 as **
  • &chi;Chek: a model checker for multi-valued reasoning
    (2003), pp. 804-805.
    by Steve Easterbrook, Marsha Chechik, Benet Devereux, Arie Gurfinkel, Albert Lai, Victor Petrovykh, Anya Tafliovich, Christopher Thompson-Walsh
    posted to no-tag by kiniry to the group SRG_at_UCD on 2005-11-06 11:51:58 as **
  • Automatic verification of requirements implementation
    (1994), pp. 1-14.
    by Marsha Chechik, John Gannon
    posted to no-tag by kiniry to the group SRG_at_UCD on 2005-11-06 11:51:40 as **
  • Model checking for multi-valued computation tree logics
    (2003), pp. 193-210.
    by Beata Konikowska, Wojciech Penczek
    posted to no-tag by kiniry to the group SRG_at_UCD on 2005-11-06 11:50:43 as **
  • Multi-valued logics
    (1987), pp. 251-256.
    by ML Ginsberg
    posted to no-tag by kiniry to the group SRG_at_UCD on 2005-11-06 11:50:27 as **
  • A framework for multi-valued reasoning over inconsistent viewpoints
    (2001), pp. 411-420.
    by Steve Easterbrook, Marsha Chechik
    posted to no-tag by kiniry to the group SRG_at_UCD on 2005-11-06 11:50:10 as **
  • CTL Model-Checking over Logics with Non-Classical Negations
    (2003)
    by Marsha Chechik, Wendy Maccaull
    posted to no-tag by kiniry to the group SRG_at_UCD on 2005-11-06 11:49:57 as **
  • chi-Chek: A Multi-valued Model-Checker
    (2002), pp. 505-509.
    by Marsha Chechik, Arie Gurfinkel, Benet Devereux
    posted to no-tag by kiniry to the group SRG_at_UCD on 2005-11-06 11:49:42 as **
  • Implementing a Multi-valued Symbolic Model Checker
    (2001), pp. 404-419.
    by Marsha Chechik, Benet Devereux, Steve Easterbrook
    posted to no-tag by kiniry to the group SRG_at_UCD on 2005-11-06 11:49:30 as **
  • Polymorphism, objects and abstract types
    SIGACT News, Vol. 29, No. 4. (December 1998), pp. 39-50.
    by Peter W O'Hearn
    posted to no-tag by kiniry to the group SRG_at_UCD on 2005-11-06 11:42:47 as **
  • From Algol to polymorphic linear lambda-calculus
    J. ACM, Vol. 47, No. 1. (January 2000), pp. 167-223.
    by Peter W O'Hearn, John C Reynolds
    posted to no-tag by kiniry to the group SRG_at_UCD on 2005-11-06 11:42:37 as **
  • Semantic analysis of pointer aliasing, allocation and disposal in Hoare logic
    (2000), pp. 190-201.
    by Cristiano Calcagno, Samin Ishtiaq, Peter W O'Hearn
    posted to no-tag by kiniry to the group SRG_at_UCD on 2005-11-06 11:42:24 as ***
  • BI as an assertion language for mutable data structures
    Vol. 36, No. 3. (March 2001), pp. 14-26.
    by Samin S Ishtiaq, Peter W O'Hearn
    posted to no-tag by kiniry to the group SRG_at_UCD on 2005-11-06 11:42:09 as ** along with 1 person bec
  • Permission accounting in separation logic
    Vol. 40, No. 1. (January 2005), pp. 259-270.
    by Richard Bornat, Cristiano Calcagno, Peter O'Hearn, Matthew Parkinson
    posted to no-tag by kiniry to the group SRG_at_UCD on 2005-11-06 11:41:50 as *** along with 2 people hyas ctr
  • Using functor categories to generate intermediate code
    (1995), pp. 25-36.
    by John C Reynolds
    posted to no-tag by kiniry to the group SRG_at_UCD on 2005-11-06 11:40:26 as **
  • Beyond ML
    SIGPLAN Not., Vol. 32, No. 1. (January 1997), pp. 103-105.
    by John C Reynolds
    posted to no-tag by kiniry to the group SRG_at_UCD on 2005-11-06 11:40:12 as **
  • The design, definition and implementation of programming languages
    SIGSOFT Softw. Eng. Notes, Vol. 25, No. 1. (January 2000)
    by John C Reynolds
    posted to no-tag by kiniry to the group SRG_at_UCD on 2005-11-06 11:40:00 as ***
  • G/EDANKEN&mdash;a simple typeless language based on the principle of completeness and the reference concept
    Commun. ACM, Vol. 13, No. 5. (May 1970), pp. 308-319.
    by John C Reynolds
    posted to no-tag by kiniry to the group SRG_at_UCD on 2005-11-06 11:39:42 as **
  • Syntactic control of interference
    (1978), pp. 39-46.
    by John C Reynolds
    posted to no-tag by kiniry to the group SRG_at_UCD on 2005-11-06 11:39:10 as **
  • Reasoning about arrays
    SIGPLAN Not., Vol. 15, No. 1. (January 1980), pp. 23-23.
    by John C Reynolds
    posted to no-tag by kiniry to the group SRG_at_UCD on 2005-11-06 11:38:54 as **
  • Local reasoning about a copying garbage collector
    Vol. 39, No. 1. (January 2004), pp. 220-231.
    by Lars Birkedal, Noah Torp-Smith, John C Reynolds
    posted to no-tag by kiniry to the group SRG_at_UCD on 2005-11-06 11:38:39 as *** along with 1 person tautologico
  • Separation and information hiding
    Vol. 39, No. 1. (January 2004), pp. 268-280.
    by Peter W O'Hearn, Hongseok Yang, John C Reynolds
    posted to no-tag by kiniry to the group SRG_at_UCD on 2005-11-06 11:38:23 as **** along with 2 people ctr _Anne_
  • Total Functional Programming
    Journal of Universal Computer Science, Vol. 10, No. 7.
    by DA Turner
    posted to no-tag by greenrd to the group SRG_at_UCD on 2005-10-18 22:27:27 as read
    • Bemerkung: Sie können diese Seite wie folgt zitieren: http://www.citeulike.org/group/504/tag/no-tag

    RIS BibTeX
    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.