Lecture Notes in Computer Science - Programming Languages: Implementations, Logics, and Programs
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540617563, 9783540706540

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Beyond depth-first: Improving tabled logic programs through alternative scheduling strategies

Lecture Notes in Computer Science - Programming Languages: Implementations, Logics, and Programs ◽

10.1007/3-540-61756-6_89 ◽

1996 ◽

pp. 243-258 ◽

Cited By ~ 13

Author(s):

Juliana Freire ◽

Terrance Swift ◽

David S. Warren

Keyword(s):

Logic Programs ◽

Alternative Scheduling ◽

Scheduling Strategies ◽

Tabled Logic Programs

Download Full-text

Controlling conjunctive partial deduction

Lecture Notes in Computer Science - Programming Languages: Implementations, Logics, and Programs ◽

10.1007/3-540-61756-6_83 ◽

1996 ◽

pp. 152-166 ◽

Cited By ~ 14

Author(s):

Robert Glück ◽

Jesper Jørgensen ◽

Bern Martens ◽

Morten Heine Sørensen

Keyword(s):

Partial Deduction

Download Full-text

Dynamic Attribute Grammars

Lecture Notes in Computer Science - Programming Languages: Implementations, Logics, and Programs ◽

10.1007/3-540-61756-6_81 ◽

1996 ◽

pp. 122-136 ◽

Cited By ~ 6

Author(s):

Didier Parigot ◽

Gilles Roussel ◽

Martin Jourdan ◽

Étienne Duris

Keyword(s):

Attribute Grammars

Download Full-text

Context-sensitive computations in confluent programs

Lecture Notes in Computer Science - Programming Languages: Implementations, Logics, and Programs ◽

10.1007/3-540-61756-6_100 ◽

1996 ◽

pp. 408-422 ◽

Cited By ~ 3

Author(s):

Salvador Lucas

Keyword(s):

Context Sensitive

Download Full-text

Decidability of logic program semantics and applications to testing

Lecture Notes in Computer Science - Programming Languages: Implementations, Logics, and Programs ◽

10.1007/3-540-61756-6_96 ◽

1996 ◽

pp. 347-362 ◽

Cited By ~ 3

Author(s):

Salvatore Ruggieri

Keyword(s):

Logic Program ◽

Program Semantics

Download Full-text

The LOL deductive database programming language (extended abstract)

Lecture Notes in Computer Science - Programming Languages: Implementations, Logics, and Programs ◽

10.1007/3-540-61756-6_103 ◽

1996 ◽

pp. 454-468

Author(s):

Mengchi Liu

Keyword(s):

Programming Language ◽

Deductive Database

Download Full-text

PIDGETS unifying pictures and widgets in a constraint-based framework for concurrent functional GUI programming

Lecture Notes in Computer Science - Programming Languages: Implementations, Logics, and Programs ◽

10.1007/3-540-61756-6_97 ◽

1996 ◽

pp. 363-377 ◽

Cited By ~ 2

Author(s):

Enno Scholz

Download Full-text

A reactive implementation of Pos using ROBDDs

Lecture Notes in Computer Science - Programming Languages: Implementations, Logics, and Programs ◽

10.1007/3-540-61756-6_80 ◽

1996 ◽

pp. 107-121 ◽

Cited By ~ 5

Author(s):

Roberto Bagnara

Download Full-text

Annotated structure shape graphs for abstract analysis of Prolog

Lecture Notes in Computer Science - Programming Languages: Implementations, Logics, and Programs ◽

10.1007/3-540-61756-6_79 ◽

1996 ◽

pp. 92-106

Author(s):

Geoffrey Weyer ◽

William Winsborough

Download Full-text

Logic program specialisation: How to be more specific

Lecture Notes in Computer Science - Programming Languages: Implementations, Logics, and Programs ◽

10.1007/3-540-61756-6_82 ◽

1996 ◽

pp. 137-151 ◽

Cited By ~ 9

Author(s):

Michael Leuschel ◽

Danny Schreye

Keyword(s):

Logic Program ◽

Program Specialisation

Download Full-text

Lecture Notes in Computer Science - Programming Languages: Implementations, Logics, and ProgramsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Beyond depth-first: Improving tabled logic programs through alternative scheduling strategies

Controlling conjunctive partial deduction

Dynamic Attribute Grammars

Context-sensitive computations in confluent programs

Decidability of logic program semantics and applications to testing

The LOL deductive database programming language (extended abstract)

PIDGETS unifying pictures and widgets in a constraint-based framework for concurrent functional GUI programming

A reactive implementation of Pos using ROBDDs

Annotated structure shape graphs for abstract analysis of Prolog

Logic program specialisation: How to be more specific

Lecture Notes in Computer Science - Programming Languages: Implementations, Logics, and Programs
Latest Publications