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

KarlKloses library [108 articles]

Neue Artikel in KarlKloses Bibliothek.
  • A Fine-Grained Join Point Model for More Reusable Aspects
    Programming Languages and Systems (2006), pp. 131-147.
    by Hidehiko Masuhara, Yusuke Endoh, Akinori Yonezawa
    posted to region-in-time pointcuts point-in-time joinpoints aop by KarlKlose on 2008-10-09 10:48:14 as **
  • A module system for meta-programming
    Logic Program Synthesis and Transformation — Meta-Programming in Logic (1994), pp. 395-409.
    by P Hill
    posted to no-tag by KarlKlose on 2008-09-24 16:32:32 as **
  • Expressive and safe static reflection with MorphJ
    SIGPLAN Not., Vol. 43, No. 6. (June 2008), pp. 79-89.
    by Shan S Huang, Yannis Smaragdakis
    posted to program reflection static transofrmation type-checking by KarlKlose on 2008-07-17 14:48:37 as **
  • Types as abstract interpretations
    (1997), pp. 316-331.
    by Patrick Cousot
    posted to abstract interpretation by KarlKlose on 2008-06-26 13:18:06 as **** along with 2 people and 1 group draganigajic pedagand Lambda the Ultimate
  • Modularity in logic programming
    (1994), pp. 15-17.
    by Evelina Lamma, Paola Mello
    posted to logic modularity programming survey by KarlKlose on 2008-06-26 09:46:34 as read
  • A modular module system
    Journal of Functional Programming, Vol. 10, No. 3. (2000), pp. 269-303.
    by Xavier Leroy
    posted to modular module system by KarlKlose on 2008-06-09 14:34:51 as ** along with 5 people twleung JeffreyPalmer zednenem huitseeker Ema
  • Modular multiple dispatch with multiple inheritance
    (2007), pp. 1117-1121.
    by Eric Allen, JJ Hallett, Victor Luchangco, Sukyoung Ryu, Guy L Steele
    posted to module system type by KarlKlose on 2008-05-05 12:45:50 as **
  • Trace-based program analysis
    (1996), pp. 195-207.
    by Christopher Colby, Peter Lee
    posted to analysis static trace by KarlKlose on 2008-02-15 10:30:00 as **
  • ASAX: Software architecture and rule-based language for universal audit trail analysis
    Computer Security — ESORICS 92 (1992), pp. 435-450.
    by Naji Habra, Baudouin Charlier, Abdelaziz Mounji, Isabelle Mathieu
    posted to detection monitoring runtime security violation by KarlKlose on 2008-02-14 16:05:52 as read
  • jMonitor: Java Runtime Event Specification and Monitoring Library
    Electronic Notes in Theoretical Computer Science, Vol. 113 (3 January 2005), pp. 181-200.
    by Murat Karaorman, Jay Freeman
    posted to event monitoring patterns runtime by KarlKlose on 2008-02-12 10:55:39 as ***
  • Safe composition of product lines
    (2007), pp. 95-104.
    by Sahil Thaker, Don Batory, David Kitchin, William Cook
    posted to no-tag by KarlKlose on 2007-12-18 21:29:28 as ** along with 1 person leonardo
  • A Logic Meta Programming Approach to Support the Co-Evolution of Object-Oriented Design and Implementation
    (2001)
    by Roel Wuyts
    posted to no-tag by KarlKlose on 2007-12-14 10:36:15 as **
  • Type-Oriented Logic Meta Programming
    (1998)
    by Kris De Volder
    posted to no-tag by KarlKlose on 2007-12-14 10:34:15 as **
  • Import is not inheritance: Why we need both: modules and classes
    Vol. 615 (1992), pp. 19-32.
    by Clemens A Szyperski
    edited by Ole L Madsen
    posted to classes modules by KarlKlose on 2007-11-30 09:24:07 as **
  • Constructing a (better) theorem-prover in PROLOG
    AI Expert, Vol. 1, No. 2. (October 1986), pp. 17-19.
    by J Amsterdam
    posted to no-tag by KarlKlose on 2007-11-20 14:56:13 as **
  • Meta-circular Abstract Interpretation in Prolog
    The Essence of Computation. Complexity, Analysis, Transformation : Essays Dedicated to Neil D. Jones (2002), pp. 109-134.
    by Michael Codish, Harald Søndergaard
    posted to abstract interpretation interpreter meta prolog by KarlKlose on 2007-11-20 14:35:34 as **
  • Collection on Answer Set Programming and more
    posted to answer-set-programming by KarlKlose on 2007-11-13 13:14:41 as **
  • Proving Existential Termination of Normal Logic Programs
    (1996), pp. 375-390.
    by Massimo Marchiori
    posted to prolog proof termination by KarlKlose on 2007-11-13 10:32:17 as **
  • The Stable Model Semantics for Logic Programming
    (1988), pp. 1070-1080.
    by Michael Gelfond, Vladimir Lifschitz
    edited by Robert A Kowalski, Kenneth Bowen
    posted to logic programming semantics by KarlKlose on 2007-11-09 13:12:26 as *** along with 2 people and 1 group rgrig jaro SRG_at_UCD
  • Automated Reasoning - Tools
    posted to no-tag by KarlKlose on 2007-11-01 15:25:34 as **
  • Ownership Types for Flexible Alias Protection
    Vol. 33:10 (October~JanuaryAugust--FebruaryFebruary 1998), pp. 48-64.
    by David G Clarke, John M Potter, James Noble
    posted to ownerhip type-checking by KarlKlose on 2007-10-25 15:33:50 as *** along with 1 person amorkan
  • Combining Formal Methods and Aspects for Specifying and Enforcing Architectural Invariants
    Coordination Models and Languages (2007), pp. 211-230.
    by Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel
    posted to aop security by KarlKlose on 2007-10-12 14:53:03 as ** along with 1 person bfraser
  • A Temporal Logic Language for Context Awareness in Pointcuts
    (2006)
    by Charlotte Herzeel, Kris Gybels, Pascal Costanza
    posted to aop halo by KarlKlose on 2007-10-10 20:20:35 as *****
  • Modularizing Crosscuts in an E-commerce Application in Lisp using HALO
    (2007)
    by Charlotte Herzeel, Kris Gybels, Pascal Costanza, Theo D'Hondt
    posted to aop by KarlKlose on 2007-10-10 20:16:05 as *****
  • Implementing protocols via declarative event patterns
    (2004), pp. 159-169.
    by Robert J Walker, Kevin Viggers
    posted to aop event by KarlKlose on 2007-10-09 23:09:30 as read
  • Aspect-Oriented Programming
    Vol. 1241 (1997), pp. 220-242.
    by Gregor Kiczales, John Lamping, Anurag Menhdhekar, Chris Maeda, Cristina Lopes, Jean-Marc Loingtier, John Irwin
    edited by Mehmet Ak\csit, Satoshi Matsuoka
    posted to aop aspectj java by KarlKlose on 2007-10-09 10:21:33 as read along with 13 people and 1 group cameleon911 neilernst Benet mig29x herraiz bfraser nogara yijunyu steamloom sarvela saintedlama ps_ttf jstuart1031 mwlab
  • An Overview of AspectJ
    Proceedings of ECOOP 2001 - Object-Oriented Programming: 15th European Conference, Budapest, Hungary, June 18-22, 2001 (June 2001), pp. 327-354.
    by Gregor Kiczales, Erik Hilsdale, Jim Hugunin, Mik Kersten, Jeffrey Palm, William G Griswold
    posted to no-tag by KarlKlose on 2007-10-09 10:14:05 as read along with 2 people cameleon911 ddahlem
  • A Calculus of Untyped Aspect-Oriented Programs
    ECOOP 2003 -- Object-Oriented Programming (2003), pp. 54-73.
    by Radha Jagadeesan, Alan Jeffrey, James Riely
    posted to aop calculus semantics by KarlKlose on 2007-10-01 12:25:42 as read
  • Aspect-Oriented Compilers
    Generative and Component-Based Software Engineering: First International Symposium, GCSE'99, Erfurt, Germany, September 1999. Revised Papers (2000), 121.
    by Oege de Moor, Simon Peyton-Jones, Eric Van Wyk
    posted to aop compiler by KarlKlose on 2007-10-01 10:33:34 as *****
  • A semantics for advice and dynamic join points in aspect-oriented programming
    ACM Trans. Program. Lang. Syst., Vol. 26, No. 5. (September 2004), pp. 890-910.
    by Mitchell Wand, Gregor Kiczales, Christopher Dutchyn
    posted to aop matching pointcut semantics by KarlKlose on 2007-10-01 10:24:34 as read along with 2 people bfraser steamloom
  • Featherweight Java: A Minimal Core Calculus for Java and GJ
    Vol. 34(10) (1999), pp. 132-146.
    by Atshushi Igarashi, Benjamin Pierce, Philip Wadler
    edited by Loren Meissner
    posted to java operational semantics by KarlKlose on 2007-09-30 14:15:01 as ** along with 4 people and 1 group samth yang sjrogers mcclurmc NU-PRL
  • A Theory of Aspects
    (2003)
    by D Walker, S Zdancewic, J Ligatti
    posted to aop aspects semantics by KarlKlose on 2007-09-27 10:15:33 as read
  • A flexible architecture for pointcut-advice language implementations
    (2007)
    by Christoph Bockisch, Mira Mezini
    posted to aop aspects meta-model by KarlKlose on 2007-09-27 09:01:18 as read along with 1 person steamloom
  • A Classification of Pointcut Language Constructs
    SPLAT'05: Workshop on Software-Engineering Properties of Languages and Aspect Technologies (2005)
    by Maximilan Stoerzer, Stefan Hanenberg
    posted to aop aspects by KarlKlose on 2007-09-27 08:56:20 as read
  • On the Expressive Power of Programming Languages
    Vol. 432 (1990), pp. 134-151.
    by Matthias Felleisen
    edited by N Jones
    posted to expressiveness language by KarlKlose on 2007-09-26 13:33:28 as **** along with 19 people and 1 group dherman jacob edcdave kschiess jrw kinaba zednenem water451 ryanc bunge mmuecke calvins pirapira ds mldechert jsiek dfisher fgeller jkominek NU-PRL
  • An Overview of CaesarJ
    Lecture Notes in Computer Science : Transactions on Aspect-Oriented Software Development I (2006), pp. 135-173.
    by Ivica Aracic, Vaidas Gasiunas, Mira Mezini, Klaus Ostermann
    posted to no-tag by KarlKlose on 2007-09-25 17:03:05 as read along with 2 people cameleon911 leonardo
  • Towards a linguistic symbiosis of an object-oriented and logic programming language
    (2002)
    by J Brichau, K Gybels, R Wuyts
    posted to no-tag by KarlKlose on 2007-09-24 13:40:45 as **
  • Expressive Pointcuts for Increased Modularity
    ECOOP 2005 - Object-Oriented Programming (2005), pp. 214-240.
    by Klaus Ostermann, Mira Mezini, Christoph Bockisch
    posted to aop expressive modularity pointcuts by KarlKlose on 2007-09-13 18:06:23 as read along with 2 people bfraser steamloom
  • A Compositional Operational Semantics for Java MT
    Verification: Theory and Practice (2004), pp. 290-303.
    by Erika Ábrahám, Frank S de Boer, Willem-Paul de Roever, Martin Steffen
    posted to java operational semantics by KarlKlose on 2007-08-29 13:16:31 as *** along with 1 person newdawn
  • Theory and Practice of Constraint Handling Rules
    Journal of Logic Programming, Special Issue on Constraint Logic Programming, Vol. 37, No. 1-3. (October 1998), pp. 95-138.
    by Thom Frühwirth
    edited by Marriot
    posted to constraint handling rules by KarlKlose on 2007-08-27 10:30:49 as ****
  • A Structural Approach to Operational Semantics
    No. DAIMI FN-19. (1981)
    by GD Plotkin
    posted to operational semantics structural by KarlKlose on 2007-08-22 13:52:31 as **** along with 1 person marcinzalewski
  • Automatic type inference via partial evaluation
    (2005), pp. 106-116.
    by Aaron Tomb, Cormac Flanagan
    posted to partial-evaluation type-checking type-inference by KarlKlose on 2007-08-21 07:57:03 as *** along with 1 person rsaarelm
  • On compositional semantics
    (1992), pp. 260-266.
    by Wlodek Zadrozny
    posted to compositional lingustic semantics by KarlKlose on 2007-08-20 10:27:54 as **
  • Navigating and querying code without getting lost
    (2003), pp. 178-187.
    by Doug Janzen, Kris De Volder
    posted to code program query static structure by KarlKlose on 2007-08-17 11:28:02 as *** along with 3 people and 1 group duckysherwood tdent jryall-tags CHISEL
  • codeQuest: Scalable Source Code Queries with Datalog
    ECOOP 2006 – Object-Oriented Programming (2006), pp. 2-27.
    by Elnar Hajiyev, Mathieu Verbaere, Oege de Moor
    posted to language program query by KarlKlose on 2007-08-16 11:29:41 as ** along with 1 person jmackay
  • A lightweight LTL runtime verification tool for java
    (2004), pp. 306-307.
    by Erik Bodden
    posted to runtime verification by KarlKlose on 2007-08-16 11:29:04 as ** along with 2 people plaugg bfraser
  • Adding trace matching with free variables to AspectJ
    (2005), pp. 345-364.
    by Chris Allan, Pavel Avgustinov, Aske S Christensen, Laurie Hendren, Sascha Kuzins, Ondrej Lhoták, Oege de Moor, Damien Sereni, Ganesh Sittampalam, Julian Tibble
    posted to aop by KarlKlose on 2007-08-15 12:11:40 as read
  • SCoPE: an AspectJ compiler for supporting user-defined analysis-based pointcuts
    (2007), pp. 161-172.
    by Tomoyuki Aotani, Hidehiko Masuhara
    posted to aspects by KarlKlose on 2007-08-07 08:38:11 as ****
  • Fully abstract semantics of additive aspects by translation
    (2007), pp. 135-148.
    by SB Sanjabi, -H
    posted to aspects semantics by KarlKlose on 2007-08-06 10:03:53 as ****
  • A static aspect language for checking design rules
    (2007), pp. 63-72.
    by Clint Morgan, Kris De Volder, Eric Wohlstadter
    posted to no-tag by KarlKlose on 2007-08-03 13:42:47 as **
    • Bemerkung: Sie können diese Seite wie folgt zitieren: http://www.citeulike.org/user/KarlKlose

    Result page: 1 2 3 Next 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.