|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 478 occurrences of 286 keywords
|
|
|
Results
Found 453 publication records. Showing 453 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Corneliu Popeea, Dana N. Xu, Wei-Ngan Chin |
A practical and precise inference and specializer for array bound checks elimination. |
PEPM |
2008 |
DBLP DOI BibTeX RDF |
size properties, dependent types, safety verification |
1 | Alessandro Warth, James R. Douglass, Todd D. Millstein |
Packrat parsers can support left recursion. |
PEPM |
2008 |
DBLP DOI BibTeX RDF |
left recursion, packrat parsing |
1 | Isabella Mastroeni, Damiano Zanardini |
Data dependencies and program slicing: from syntax to abstract semantics. |
PEPM |
2008 |
DBLP DOI BibTeX RDF |
abstract non-interference, abstract interpretation, program slicing, dependency analysis |
1 | Huiqing Li, Simon J. Thompson |
Tool support for refactoring functional programs. |
PEPM |
2008 |
DBLP DOI BibTeX RDF |
hare, static/dynamic semantics, wrangler, program transformation, program analysis, refactoring, haskell, erlang |
1 | Rastislav Bodík |
Software synthesis with sketching. |
PEPM |
2008 |
DBLP DOI BibTeX RDF |
synthesis |
1 | Pawel Pietrzak, Jesús Correas, Germán Puebla, Manuel V. Hermenegildo |
A practical type analysis for verification of modular prolog programs. |
PEPM |
2008 |
DBLP DOI BibTeX RDF |
modular logic programs, verification, scalability, logic programming, program analysis, abstract interpretation, types |
1 | Stephen A. Edwards, Jia Zeng |
Static elaboration of recursion for concurrent software. |
PEPM |
2008 |
DBLP DOI BibTeX RDF |
SHIM, static elaboration, concurrency, recursion, partial evaluation |
1 | Jakob Puchinger, Peter J. Stuckey |
Automating branch-and-bound for dynamic programs. |
PEPM |
2008 |
DBLP DOI BibTeX RDF |
dynamic programming, branch and bound, automatic transformation |
1 | Ando Saabas, Tarmo Uustalu |
Proof optimization for partial redundancy elimination. |
PEPM |
2008 |
DBLP DOI BibTeX RDF |
program proof transformation, soundness and improvement of dataflow analyses and optimizations, type systems, proof-carrying code, partial redundancy elimination |
1 | Janis Voigtländer |
Proving correctness via free theorems: the case of the destroy/build-rule. |
PEPM |
2008 |
DBLP DOI BibTeX RDF |
intermediate data structures, rank-2 types, shortcut deforestation, theorems for free, program transformations, correctness proofs, relational parametricity |
1 | Ping Zhu, Siau-Cheng Khoo |
Towards constructing reusable specialization components. |
PEPM |
2007 |
DBLP DOI BibTeX RDF |
component-based software development, program specialization |
1 | Jacques Carette, Michael Kucera |
Partial evaluation of Maple. |
PEPM |
2007 |
DBLP DOI BibTeX RDF |
residual theorems, partial evaluation, Maple, symbolic computation |
1 | Tom Rothamel, Yanhong A. Liu |
Efficient implementation of tuple pattern based retrieval. |
PEPM |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jeffrey Fischer, Rupak Majumdar, Todd D. Millstein |
Tasks: language support for event-driven programming. |
PEPM |
2007 |
DBLP DOI BibTeX RDF |
|
1 | G. Ramalingam, Eelco Visser (eds.) |
Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007, Nice, France, January 15-16, 2007 |
PEPM |
2007 |
DBLP BibTeX RDF |
|
1 | Oege de Moor, Elnar Hajiyev, Mathieu Verbaere |
Object-oriented queries over software systems: (abstract of invited talk). |
PEPM |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Seth Fogarty, Emir Pasalic, Jeremy G. Siek, Walid Taha |
Concoqtion: indexed types now! |
PEPM |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Alcino Cunha, Joost Visser 0001 |
Transformation of structure-shy programs: applied to XPath queries and strategic functions. |
PEPM |
2007 |
DBLP DOI BibTeX RDF |
XML query languages, algebraic program transformation, point-free program calculation, strategic functional programming, type generalization, type specialization |
1 | Geoff W. Hamilton |
Distillation: extracting the essence of programs. |
PEPM |
2007 |
DBLP DOI BibTeX RDF |
superlinear improvement, program transformation, termination, generalisation, tail-recursion |
1 | Stephan Ellner, Walid Taha |
The semantics of graphical languages. |
PEPM |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Ralf Lämmel |
Style normalization for canonical X-to-O mappings. |
PEPM |
2007 |
DBLP DOI BibTeX RDF |
functional object-oriented programming, schema-organization styles, XML schema, software transformation, LINQ |
1 | Dongxi Liu, Zhenjiang Hu, Masato Takeichi |
Bidirectional interpretation of XQuery. |
PEPM |
2007 |
DBLP DOI BibTeX RDF |
bidirectional programming, XML, transformations, XQuery, view update problem |
1 | Coen De Roover, Theo D'Hondt, Johan Brichau, Carlos Noguera, Laurence Duchien |
Behavioral similarity matching using concrete source code templates in logic queries. |
PEPM |
2007 |
DBLP DOI BibTeX RDF |
logic meta programming, program querying, source code templates, program analysis, pattern detection, program validation |
1 | Germán Vidal |
Quasi-terminating logic programs for ensuring the termination of partial evaluation. |
PEPM |
2007 |
DBLP DOI BibTeX RDF |
quasi-termination, partial deduction |
1 | Anders Møller, Michael I. Schwartzbach |
XML graphs in program analysis. |
PEPM |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Tetsuo Yokoyama, Robert Glück |
A reversible programming language and its invertible self-interpreter. |
PEPM |
2007 |
DBLP DOI BibTeX RDF |
Janus, non-standard interpreter hierarchy, reversible programming language, self-interpreter, reversible computing, program inversion |
1 | João Paulo Fernandes, João Saraiva |
Tools and libraries to model and manipulate circular programs. |
PEPM |
2007 |
DBLP DOI BibTeX RDF |
intermediate data structures, multiple traversal algorithms, traversal scheduling, circular programming |
1 | Kimberley Burchett, Gregory H. Cooper, Shriram Krishnamurthi |
Lowering: a static optimization technique for transparent functional reactivity. |
PEPM |
2007 |
DBLP DOI BibTeX RDF |
FRP, FrTime, lowering, optimization, static analysis, functional programming, scheme, lifting, reactive programming |
1 | Claudio Ochoa, Germán Puebla |
Poly-controlled partial evaluation in practice. |
PEPM |
2007 |
DBLP DOI BibTeX RDF |
resource-aware specialization, logic programming, partial evaluation |
1 | James R. Cordy |
Source transformation, analysis and generation in TXL. |
PEPM |
2006 |
DBLP DOI BibTeX RDF |
TXL, rapid prototyping, migration, translators, test-driven development, term rewriting, re-engineering, software analysis, rule-based programming, source transformation |
1 | Kedar N. Swadi, Walid Taha, Oleg Kiselyov, Emir Pasalic |
A monadic approach for avoiding code duplication when staging memoized functions. |
PEPM |
2006 |
DBLP DOI BibTeX RDF |
partial evaluation, monads, fixed points, program generation, program specialization, staging, multi-stage programming, code duplication |
1 | Beatrice Luca, Stefan Andrei, Hugh Anderson, Siau-Cheng Khoo |
Program transformation by solving recurrences. |
PEPM |
2006 |
DBLP DOI BibTeX RDF |
efficient time complexity, recurrences with one or multiple parameters, program transformation |
1 | Martin Erwig, Zhe Fu, Ben Pflaum |
Generic programming in Fortran. |
PEPM |
2006 |
DBLP DOI BibTeX RDF |
software maintenance, reuse, Fortran, haskell, scientific computing, generic programming, program generation |
1 | Todd L. Veldhuizen |
Tradeoffs in metaprogramming. |
PEPM |
2006 |
DBLP DOI BibTeX RDF |
program generators, metaprogramming, metalanguages |
1 | Martin Bravenboer, Karl Trygve Kalleberg, Rob Vermaas, Eelco Visser |
Stratego/XT 0.16: components for transformation systems. |
PEPM |
2006 |
DBLP DOI BibTeX RDF |
pretty-printers, rewriting strategies, transformation components, compilers, program transformation, program analysis, term rewriting, program optimization, parsers, transformation systems |
1 | Michael Leuschel, Daniel Elphick, Mauricio Varea, Stephen-John Craig, Marc Fontaine |
The Ecce and Logen partial evaluators and their web interfaces. |
PEPM |
2006 |
DBLP DOI BibTeX RDF |
logic programming, prolog, program transformation, partial evaluation, web programming, partial deduction |
1 | Matias Madou, Ludo Van Put, Koen De Bosschere |
LOCO: an interactive code (De)obfuscation tool. |
PEPM |
2006 |
DBLP DOI BibTeX RDF |
security, binary rewriting, code obfuscation |
1 | Thomas W. Reps, Gogul Balakrishnan, Junghee Lim |
Intermediate-representation recovery from low-level code. |
PEPM |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Stephen A. Edwards |
Using program specialization to speed SystemC fixed-point simulation. |
PEPM |
2006 |
DBLP DOI BibTeX RDF |
fixed-point simulation, prespec, tempo, Simulation, SystemC, program specialization |
1 | Roberto E. Lopez-Herrejon, Don S. Batory, Christian Lengauer |
A disciplined approach to aspect composition. |
PEPM |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan Cooper, Steve McKeever, Alan Garny |
On the application of partial evaluation to the optimisation of cardiac electrophysiological simulations. |
PEPM |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Emmanuel Geay, Eran Yahav, Stephen J. Fink |
Continuous code-quality assurance with SAFE. |
PEPM |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Sarah Thompson, Alan Mycroft |
Bit-level partial evaluation of synchronous circuits. |
PEPM |
2006 |
DBLP DOI BibTeX RDF |
partial evaluation, loop unrolling, synchronous circuits |
1 | Yanhong A. Liu, Chen Wang, Michael Gorbovitski, Tom Rothamel, Yongxi Cheng, Yingchao Zhao 0001, Jing Zhang |
Core role-based access control: efficient implementations by transformations. |
PEPM |
2006 |
DBLP DOI BibTeX RDF |
complexity guarantees, optimization, access control, transformation, incrementalization |
1 | Christian Hammer 0001, Martin Grimme, Jens Krinke |
Dynamic path conditions in dependence graphs. |
PEPM |
2006 |
DBLP DOI BibTeX RDF |
dynamic chopping, information flow control, dynamic slicing, path condition |
1 | John Hatcliff, Frank Tip (eds.) |
Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006, Charleston, South Carolina, USA, January 9-10, 2006 |
PEPM |
2006 |
DBLP BibTeX RDF |
|
1 | Micah Lewis, Michael Jones |
A dead variable analysis for explicit model checking. |
PEPM |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Futoshi Iwama, Atsushi Igarashi, Naoki Kobayashi 0001 |
Resource usage analysis for a functional language with exceptions. |
PEPM |
2006 |
DBLP DOI BibTeX RDF |
resource usage analysis, type system, type inference, exception, effect system |
1 | Meng Wang 0002, Kung Chen, Siau-Cheng Khoo |
Type-directed weaving of aspects for higher-order functional languages. |
PEPM |
2006 |
DBLP DOI BibTeX RDF |
type inference, functional language, aspect oriented, higher-order, weaving |
1 | Nevin Heintze, Peter Sestoft (eds.) |
Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004, Verona, Italy, August 24-25, 2004 |
PEPM |
2004 |
DBLP BibTeX RDF |
|
1 | Gustavo J. Bobeff, Jacques Noyé |
Component specialization. |
PEPM |
2004 |
DBLP DOI BibTeX RDF |
component generator, program slicing, partial evaluation, component-based software development |
1 | Robert L. Akers, Ira D. Baxter, Michael Mehlich |
Invited application paper: re-engineering C++ components via automatic program transformation. |
PEPM |
2004 |
DBLP DOI BibTeX RDF |
compilers, C++, patterns, migration, legacy systems, re-engineering, software analysis, rewrite rules, abstract syntax trees, component architectures, software transformation |
1 | J. Gregory Morrisett |
Invited talk: what's the future for proof-carrying code? |
PEPM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jarle Hulaas, Walter Binder |
Program transformations for portable CPU accounting and control in Java. |
PEPM |
2004 |
DBLP DOI BibTeX RDF |
Java, program transformations, resource management, bytecode engineering |
1 | Yannis Smaragdakis, Shan Shan Huang, David Zook |
Program generators and the tools to make them. |
PEPM |
2004 |
DBLP DOI BibTeX RDF |
safety guarantees, meta-programming, program generators |
1 | Zhenjiang Hu, Shin-Cheng Mu, Masato Takeichi |
A programmable editor for developing structured documents based on bidirectional transformations. |
PEPM |
2004 |
DBLP DOI BibTeX RDF |
bidirectional transformation, functional programming, editor, view updating, document engineering |
1 | Ehud Shapiro |
Invited talk: injecting life with computers. |
PEPM |
2004 |
DBLP DOI BibTeX RDF |
computer diagnosis and therapy, autonomous computers, DNA computing, molecular computers |
1 | Sheila A. McIlraith |
Invited talk: towards declarative programming for web services. |
PEPM |
2004 |
DBLP DOI BibTeX RDF |
ontologies, web services, semantic web, OWL, web service composition, automated reasoning |
1 | Francisco Durán 0001, Salvador Lucas, José Meseguer 0001, Claude Marché, Xavier Urbain |
Proving termination of membership equational programs. |
PEPM |
2004 |
DBLP DOI BibTeX RDF |
program transformation, termination, term rewriting, membership equational logic |
1 | Søren Debois |
Imperative program optimization by partial evaluation. |
PEPM |
2004 |
DBLP DOI BibTeX RDF |
loop-invariant code motion, bisimulation, strength reduction, code duplication |
1 | Steve Barker, Michael Leuschel, Mauricio Varea |
Efficient and flexible access control via logic program specialisation. |
PEPM |
2004 |
DBLP DOI BibTeX RDF |
Cogen approach, database access control, program transformation, datalog, partial deduction |
1 | Corneliu Popeea, Wei-Ngan Chin |
A type system for resource protocol verification and its correctness proof. |
PEPM |
2004 |
DBLP DOI BibTeX RDF |
dependent type system, resource specification, protocol verification, correctness proof, path-sensitive analysis |
1 | Alberto Pettorossi, Maurizio Proietti |
A theory of totally correct logic program transformations. |
PEPM |
2004 |
DBLP DOI BibTeX RDF |
partial and total correctness, program transformation rules, well-founded orderings, logic programming |
1 | Sam Kamin |
Invited application paper: program generation considered easy. |
PEPM |
2004 |
DBLP DOI BibTeX RDF |
Java, run-time code generation |
1 | Dirk Beyer 0001, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar |
Invited talk: the blast query language for software verification. |
PEPM |
2004 |
DBLP DOI BibTeX RDF |
software verification, software specification |
1 | Susumu Nishimura |
Fusion with stacks and accumulating parameters. |
PEPM |
2004 |
DBLP DOI BibTeX RDF |
accumulating parameters, higher-order removal, shortcut fusion, type-directed program transformation, stacks |
1 | Kenichi Asai |
Offline partial evaluation for shift and reset. |
PEPM |
2004 |
DBLP DOI BibTeX RDF |
CPS transformation, binding-time analysis (BTA), offline partial evaluation, continuation-passing style (CPS), logical relations, delimited continuations |
1 | Helle Markmann Andersen, Ulrik Pagh Schultz |
Declarative specialization for object-oriented-program specialization. |
PEPM |
2004 |
DBLP DOI BibTeX RDF |
declarative specialization, Java, partial evaluation |
1 | Gary Daugherty |
Invited application paper: a proposal for the specialization of HA/DRE systems. |
PEPM |
2004 |
DBLP DOI BibTeX RDF |
fast path, specialization model, specialization state, optimization, pattern, refactoring, partial evaluation, aspect |
1 | Julia L. Lawall, Gilles Muller, Hervé Duchesne |
Invited application paper: language design for implementing process scheduling hierarchies. |
PEPM |
2004 |
DBLP DOI BibTeX RDF |
operating system extension, scheduling hierarchies, verification, domain-specific languages, process scheduling |
1 | Claudio Ochoa, Josep Silva, Germán Vidal |
Dynamic slicing based on redex trails. |
PEPM |
2004 |
DBLP DOI BibTeX RDF |
lazy functional logic programming, redex trails, slicing |
1 | Armin Rigo |
Representation-based just-in-time specialization and the psyco prototype for python. |
PEPM |
2004 |
DBLP DOI BibTeX RDF |
just-in-time specialization, unlift, representation, python |
1 | Mads Sig Ager, Olivier Danvy, Henning Korsholm Rohde |
Fast partial evaluation of pattern matching in strings. |
PEPM |
2003 |
DBLP DOI BibTeX RDF |
partial evaluation, string matching, memoization |
1 | Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu |
Extending sized type with collection analysis. |
PEPM |
2003 |
DBLP DOI BibTeX RDF |
collection analysis, mixed constraints, sized type, polymorphism, fix-point |
1 | Matthew Allen, Susan Horwitz |
Slicing java programs that throw and catch exceptions. |
PEPM |
2003 |
DBLP DOI BibTeX RDF |
java exceptions, program slicing, program dependence graph |
1 | Chiyan Chen, Hongwei Xi |
Implementing typeful program transformations. |
PEPM |
2003 |
DBLP DOI BibTeX RDF |
DML, dependent ML, typeful program transformation, dependent types, CPS, continuation-passing style |
1 | Giuseppe Attardi, Antonio Cisternino, Andrew Kennedy |
CodeBricks: code fragments as building blocks. |
PEPM |
2003 |
DBLP DOI BibTeX RDF |
multistage programming, program transformation, reflection, domain specific language, generative programming, program generation, metaprogramming |
1 | Germán Puebla, Manuel V. Hermenegildo |
Abstract specialization and its applications. |
PEPM |
2003 |
DBLP DOI BibTeX RDF |
logic programming, static analysis, abstract interpretation, partial evaluation, program optimization, program specialization, program parallelization |
1 | Yanhong A. Liu, Scott D. Stoller |
Optimizing Ackermann's function by incrementalization. |
PEPM |
2003 |
DBLP DOI BibTeX RDF |
tabulation, optimization, caching, program transformation, recursion, iteration, incrementalization, incremental computation, memoization |
1 | Michael Leuschel (eds.) |
Proceedings of the 2003 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2003, San Diego, California, USA, June 7, 2003 |
PEPM |
2003 |
DBLP DOI BibTeX RDF |
|
1 | John Hatcliff, William Deng, Matthew B. Dwyer, Georg Jung, Venkatesh Prasad Ranganath, Robby |
Slicing and partial evaluation of CORBA component model designs for avionics system. |
PEPM |
2003 |
DBLP DOI BibTeX RDF |
distributed systems, designs, real-time systems, model-checking, embedded systems, verification, components, CORBA, partial evaluation, slicing |
1 | Robert Glück, Youhei Kawada, Takuya Hashimoto |
Transforming interpreters into inverse interpreters by partial evaluation. |
PEPM |
2003 |
DBLP DOI BibTeX RDF |
binding-time improvements, inverse interpreter, program in-vision, semantics modifier, self-application |
1 | Marius Bozga, Radu Iosif, Yassine Lakhnech |
Storeless semantics and alias logic. |
PEPM |
2003 |
DBLP DOI BibTeX RDF |
heap models, weakest precondition, total correctness |
1 | Lunjin Lu |
Path dependent analysis of logic programs. |
PEPM |
2002 |
DBLP DOI BibTeX RDF |
Call strings, Abstract interpretation, Context sensitive analysis |
1 | Yanhong A. Liu, Scott D. Stoller |
Program optimization using indexed and recursive data structures. |
PEPM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Gustavo Gomez, Yanhong A. Liu |
Automatic time-bound analysis for a higher-order language. |
PEPM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Barthe, Tarmo Uustalu |
CPS translating inductive and coinductive types. |
PEPM |
2002 |
DBLP DOI BibTeX RDF |
classical logic and control, inductive and coinductive types, typed ?-calculi, dependent types, CPS translations |
1 | Roberto Giacobazzi, Isabella Mastroeni |
Compositionality in the puzzle of semantics. |
PEPM |
2002 |
DBLP DOI BibTeX RDF |
reduced power, transfinite semantics, Abstract interpretation, compositional semantics, program manipulation |
1 | Craig Chambers |
Staged compilation. |
PEPM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Claus Brabrand, Michael I. Schwartzbach |
Growing languages with metamorphic syntax macros. |
PEPM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Kenichi Asai |
Online partial evaluation for shift and reset. |
PEPM |
2002 |
DBLP DOI BibTeX RDF |
CPS transformation, direct style (DS), online partial evaluations, continuation-passing style (CPS), Delimited continuations |
1 | Peter Thiemann 0001 (eds.) |
Proceedings of the 2002 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '02), Portland, Oregon, USA, January 14-15, 2002 |
PEPM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Anne-Françoise Le Meur, Julia L. Lawall, Charles Consel |
Towards bridging the gap between programming languages and partial evaluation. |
PEPM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Naren Ramakrishnan, Robert Capra, Manuel A. Pérez-Quiñones |
Mixed-initiative interaction = mixed computation. |
PEPM |
2002 |
DBLP DOI BibTeX RDF |
interaction sequences, partial evaluation, VoiceXML, Mixed-initiative interaction, dialog management |
1 | Germán Vidal |
Cost-augmented narrowing-driven specialization. |
PEPM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Christian H. Bischof, Paul D. Hovland, Boyana Norris |
Implementation of automatic differentiation tools. |
PEPM |
2002 |
DBLP DOI BibTeX RDF |
Semantic Transformation, Automatic Differentiation, Component Software, intermediate representation, source transformation |
1 | Jens P. Secher, Morten Heine Sørensen |
From checking to inference via driving and dag grammars. |
PEPM |
2002 |
DBLP DOI BibTeX RDF |
inference, supercompilation, program inversion |
1 | Manuvir Das |
Static Analysis of Large Programs: Some Experiences (Abstract of Invited Talk). |
PEPM |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Yanhong A. Liu, Scott D. Stoller |
From Recursion to Iteration: What are the Optimizations? |
PEPM |
2000 |
DBLP DOI BibTeX RDF |
|
1 | John P. Gallagher, Julio C. Peralta |
Using Regular Approximations for Generalisation During Partial Evalution. |
PEPM |
2000 |
DBLP DOI BibTeX RDF |
|
Displaying result #201 - #300 of 453 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ >>] |
|