Programming Languages Implementation and Logic Programming - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

18

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540508205, 9783540460923

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Formal specification of interactive languages using definite clause grammars

Programming Languages Implementation and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-50820-1_53 ◽

1989 ◽

pp. 283-291 ◽

Author(s):

Weidong Dang

Keyword(s):

Formal Specification ◽

Definite Clause Grammars ◽

Definite Clause

Download Full-text

Formal specification of a prolog compiler

Programming Languages Implementation and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-50820-1_52 ◽

1989 ◽

pp. 273-282 ◽

Author(s):

Michael Hanus

Keyword(s):

Formal Specification

Download Full-text

A semantic evaluator generating system in prolog

Programming Languages Implementation and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-50820-1_49 ◽

1989 ◽

pp. 201-218 ◽

Author(s):

Pedro Rangel Henriques

Keyword(s):

Generating System

Download Full-text

Coupled context-free grammar as a programming paradigm

Programming Languages Implementation and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-50820-1_45 ◽

1989 ◽

pp. 132-145

Author(s):

Yoshiyuki Yamashita ◽

Ikuo Nakata

Keyword(s):

Context Free Grammar ◽

Programming Paradigm ◽

Download Full-text

Using an attribute grammar as a logic program

Programming Languages Implementation and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-50820-1_47 ◽

1989 ◽

pp. 161-179 ◽

Author(s):

Günter Riedewald ◽

Uwe Lämmel

Keyword(s):

Logic Program ◽

Attribute Grammar

Download Full-text

An implementation of retargetable code generators in prolog

Programming Languages Implementation and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-50820-1_42 ◽

1989 ◽

pp. 83-104 ◽

Author(s):

Annie Despland ◽

Monique Mazaud ◽

Raymond Rakotozafy

Keyword(s):

Code Generators

Download Full-text

Using logic databases in software development environments

Programming Languages Implementation and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-50820-1_54 ◽

1989 ◽

pp. 292-299

Author(s):

Patrizia Asirelli ◽

Paola Inverardi

Keyword(s):

Software Development ◽

Software Development Environments

Download Full-text

Towards a clean amalgamation of logic programs with external procedures

Programming Languages Implementation and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-50820-1_38 ◽

1989 ◽

pp. 20-34 ◽

Author(s):

Staffan Bonnier ◽

Jan Małuszyński

Keyword(s):

Download Full-text

A tool to check the non-floundering logic programs and goals

Programming Languages Implementation and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-50820-1_40 ◽

1989 ◽

pp. 58-67 ◽

Author(s):

Roberto Barbuti ◽

Maurizio Martelli

Keyword(s):

Download Full-text

Compiling typol with attribute grammars

Programming Languages Implementation and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-50820-1_51 ◽

1989 ◽

pp. 252-272 ◽

Author(s):

Isabelle Attali

Keyword(s):

Attribute Grammars

Download Full-text