SCOPUS 정보 검색 플랫폼

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1755, Issue , 2000, Pages 101-112

Sonic partial deduction

(2) Martin, Jonathan a Leuschel, Michael a

a UNIVERSITY OF SOUTHAMPTON (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

LOGIC PROGRAMMING; PROGRAM COMPILERS;

AUTOMATIC CONSTRUCTION; COMPILER GENERATORS; OFF-LINE APPROACHES; PARTIAL DEDUCTION; PARTIAL DEDUCTION ALGORITHMS; STATE OF THE ART; TERMINATION ANALYSIS; UNFOLDING PROCESS;

COMPUTER CIRCUITS;

EID: 84943255019 PISSN: 03029743 EISSN: 16113349 Source Type: Book Series
DOI: 10.1007/3-540-46562-6_9 Document Type: Conference Paper

Times cited : (5)

References (27)

1
- 0026272012
- A general criterion for avoiding infinite unfolding during partial deduction of logic programs
- MIT Press
- (1991) Proceedings of ILPS'91 , pp. 117-131
- Bruynooghe, M.¹ De Schreye, D.² Martens, B.³

2
- 0002319293
- A general criterion for avoiding infinite unfolding during partial deduction
- (1992) New Generation Computing , vol.11 , Issue.1 , pp. 47-79
- Bruynooghe, M.¹ De Schreye, D.² Martens, B.³

3
- 84947739701
- A polyvariant binding-time analysis for offline partial deduction
- In C. Hankin, editor, Springer-Verlag, April
- (1998) Proceedings of ESOP'98, LNCS , vol.1381 , pp. 27-41
- Bruynooghe, M.¹ Leuschel, M.² Sagonas, K.³

4
- 0028429645
- Termination of logic programs: The never-ending story
- (1994) The Journal of Logic Programming , vol.19 , Issue.20 , pp. 199-260
- De Schreye, D.¹ Decorte, S.²

5
- 0343390271
- Conjunctive partial deduction: Foundations, control, algorithms and experiments
- (1999) The Journal of Logic Programming , vol.41 , Issue.2-3 , pp. 231-277
- De Schreye, D.¹ Glück, R.² Jfirgensen, J.³ Leuschel, M.⁴ Martens, B.⁵ Sfirensen, M.H.⁶

6
- 84910829499
- Termination of rewriting
- (1987) Journal of Symbolic Computation , vol.3 , pp. 69-116
- Dershowitz, N.¹

7
- 0018504528
- Proving termination with multiset orderings
- (1979) Communications of the ACM , vol.22 , Issue.8 , pp. 465-476
- Dershowitz, N.¹ Manna, Z.²

8
- 0347374358
- On Futamura projections
- In Japanese
- (1982) BIT (Japan) , vol.12 , Issue.14 , pp. 4-5
- Ershov, A.¹

9
- 0027871466
- Tutorial on specialisation of logic programs
- ACM Press
- (1993) Proceedings of PEPM'93 , pp. 88-98
- Gallagher, J.¹

10
- 84865189167
- Controlling conjunctive partial deduction of definite logic programs
- In H. Kuchen and S. Swierstra, editors, Aachen, Germany, Springer-Verlag
- (1996) Proceedings of PLILP'96, LNCS , vol.1140 , pp. 152-166
- Glück, R.¹ Jfirgensen, J.² Martens, B.³ Sfirensen, M.H.⁴

11
- 0342730105
- PhD thesis, Dept. of Computer Science, University of Bristol
- (1994) A Self-Applicable Partial Evaluator for the Logic Programming Language Gödel
- Gurr, C.A.¹

12
- 84957654264
- Eficiently generating eficient generating extensions in Prolog
- In O. Danvy, R. Glück, and P. Thiemann, editors
- (1996) Proceedings of the Dagstuhl Seminar on Partial Evaluation, LNCS , vol.1110 , pp. 238-262
- Jfirgensen, J.¹ Leuschel, M.²

13
- 2142665082
- Obtainable via
- (1996) The Ecce Partial Deduction System and the Dppd Library of Benchmarks
- Leuschel, M.¹

14
- 0007768409
- PhD thesis, K. U. Leuven, May 1997. Accessible via
- Advanced Techniques for Logic Program Specialisation
- Leuschel, M.¹

15
- 84947920320
- Improving homeomorphic embedding for online termination
- In P. Flener, editor, Manchester, UK, Springer-Verlag
- (1998) Proceedings of LOPSTR'98, LNCS , vol.1559 , pp. 199-218
- Leuschel, M.¹

16
- 84905015375
- On the power of homeomorphic embedding for online termination
- In G. Levi, editor, Pisa, Italy, September, Springer-Verlag
- (1998) Proceedings of SAS'98, LNCS , vol.1503 , pp. 230-245
- Leuschel, M.¹

17
- 0008888942
- A conceptual embedding of folding into partial deduction: Towards a maximal integration
- In M. Maher, editor, Bonn, Germany, September, MIT Press
- (1996) Proceedings of JICSLP'96 , pp. 319-332
- Leuschel, M.¹ De Schreye, D.² De Waal, A.³

18
- 0031598967
- Controlling generalisation and polyvariance in partial deduction of normal logic programs
- (1998) ACM Transactions on Programming Languages and Systems , vol.20 , Issue.1 , pp. 208-258
- Leuschel, M.¹ Martens, B.² De Schreye, D.³

19
- 0003453263
- Springer-Verlag
- (1987) Foundations of Logic Programming
- Lloyd, J.W.¹

20
- 0001659384
- Partial evaluation in logic programming
- (1991) The Journal of Logic Programming , vol.11 , Issue.3-4 , pp. 217-242
- Lloyd, J.W.¹ Shepherdson, J.C.²

21
- 0030216899
- Automatic finite unfolding using well-founded measures
- (1996) Journal of Logic Programming , vol.28 , Issue.2 , pp. 89-146
- Martens, B.¹ De Schreye, D.²

22
- 0028762240
- Sound and complete partial deduction with unfolding based on well-founded measures
- (1994) Theoretical Comput. Sci , vol.122 , Issue.1-2 , pp. 97-117
- Martens, B.¹ De Schreye, D.² Horváth, T.³

23
- 84943321717
- Generating Eficient, Terminating Logic Programs
- (1997) TAPSOFT'97. Springer-Verlag
- Martin, J.¹ King, A.²

24
- 84905015784
- Technical Report DSSETR-99-3, Dept. of Electronics and Computer Science, University of Southampton, February
- (1999) Sonic Partial Deduction
- Martin, J.¹ Leuschel, M.²

25
- 0345767828
- Logimix: A self-applicable partial evaluator for Prolog
- In K.-K. Lau and T. Clement, editors, Springer-Verlag
- (1992) Proceedings of LOPSTR'92 , pp. 214-227
- Mogensen, T.¹ Bondorf, A.²

26
- 0346421716
- In D. Bjørner, A. P. Ershov, and N. D. Jones, editors, Partial Evaluation and Mixed Computation, North-Holland
- (1988) A Compiler Generator Produced by a Self-Applicable Specializer Can have a Surprisingly Natural and Understandable Structure , pp. 445-463
- Romanenko, S.A.¹

27
- 0001946314
- An algorithm of generalization in positive supercompilation
- In J. W. Lloyd, editor, Portland, USA, December, MIT Press
- (1995) Proceedings of ILPS'95 , pp. 465-479
- Sfirensen, M.H.¹ Glück, R.²

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.