Evolution of rule-based programs (Q1878711): Difference between revisions

@@ Property / cites work @@
+Q2760240
@@ Property / cites work: Q2760240 / rank @@
+Normal rank
@@ Property / cites work @@
+The witness properties and the semantics of the  Prolog cut
+Normal rank
@@ Property / cites work @@
+Q4385536
@@ Property / cites work: Q4385536 / rank @@
+Normal rank
@@ Property / cites work @@
+A Transformation System for Developing Recursive Programs
+Normal rank
@@ Property / cites work @@
+Q4331824
@@ Property / cites work: Q4331824 / rank @@
+Normal rank
@@ Property / cites work @@
+Program Development in Computational Logic
@@ Property / cites work: Program Development in Computational Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692466
@@ Property / cites work: Q4692466 / rank @@
+Normal rank
@@ Property / cites work @@
+Directional types and the annotation method
@@ Property / cites work: Directional types and the annotation method / rank @@
+Normal rank
@@ Property / cites work @@
+Refinement Calculus
@@ Property / cites work: Refinement Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4490731
@@ Property / cites work: Q4490731 / rank @@
+Normal rank
@@ Property / cites work @@
+Relating logic programs and attribute grammars
@@ Property / cites work: Relating logic programs and attribute grammars / rank @@
+Normal rank
@@ Property / cites work @@
+Q4875865
@@ Property / cites work: Q4875865 / rank @@
+Normal rank
@@ Property / cites work @@
+Data Refinement
@@ Property / cites work: Data Refinement / rank @@
+Normal rank
@@ Property / cites work @@
+Q4708513
@@ Property / cites work: Q4708513 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3774923
@@ Property / cites work: Q3774923 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of context-free languages
@@ Property / cites work: Semantics of context-free languages / rank @@
+Normal rank
@@ Property / cites work @@
+Relating logic programs via program maps
@@ Property / cites work: Relating logic programs via program maps / rank @@
+Normal rank
@@ Property / cites work @@
+Modularity and reusability in attribute grammars
@@ Property / cites work: Modularity and reusability in attribute grammars / rank @@
+Normal rank
@@ Property / cites work @@
+Q2764002
@@ Property / cites work: Q2764002 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3339245
@@ Property / cites work: Q3339245 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3789064
@@ Property / cites work: Q3789064 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2723922
@@ Property / cites work: Q2723922 / rank @@
+Normal rank
@@ Property / cites work @@
+A polymorphic type system for Prolog
@@ Property / cites work: A polymorphic type system for Prolog / rank @@
+Normal rank
@@ Property / cites work @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+Action Semantics
@@ Property / cites work: Action Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Pragmatics of Modular SOS
@@ Property / cites work: Pragmatics of Modular SOS / rank @@
+Normal rank
@@ Property / cites work @@
+A fast pattern matching algorithm derived by transformational and assertional reasoning
+Normal rank
@@ Property / cites work @@
+Q5624681
@@ Property / cites work: Q5624681 / rank @@
+Normal rank
@@ Property / cites work @@
+Definite clause grammars for language analysis - A survey of the formalism and a comparison with augmented transition networks
+Normal rank
@@ Property / cites work @@
+Q5624680
@@ Property / cites work: Q5624680 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3212268
@@ Property / cites work: Q3212268 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3323239
@@ Property / cites work: Q3323239 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4855362
@@ Property / cites work: Q4855362 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4844167
@@ Property / cites work: Q4844167 / rank @@
+Normal rank
@@ Property / cites work @@
+Class hierarchy specialization
@@ Property / cites work: Class hierarchy specialization / rank @@
+Normal rank
@@ Property / cites work @@
+The Semantics of Predicate Logic as a Programming Language
+Normal rank
@@ Property / cites work @@
+The well-founded semantics for general logic programs
+Normal rank
@@ Property / cites work @@
+Extended Attribute Grammars
@@ Property / cites work: Extended Attribute Grammars / rank @@
+Normal rank