Pages that link to "Item:Q3865433"

The following pages link to Logic programming and compiler writing (Q3865433):

Displaying 3 items.

• A demonstrably correct compiler (Q749202) (← links)
• Mixed computation of Prolog programs (Q1108777) (← links)
• Definite clause grammars for language analysis - A survey of the formalism and a comparison with augmented transition networks (Q1143818) (← links)