scientific article
From MaRDI portal
Publication:3992424
zbMath0744.68013MaRDI QIDQ3992424
No author found.
Publication date: 17 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
ProceedingsWorkshoppartial evaluationPartial evaluationinterpretercompiler generationmixed computationMixed computationprogram specializationparser generationGammel Avernaes (Denmark)self-application of mixed computation processor
Theory of compilers and interpreters (68N20) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Semantics in the theory of computing (68Q55) General topics in the theory of software (68N01)
Related Items (7)
Category-sorted algebra-based action semantics ⋮ Proving the correctness of recursion-based automatic program transformations ⋮ Semantics-directed compilation of nonlinear patterns ⋮ Unnamed Item ⋮ From partial evaluation to mixed computation ⋮ Essence of generalized partial computation ⋮ Deductive and inductive synthesis of equational programs
This page was built for publication:
