tuncay's library 90 articles Export

	Modular and Constraint-Based Information Flow Inference for an Object-Oriented Language [My Copy] Static Analysis (2004), pp. 84-99. by Qi Sun, Anindya Banerjee, David A. Naumann posted to information-flow by tuncay on 2008-06-23 09:44:10 as
	Undecidable boundedness problems for datalog programs [My Copy] The Journal of Logic Programming (November 1995), pp. 163-190. by G. G. Hillebrand, P. C. Kanellakis, H. G. Mairson, M. Y. Vardi posted to datalog decidability by tuncay on 2008-06-23 09:38:39 as
	Heuristic and randomized optimization for the join ordering problem [My Copy] The VLDB Journal, Vol. 6, No. 3. (August 1997), pp. 191-208. by Michael Steinbrunn, Guido Moerkotte, Alfons Kemper posted to heuristic-algorithms join-order-optimization randomization by tuncay on 2008-06-23 09:36:02 as along with 1 person trothamel
	Knowledge Representation, Reasoning and Declarative Problem Solving [My Copy] (24 February 2003) by Chitta Baral posted to knowledge-representation logic-programming by tuncay on 2008-05-21 03:34:59 as along with 3 people baisemain luka1 slavkovik
	Constraint-Based Modular Secure Information Flow Inference for Object-Oriented Programs [My Copy] by Qi Sun posted to information-flow java object-oriented-programming by tuncay on 2008-02-16 04:41:13 as
	Cassandra: flexible trust management, applied to electronic health records [My Copy] Computer Security Foundations Workshop, 2004. Proceedings. 17th IEEE In Computer Security Foundations Workshop, 2004. Proceedings. 17th IEEE (2004), pp. 139-154. by M. Y. Becker, P. Sewell posted to datalog-c electronic-health-records trust-management by tuncay on 2008-02-06 22:26:29 as
	Incrementalization across object abstraction [My Copy] In OOPSLA '05: Proceedings of the 20th annual ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications (2005), pp. 473-486. by Yanhong A. Liu, Scott D. Stoller, Michael Gorbovitski, Tom Rothamel, Yanni E. Liu posted to incrementalization object-oriented-programming by tuncay on 2008-02-06 22:25:05 as along with 1 person bunge
	Unequal loss protection: graceful degradation of image quality over packet erasure channels through forward error correction [My Copy] Selected Areas in Communications, IEEE Journal on In Selected Areas in Communications, IEEE Journal on, Vol. 18, No. 6. (2000), pp. 819-828. by A. E. Mohr, E. A. Riskin, R. E. Ladner posted to forward-error-correction lossy-image-transmission reed-solomon by tuncay on 2008-02-06 22:23:34 as along with 2 people dboufx6 qianqing
	Can OWL and Logic Programming Live Together Happily Ever After? [My Copy] The Semantic Web - ISWC 2006 (2006), pp. 501-514. by Boris Motik, Ian Horrocks, Riccardo Rosati, Ulrike Sattler posted to logic-programming owl semantic-web by tuncay on 2008-02-06 22:19:26 as along with 1 person franzkurfess
	An Extensible SAT-solver [My Copy] Theory and Applications of Satisfiability Testing (2004), pp. 333-336. by Niklas Eén, Niklas Sörensson posted to sat-solvers by tuncay on 2008-02-06 21:54:28 as along with 5 people chsticksel bfraser mccrimson voronov krauss
	Bounded model checking [My Copy] Advances in Computers, Vol. 58 (2003), pp. 118-149. by Armin Biere, Alessandro Cimatti, Edmund M. Clarke, Ofer Strichman, Yunshan Zhu posted to bounded-model-checking model-checking sat-based-algorithms by tuncay on 2008-02-06 21:52:59 as
	An Analysis of SAT-Based Model Checking Techniques in an Industrial Environment [My Copy] Correct Hardware Design and Verification Methods (2005), pp. 254-268. by Nina Amla, Xiaoqun Du, Andreas Kuehlmann, Robert P. Kurshan, Kenneth L. Mcmillan posted to binary-decision-diagrams bounded-model-checking model-checking sat-based-algorithms by tuncay on 2008-02-06 21:34:46 as
	Execution Generated Test Cases: How to Make Systems Code Crash Itself [My Copy] Model Checking Software (2005), pp. 2-23. by Cristian Cadar, Dawson Engler posted to testing by tuncay on 2008-02-06 21:32:50 as
	Monte Carlo Model Checking [My Copy] Tools and Algorithms for the Construction and Analysis of Systems (2005), pp. 271-286. by Radu Grosu, Scott A. Smolka posted to model-checking randomization by tuncay on 2008-02-06 21:31:22 as along with 1 person streetlightios
	CMC: a pragmatic approach to model checking real code [My Copy] SIGOPS Oper. Syst. Rev., Vol. 36, No. SI. (2002), pp. 75-88. by Madanlal Musuvathi, David Y. W. Park, Andy Chou, Dawson R. Engler, David L. Dill posted to model-checking testing by tuncay on 2008-02-06 21:30:24 as along with 4 people cscw01 srccheck epaulson neilc
	DART: directed automated random testing [My Copy] SIGPLAN Not., Vol. 40, No. 6. (June 2005), pp. 213-223. by Patrice Godefroid, Nils Klarlund, Koushik Sen posted to randomization testing verification by tuncay on 2008-02-06 21:27:58 as along with 1 person alexloh80
	Approximation Algorithms for Some Routing Problems [My Copy] SIAM Journal on Computing, Vol. 7, No. 2. (1978), pp. 178-193. by Greg N. Frederickson, Matthew S. Hecht, Chul E. Kim posted to approximation-algorithms chinese-postman np-hard-problems stacker-crane travelling-salesman by tuncay on 2008-02-06 21:24:19 as along with 1 person jdleesmiller
	A 3-approximation for the minimum tree spanning k vertices [My Copy] In FOCS '96: Proceedings of the 37th Annual Symposium on Foundations of Computer Science (1996) by N. Garg posted to algorithms approximation-algorithms minimum-spanning-tree np-hard-problems by tuncay on 2008-02-06 21:22:42 as
	Size-Estimation Framework with Applications to Transitive Closure and Reachability [My Copy] Journal of Computer and System Sciences, Vol. 55, No. 3. (December 1997), pp. 441-453. by Edith Cohen posted to algorithms monte-carlo randomized-algorithms transitive-closure by tuncay on 2007-11-27 19:31:32 as
	Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling [My Copy] In CAV '02: Proceedings of the 14th International Conference on Computer Aided Verification (2002), pp. 223-235. by H\aakan L. S. Younes, Reid G. Simmons posted to discrete-event-systems probabilistic-methods verification by tuncay on 2007-11-27 19:29:48 as along with 1 person dwei98
	Bounded Model Checking for Timed Automata [My Copy] Electr. Notes Theor. Comput. Sci., Vol. 68, No. 5. (2002) by Maria Sorea posted to model-checking timed-automata by tuncay on 2007-11-27 19:26:13 as
	On the Complexity Analysis of Static Analyses [My Copy] In SAS '99: Proceedings of the 6th International Symposium on Static Analysis (1999), pp. 312-329. by David A. Mcallester posted to bottom-up datalog logic-programming static-analysis time-complexity by tuncay on 2007-10-23 23:52:52 as
	Running programs backwards: The logical inversion of imperative computation [My Copy] Formal Aspects of Computing, Vol. 9, No. 3. (1 May 1997), pp. 331-348. by Brian J. Ross posted to logic-programming reverse-computation by tuncay on 2007-10-23 23:49:42 as
	On Transformations into Linear Database Logic Programs [My Copy] In Proceedings of the Second International Andrei Ershov Memorial Conference on Perspectives of System Informatics (1996), pp. 433-444. by Foto N. Afrati, Manolis Gergatsoulis, Maria Katzouraki posted to datalog linearization by tuncay on 2007-10-23 23:46:47 as
	The Branching-Time Transformation Technique for Chain Datalog Programs [My Copy] Journal of Intelligent Information Systems, Vol. 17, No. 1. (1 November 2001), pp. 71-94. by Panos Rondogiannis, Manolis Gergatsoulis posted to datalog extended-datalog program-transformation by tuncay on 2007-10-23 23:44:42 as
	Continuations of logic programs [My Copy] In Proceedings of the Conference on Algebraic Logic and Universal Algebra in Computer Science (1990), pp. 27-36. by Peter H. Gumm posted to continuations logic-programming by tuncay on 2007-10-23 23:41:48 as
	Grammars and Automata to Optimize Chain Logic Queries [My Copy] Int. J. Found. Comput. Sci, Vol. 10, No. 3. (1999) by Sergio Greco, Domenico Saccà, Carlo Zaniolo posted to automata datalog extended-datalog grammars linearization by tuncay on 2007-10-23 23:37:49 as
	Bottom-up beats top-down for datalog [My Copy] In PODS '89: Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems (1989), pp. 140-149. by J. D. Ullman posted to bottom-up datalog magic-sets by tuncay on 2007-10-23 23:23:34 as
	Parsing as deduction [My Copy] In Proceedings of the 21st annual meeting on Association for Computational Linguistics (1983), pp. 137-144. by Fernando C. N. Pereira, David H. D. Warren posted to parsing resolution by tuncay on 2007-10-23 23:21:26 as
	Predicate Logic as Programming Language [My Copy] In IFIP Congress (1974), pp. 569-574. by Robert Kowalski posted to logic-programming by tuncay on 2007-10-23 23:11:24 as
	Reducing nondeterminism while specializing logic programs [My Copy] In POPL '97: Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1997), pp. 414-427. by Alberto Pettorossi, Maurizio Proietti, Sophie Renault posted to logic-programming partial-evaluation by tuncay on 2007-10-23 22:42:55 as
	Algorithm = logic + control [My Copy] Commun. ACM, Vol. 22, No. 7. (July 1979), pp. 424-436. by Robert Kowalski posted to logic-programming by tuncay on 2007-10-23 22:41:16 as along with 2 people contingencyplan robertjohnsimmons
	The Semantics of Predicate Logic as a Programming Language [My Copy] J. ACM, Vol. 23, No. 4. (October 1976), pp. 733-742. by M. H. Van Emden, R. A. Kowalski posted to logic-programming resolution by tuncay on 2007-10-23 22:40:27 as along with 2 people and 1 group robertjohnsimmons KarlKlose ConcertRG
	Magic sets and stratified databases [My Copy] International Journal of Intelligent Systems, Vol. 12, No. 3. (1997), pp. 203-231. by Yangjun Chen posted to magic-sets negation by tuncay on 2007-10-23 22:36:09 as
	Distributed proving in access-control systems [My Copy] IEEE Symposium on Security and Privacy In IEEE Symposium on Security and Privacy (2005), pp. 81-95. by L. Bauer, S. Garriss, M. K. Reiter posted to access-control distributed-algorithms by tuncay on 2007-10-23 02:33:59 as
	abc: an extensible AspectJ compiler [My Copy] In AOSD '05: Proceedings of the 4th international conference on Aspect-oriented software development (2005), pp. 87-98. by Pavel Avgustinov, Aske S. Christensen, Laurie Hendren, et al.Sascha Kuzins, Jennifer Lhot&\#225;k, Ond&\#345;ej Lhot&\#225;k, Oege de Moor, Damien Sereni, Ganesh Sittampalam, Julian Tibble posted to aspectj aspect-oriented-programming compilers by tuncay on 2007-10-23 02:32:33 as along with 1 person mbravenboer
	DITTO: automatic incrementalization of data structure invariant checks (in Java) [My Copy] In PLDI '07: Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation (2007), pp. 310-319. by Ajeet Shankar, Rastislav Bod\ik posted to implementation incrementalization java program-invariants by tuncay on 2007-10-23 02:30:28 as
	The Daikon system for dynamic detection of likely invariants [My Copy] Science of Computer Programming (2007) by Michael D. Ernst, Jeff H. Perkins, Philip J. Guo, et al.Stephen Mccamant, Carlos Pacheco, Matthew S. Tschantz, Chen Xiao posted to dynamic-analysis implementation program-invariants by tuncay on 2007-10-23 02:27:01 as
	Incremental computation of complex object queries [My Copy] In OOPSLA '01: Proceedings of the 16th ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications (2001), pp. 156-165. by Hiroaki Nakamura posted to incrementalization object-databases object-query-languages by tuncay on 2007-10-23 02:15:12 as
	Incremental maintenance of materialized OQL views [My Copy] In DOLAP '00: Proceedings of the 3rd ACM international workshop on Data warehousing and OLAP (2000), pp. 41-48. by Akhtar M. Ali, Alvaro A. A. Fernandes, Norman W. Paton posted to incrementalization materialized-views object-query-languages oql by tuncay on 2007-10-23 01:43:00 as
	Incremental Updates for Materialized OQL Views [My Copy] In DOOD '97: Proceedings of the 5th International Conference on Deductive and Object-Oriented Databases (1997), pp. 52-66. by Dieter Gluche, Torsten Grust, Christof Mainberger, Marc H. Scholl posted to incrementalization materialized-views object-databases object-query-languages oql by tuncay on 2007-10-23 01:35:16 as
	On the optimal nesting order for computing N-relational joins [My Copy] ACM Trans. Database Syst., Vol. 9, No. 3. (September 1984), pp. 482-502. by Toshihide Ibaraki, Tiko Kameda posted to join-order-optimization heuristic-algorithms np-complete-problems relational-databases time-complexity by tuncay on 2007-10-23 01:21:34 as along with 2 people jsenn trothamel
	Automatic Inference of Class Invariants [My Copy] Verification, Model Checking, and Abstract Interpretation (2004), pp. 211-222. by Francesco Logozzo posted to java program-invariants by tuncay on 2007-10-23 01:12:48 as
	SLDMagic - The Real Magic: (With Applications to Web Queries) [My Copy] Computational Logic - CL 2000: First International Conference, London, UK, July 2000. Proceedings (2000), 1063. by Stefan Brass posted to extended-datalog magic-sets resolution by tuncay on 2007-10-23 00:48:53 as
	Logic program specialisation through partial deduction: Control issues [My Copy] Theory Pract. Log. Program., Vol. 2, No. 4. (July 2002), pp. 461-515. by Michael Leuschel, Maurice Bruynooghe posted to logic-programming partial-evaluation by tuncay on 2007-10-23 00:40:53 as
	Bottom-up Partial Deduction of Logic Programs [My Copy] Journal of Functional and Logic Programming, Vol. 1999, No. Special Issue 2. (1999) by Wim Vanhoof, Danny De Schreye, Bern Martens posted to bottom-up logic-programming partial-evaluation by tuncay on 2007-10-23 00:33:39 as
	Efficient and Flexible Access Control via Jones-Optimal Logic Program Specialisation [My Copy] Higher-Order and Symbolic Computation (2007) by Steve Barker, Michael Leuschel, Mauricio Varea posted to access-control partial-evaluation by tuncay on 2007-10-22 23:32:14 as
	Partial evaluation in logic programming [My Copy] J. Log. Program., Vol. 11, No. 3-4. (1991), pp. 217-242. by J. W. Lloyd, J. C. Shepherdson posted to logic-programming partial-evaluation by tuncay on 2007-10-22 23:24:07 as
	Magic templates: a spellbinding approach to logic programs [My Copy] J. Log. Program., Vol. 11, No. 3-4. (1991), pp. 189-216. by Raghu Ramakrishnan posted to logic-programming magic-sets by tuncay on 2007-10-22 23:21:15 as
	Proof-tree transformation theorems and their applications [My Copy] In PODS '89: Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems (1989), pp. 172-181. by R. Ramakrishnan, Y. Sagiv, J. D. Ullman, Vardi posted to linearization logic-programming program-transformation by tuncay on 2007-10-22 23:18:50 as

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

Result page: 1 2 Next

logic-programming	25
datalog	22
magic-sets	9
partial-evaluation	9
bottom-up	8
resolution	6
extended-datalog	5
incrementalization	5
linearization	5
model-checking	5
time-complexity	5
filtering	4
implementation	4
program-invariants	4
algorithms	3
decidability	3
graph-query	3
java	3
linear-datalog	3
negation	3
object-query-languages	3
randomization	3
tabling	3
testing	3
top-down	3
abstract-interpretation	2
access-control	2
approximation-algorithms	2
bounded-model-checking	2
heuristic-algorithms	2
information-flow	2
join-order-optimization	2
logic	2
materialized-views	2
np-hard-problems	2
object-databases	2
object-oriented-programming	2
oql	2
program-analysis	2
program-transformation	2
rules	2
sat-based-algorithms	2
semantic-web	2
static-filtering	2
transitive-closure	2
unfolding	2
verification	2
aspectj	1
aspect-oriented-programming	1
automata	1
binary-decision-diagrams	1
c	1
chain-query	1
chinese-postman	1
compilers	1
continuations	1
control-flow	1
data-flow	1
datalog-c	1
discrete-event-systems	1
distributed-algorithms	1
dynamic-analysis	1
dynamic-filtering	1
electronic-health-records	1
forward-error-correction	1
grammars	1
horn-clauses	1
io-complexity	1
knowledge-representation	1
loop-optimization	1
lossy-image-transmission	1
minimum-spanning-tree	1
monte-carlo	1
np-complete-problems	1
owl	1
parsing	1
pointer-analysis	1
polymorphism	1
polynomial-time	1
probabilistic-methods	1
program-correctness	1
program-generation	1
randomized-algorithms	1
reed-solomon	1
relational-databases	1
reverse-computation	1
sat-solvers	1
stable-model-semantics	1
stacker-crane	1
static-analysis	1
stratified-negation	1
tail-recursion	1
termination	1
timed-automata	1
travelling-salesman	1
trust-management	1
xsb	1

tuncay's library 90 articles Export

tuncay's tags