Partial Evaluation and Non-interference for Object Calculi

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/10705424_4 ◽

1999 ◽

pp. 53-67 ◽

Cited By ~ 5

Author(s):

Gilles Barthe ◽

Bernard P. Serpette

Keyword(s):

Partial Evaluation

Download Full-text

Proceedings of the 2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation - PEPM 2020

10.1145/3372884 ◽

2020 ◽

Keyword(s):

Partial Evaluation ◽

Program Manipulation

Download Full-text

Parameterized partial evaluation

Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation - PLDI '91 ◽

10.1145/113445.113454 ◽

1991 ◽

Cited By ~ 2

Author(s):

Charles Consel ◽

Siau Cheng Khoo

Keyword(s):

Partial Evaluation

Download Full-text

Fast partial evaluation of pattern matching in strings

Proceedings of the 2003 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation - PEPM '03 ◽

10.1145/777388.777390 ◽

2003 ◽

Cited By ~ 1

Author(s):

Mads Sig Ager ◽

Olivier Danvy ◽

Henning Korsholm Rohde

Keyword(s):

Pattern Matching ◽

Partial Evaluation

Download Full-text

A deductive database architecture based on partial evaluation

ACM SIGMOD Record ◽

10.1145/101077.101082 ◽

1990 ◽

Vol 19 (3) ◽

pp. 24-29 ◽

Cited By ~ 3

Author(s):

Li Lei ◽

G.-H. Moll ◽

J. Kouloumdjian

Keyword(s):

Partial Evaluation ◽

Deductive Database ◽

Database Architecture

Download Full-text

Partial evaluation as an aid to the comprehension of Fortran programs

[1993] IEEE Second Workshop on Program Comprehension ◽

10.1109/wpc.1993.263907 ◽

2002 ◽

Cited By ~ 5

Author(s):

S. Blazy ◽

P. Facon

Keyword(s):

Partial Evaluation

Download Full-text

On obtaining Knuth, Morris, and Pratt's string matcher by partial evaluation

Proceedings of the ASIAN symposium on Partial evaluation and semantics-based program manipulation - ASIA-PEPM '02 ◽

10.1145/568173.568177 ◽

2002 ◽

Cited By ~ 5

Author(s):

Mads Sig Ager ◽

Olivier Danvy ◽

Henning Korsholm Rohde

Keyword(s):

Partial Evaluation

Download Full-text

Development through urbanization: a partial evaluation of the Colombian experiment

International Journal of Urban and Regional Research ◽

10.1111/j.1468-2427.1979.tb00772.x ◽

1979 ◽

Vol 3 (1-3) ◽

pp. 49-59 ◽

Cited By ~ 3

Author(s):

Neil B. Ridler

Keyword(s):

Partial Evaluation

Download Full-text

Shallow embedding of DSLs via online partial evaluation

Proceedings of the 2015 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences - GPCE 2015 ◽

10.1145/2814204.2814208 ◽

2015 ◽

Cited By ~ 9

Author(s):

Roland Leißa ◽

Klaas Boesche ◽

Sebastian Hack ◽

Richard Membarth ◽

Philipp Slusallek

Keyword(s):

Partial Evaluation

Download Full-text

Partial evaluation of queries for bit-sliced signature files

Information Processing Letters ◽

10.1016/s0020-0190(96)00176-7 ◽

1996 ◽

Vol 60 (6) ◽

pp. 305-311 ◽

Cited By ~ 1

Author(s):

Seyit Kocberber ◽

Fazli Can

Keyword(s):

Partial Evaluation ◽

Signature Files

Download Full-text

Challenging problems in partial evaluation and mixed computation

New Generation Computing ◽

10.1007/bf03037143 ◽

1988 ◽

Vol 6 (2-3) ◽

pp. 291-302 ◽

Cited By ~ 13

Author(s):

Neil D. Jones

Keyword(s):

Partial Evaluation

Download Full-text