Operational semantics for declarative multi-paradigm languages (Q2456574): Difference between revisions

@@ Property / author @@
+Javier Oliver
@@ Property / author: Javier Oliver / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+BABEL
@@ Property / describes a project that uses: BABEL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Erlang
@@ Property / describes a project that uses: Erlang / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Kernel-LEAF
@@ Property / describes a project that uses: Kernel-LEAF / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TOY
@@ Property / describes a project that uses: TOY / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Haskell
@@ Property / describes a project that uses: Haskell / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jsc.2004.01.001
+Normal rank
@@ Property / OpenAlex ID @@
+W1980781982
@@ Property / OpenAlex ID: W1980781982 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4421874
@@ Property / cites work: Q4421874 / rank @@
+Normal rank
@@ Property / cites work @@
+Operational semantics for declarative multi-paradigm languages
+Normal rank
@@ Property / cites work @@
+Q4413065
@@ Property / cites work: Q4413065 / rank @@
+Normal rank
@@ Property / cites work @@
+The narrowing-driven approach to functional logic program specialization
+Normal rank
@@ Property / cites work @@
+Q4808813
@@ Property / cites work: Q4808813 / rank @@
+Normal rank
@@ Property / cites work @@
+A needed narrowing strategy
@@ Property / cites work: A needed narrowing strategy / rank @@
+Normal rank
@@ Property / cites work @@
+Q2729761
@@ Property / cites work: Q2729761 / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Q4268493
@@ Property / cites work: Q4268493 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3976026
@@ Property / cites work: Q3976026 / rank @@
+Normal rank
@@ Property / cites work @@
+A mathematical definition of full Prolog
@@ Property / cites work: A mathematical definition of full Prolog / rank @@
+Normal rank
@@ Property / cites work @@
+Q4839029
@@ Property / cites work: Q4839029 / rank @@
+Normal rank
@@ Property / cites work @@
+Run-Time Profiling of Functional Logic Programs
@@ Property / cites work: Run-Time Profiling of Functional Logic Programs / rank @@
+Normal rank
@@ Property / cites work @@
+GOFFIN: Higher-order functions meet concurrent constraints
+Normal rank
@@ Property / cites work @@
+Denotational and operational semantics for prolog
@@ Property / cites work: Denotational and operational semantics for prolog / rank @@
+Normal rank
@@ Property / cites work @@
+Q4944885
@@ Property / cites work: Q4944885 / rank @@
+Normal rank
@@ Property / cites work @@
+Kernel-LEAF: A logic plus functional language
@@ Property / cites work: Kernel-LEAF: A logic plus functional language / rank @@
+Normal rank
@@ Property / cites work @@
+An approach to declarative programming based on a rewriting logic
+Normal rank
@@ Property / cites work @@
+Sequential abstract-state machines capture sequential algorithms
+Normal rank
@@ Property / cites work @@
+Q5284550
@@ Property / cites work: Q5284550 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2736364
@@ Property / cites work: Q2736364 / rank @@
+Normal rank
@@ Property / cites work @@
+The integration of functions into logic programming: From theory to practice
+Normal rank
@@ Property / cites work @@
+Higher-order narrowing with definitional trees
@@ Property / cites work: Higher-order narrowing with definitional trees / rank @@
+Normal rank
@@ Property / cites work @@
+Q2763698
@@ Property / cites work: Q2763698 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992908
@@ Property / cites work: Q3992908 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4259975
@@ Property / cites work: Q4259975 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programming with functions and predicates: The language Babel
+Normal rank
@@ Property / cites work @@
+Q4414308
@@ Property / cites work: Q4414308 / rank @@
+Normal rank
@@ Property / cites work @@
+Deriving a lazy abstract machine
@@ Property / cites work: Deriving a lazy abstract machine / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity
+Normal rank
@@ Property / cites work @@
+Q3490936
@@ Property / cites work: Q3490936 / rank @@
+Normal rank
@@ Property / cites work @@
+A foundation for higher-order concurrent constraint programming
+Normal rank
@@ Property / cites work @@
+Cost-augmented partial evaluation of functional logic programs
+Normal rank