KarlKlose's library 113 articles Export

	Aspect-Oriented Logic Meta Programming [My Copy] In Meta-Level Architectures and Reflection, Second International Conference, Reflection'99, Vol. 1616 (1999), pp. 250-272. by Kris De Volder edited by Pierre Cointe posted to no-tag by KarlKlose on 2009-02-03 13:01:04 as
	The implementation of procedurally reflective languages [My Copy] In LFP '84: Proceedings of the 1984 ACM Symposium on LISP and functional programming (1984), pp. 331-347. by Jim D. Rivières, Brian C. Smith posted to no-tag by KarlKlose on 2009-02-01 17:11:02 as along with 1 person fgeller
	Relational aspects as tracematches [My Copy] In AOSD '08: Proceedings of the 7th international conference on Aspect-oriented software development (2008), pp. 84-95. by Eric Bodden, Reehan Shaikh, Laurie Hendren posted to no-tag by KarlKlose on 2009-02-01 16:09:53 as
	C++ Template Metaprogramming: Concepts, Tools, and Techniques from Boost and Beyond [My Copy] (20 December 2004) by David Abrahams, Aleksey Gurtovoy posted to no-tag by KarlKlose on 2009-02-01 10:39:48 as along with 2 people jmmcg chandlerc
	Expressive and safe static reflection with MorphJ [My Copy] In PLDI '08: Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation (2008), pp. 79-89. by Shan S. Huang, Yannis Smaragdakis posted to no-tag by KarlKlose on 2008-11-14 17:45:33 as
	From Mathematics to Software Engineering: Introducing Category Theory into the Computer Science Curriculum [My Copy] Computational Science – ICCS 2007 (2007), pp. 469-476. by Yujun Zheng, Haihe Shi, Jinyun Xue posted to category theory by KarlKlose on 2008-10-24 10:41:50 as
	A Fine-Grained Join Point Model for More Reusable Aspects [My Copy] Programming Languages and Systems (2006), pp. 131-147. by Hidehiko Masuhara, Yusuke Endoh, Akinori Yonezawa posted to aop joinpoints point-in-time pointcuts region-in-time by KarlKlose on 2008-10-09 10:48:14 as
	A module system for meta-programming [My Copy] 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 [My Copy] 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 [My Copy] In POPL '97: Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (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 [My Copy] In Proceedings of the eleventh international conference on 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
	A modular module system [My Copy] 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 4 people twleung JeffreyPalmer zednenem Ema
	Modular multiple dispatch with multiple inheritance [My Copy] In SAC '07: Proceedings of the 2007 ACM symposium on Applied computing (2007), pp. 1117-1121. by Eric Allen, J. J. 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 [My Copy] In POPL '96: Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (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 [My Copy] 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
	jMonitor: Java Runtime Event Specification and Monitoring Library [My Copy] Electronic Notes in Theoretical Computer Science In Proceedings of the Fourth Workshop on Runtime Verification (RV 2004), 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 [My Copy] In GPCE '07: Proceedings of the 6th international conference on Generative programming and component engineering (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 [My Copy] (2001) by Roel Wuyts posted to no-tag by KarlKlose on 2007-12-14 10:36:15 as
	Type-Oriented Logic Meta Programming [My Copy] (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 [My Copy] In Proceedings of the 6th European Conference on Object-Oriented Programming (ECOOP), 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 [My Copy] 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 [My Copy] 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 [My Copy] posted to answer-set-programming by KarlKlose on 2007-11-13 13:14:41 as
	Proving Existential Termination of Normal Logic Programs [My Copy] In Algebraic Methodology and Software Technology (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 [My Copy] In Proceedings of the Fifth International Conference on 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 [My Copy] posted to no-tag by KarlKlose on 2007-11-01 15:25:34 as
	Ownership Types for Flexible Alias Protection [My Copy] In Proceedings of the 13th Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA-98), Vol. 33:10 (October 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 [My Copy] 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 [My Copy] In Workshop on Revival of Dynamic Languages (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 [My Copy] In ILC 2007: Proceedings of the International Lisp Conference 2007 (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 [My Copy] In SIGSOFT '04/FSE-12: Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering (2004), pp. 159-169. by Robert J. Walker, Kevin Viggers posted to aop event by KarlKlose on 2007-10-09 23:09:30 as
	Aspect-Oriented Programming [My Copy] In Proceedings European Conference on Object-Oriented Programming, Vol. 1241 (1997), pp. 220-242. by Gregor Kiczales, John Lamping, Anurag Menhdhekar, et al.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 along with 14 people and 1 group buchgeher cameleon911 neilernst Benet mig29x herraiz bfraser nogara yijunyu steamloom sarvela saintedlama ps_ttf jstuart1031 mwlab
	An Overview of AspectJ [My Copy] Proceedings of ECOOP 2001 - Object-Oriented Programming: 15th European Conference, Budapest, Hungary, June 18-22, 2001 In 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 along with 2 people cameleon911 ddahlem
	A Calculus of Untyped Aspect-Oriented Programs [My Copy] 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 along with 1 person khatchad
	Aspect-Oriented Compilers [My Copy] 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 [My Copy] 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 along with 3 people khatchad bfraser steamloom
	Featherweight Java: A Minimal Core Calculus for Java and GJ [My Copy] In Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages & Applications (OOPSLA`99), 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 5 people and 1 group joker13 samth yang sjrogers mcclurmc NU-PRL
	A Theory of Aspects [My Copy] (2003) by D. Walker, S. Zdancewic, J. Ligatti posted to aop aspects semantics by KarlKlose on 2007-09-27 10:15:33 as
	A flexible architecture for pointcut-advice language implementations [My Copy] In VMIL '07: Proceedings of the 1st workshop on Virtual machines and intermediate languages for emerging modularization mechanisms (2007) by Christoph Bockisch, Mira Mezini posted to aop aspects meta-model by KarlKlose on 2007-09-27 09:01:18 as along with 1 person steamloom
	A Classification of Pointcut Language Constructs [My Copy] 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
	On the Expressive Power of Programming Languages [My Copy] In ESOP '90 3rd European Symposium on Programming, Copenhagen, Denmark, 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 21 people and 1 group samth pedagand 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 [My Copy] 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 along with 2 people cameleon911 leonardo
	Towards a linguistic symbiosis of an object-oriented and logic programming language [My Copy] (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 [My Copy] 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 along with 2 people bfraser steamloom
	A Compositional Operational Semantics for Java MT [My Copy] 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 [My Copy] 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 [My Copy] No. DAIMI FN-19. (1981) by G. D. 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 [My Copy] In PPDP '05: Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming (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 [My Copy] In Proceedings of the 14th conference on Computational linguistics (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 [My Copy] In AOSD '03: Proceedings of the 2nd international conference on Aspect-oriented software development (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 4 people and 1 group akuhn duckysherwood tdent jryall-tags CHISEL

Note: You may cite this page as: http://www.citeulike.org/user/KarlKlose

Result page: 1 2 3 Next

aop	19
semantics	16
type-checking	11
modularity	9
java	7
logic	7
modules	7
checking	6
partial	6
program	6
analysis	5
aspects	5
evaluation	5
prolog	5
static	5
abstract	4
interpretation	4
operational	4
bibtex-import	3
bytecode	3
linking	3
modular	3
module	3
programming	3
runtime	3
termination	3
trace	3
types	3
category	2
code	2
collection	2
component	2
event	2
garbage	2
language	2
monitoring	2
pointcuts	2
predicate	2
proof	2
query	2
security	2
separate	2
system	2
theory	2
type	2
verification	2
answer-set-programming	1
aspectj	1
automatic	1
b	1
calculus	1
classes	1
compiler	1
compositional	1
constraint	1
contract	1
crosscutting	1
curry	1
dead	1
depnedencies	1
detection	1
dsl	1
dynamic	1
elimination	1
embedded	1
engines	1
evalauation	1
expressive	1
expressiveness	1
extensible	1
feature	1
feature-model	1
halo	1
handling	1
howard	1
implication	1
interface	1
interpreter	1
interprocedural	1
joinpoints	1
libraries	1
lingustic	1
matching	1
meta	1
meta-model	1
model-checking	1
modeling	1
multi-language	1
object-oriented	1
ownerhip	1
partial-evaluation	1
patterns	1
pi-calculus	1
pointcut	1
point-in-time	1
polyadic	1
reflection	1
region-in-time	1
rules	1
scala	1
shared	1
software-product-lines	1
soundness	1
spl	1
structural	1
structure	1
support	1
survey	1
testing	1
transformation	1
transfromation	1
transofrmation	1
type-inference	1
variability	1
violation	1

KarlKlose's library 113 articles Export

KarlKlose's tags