Matches in SemOpenAlex for { <https://semopenalex.org/work/W1537170012> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W1537170012 abstract "Some practical problems and their influence on semantics.- Compiling Haskell by program transformation: A report from the trenches.- Narrowing-driven partial evaluation of functional logic programs.- A multiple-valued logical semantics for Prolog.- Removing value encoding using alternative values in partial evaluation of strongly-typed languages.- A complete transformational toolkit for compilers.- Global analysis of standard Prolog programs.- Static detection of pointer errors: An axiomatisation and a checking algorithm.- Compositional optimization of disjunctive abstract interpretations.- A rewriting logic for declarative programming.- Durations for truly-concurrent transitions.- Flow analysis in the Geometry of Interaction.- Parametricity and unboxing with unpointed types.- Modular denotational semantics for compiler construction.- Compositional semantics of non-deterministic synchronous languages.- Checking system properties via integer programming.- Efficient minimization up to location equivalence.- A new approach to compiling adaptive programs.- Mode and termination checking for higher-order logic programs.- Linear time hierarchies for a functional language machine model.- Integer constraints to stop deforestation.- Towards an ML-style polymorphic type system for C.- Assumption/commitment rules for dataflow networks - with an emphasis on completeness.- Towards an expressive language for PDE solvers.- Rewrite systems with abstraction and ?-rule: Types, approximants and normalization." @default.
- W1537170012 created "2016-06-24" @default.
- W1537170012 creator A5012948241 @default.
- W1537170012 date "1996-04-01" @default.
- W1537170012 modified "2023-09-26" @default.
- W1537170012 title "Programming Languages and Systems, Esop '96: 6th European Symposium on Programming, Linkoping, Sweden, April 22-24, 1996 : Proceedings" @default.
- W1537170012 hasPublicationYear "1996" @default.
- W1537170012 type Work @default.
- W1537170012 sameAs 1537170012 @default.
- W1537170012 citedByCount "0" @default.
- W1537170012 crossrefType "book" @default.
- W1537170012 hasAuthorship W1537170012A5012948241 @default.
- W1537170012 hasConcept C128838566 @default.
- W1537170012 hasConcept C146206909 @default.
- W1537170012 hasConcept C150607116 @default.
- W1537170012 hasConcept C156325763 @default.
- W1537170012 hasConcept C169590947 @default.
- W1537170012 hasConcept C184337299 @default.
- W1537170012 hasConcept C199360897 @default.
- W1537170012 hasConcept C207648694 @default.
- W1537170012 hasConcept C2778361913 @default.
- W1537170012 hasConcept C2780624054 @default.
- W1537170012 hasConcept C34165917 @default.
- W1537170012 hasConcept C41008148 @default.
- W1537170012 hasConcept C42383842 @default.
- W1537170012 hasConcept C50033165 @default.
- W1537170012 hasConcept C79678938 @default.
- W1537170012 hasConcept C80444323 @default.
- W1537170012 hasConcept C81721847 @default.
- W1537170012 hasConceptScore W1537170012C128838566 @default.
- W1537170012 hasConceptScore W1537170012C146206909 @default.
- W1537170012 hasConceptScore W1537170012C150607116 @default.
- W1537170012 hasConceptScore W1537170012C156325763 @default.
- W1537170012 hasConceptScore W1537170012C169590947 @default.
- W1537170012 hasConceptScore W1537170012C184337299 @default.
- W1537170012 hasConceptScore W1537170012C199360897 @default.
- W1537170012 hasConceptScore W1537170012C207648694 @default.
- W1537170012 hasConceptScore W1537170012C2778361913 @default.
- W1537170012 hasConceptScore W1537170012C2780624054 @default.
- W1537170012 hasConceptScore W1537170012C34165917 @default.
- W1537170012 hasConceptScore W1537170012C41008148 @default.
- W1537170012 hasConceptScore W1537170012C42383842 @default.
- W1537170012 hasConceptScore W1537170012C50033165 @default.
- W1537170012 hasConceptScore W1537170012C79678938 @default.
- W1537170012 hasConceptScore W1537170012C80444323 @default.
- W1537170012 hasConceptScore W1537170012C81721847 @default.
- W1537170012 hasLocation W15371700121 @default.
- W1537170012 hasOpenAccess W1537170012 @default.
- W1537170012 hasPrimaryLocation W15371700121 @default.
- W1537170012 hasRelatedWork W1491259492 @default.
- W1537170012 hasRelatedWork W1493239136 @default.
- W1537170012 hasRelatedWork W1494783798 @default.
- W1537170012 hasRelatedWork W1503826890 @default.
- W1537170012 hasRelatedWork W1504480574 @default.
- W1537170012 hasRelatedWork W1513061173 @default.
- W1537170012 hasRelatedWork W1534873390 @default.
- W1537170012 hasRelatedWork W1538028634 @default.
- W1537170012 hasRelatedWork W1540230739 @default.
- W1537170012 hasRelatedWork W1541596890 @default.
- W1537170012 hasRelatedWork W1547036043 @default.
- W1537170012 hasRelatedWork W1548348968 @default.
- W1537170012 hasRelatedWork W1574972824 @default.
- W1537170012 hasRelatedWork W1579358114 @default.
- W1537170012 hasRelatedWork W1588059267 @default.
- W1537170012 hasRelatedWork W1596973835 @default.
- W1537170012 hasRelatedWork W1603788255 @default.
- W1537170012 hasRelatedWork W2121389878 @default.
- W1537170012 hasRelatedWork W2916415971 @default.
- W1537170012 hasRelatedWork W1948202499 @default.
- W1537170012 isParatext "false" @default.
- W1537170012 isRetracted "false" @default.
- W1537170012 magId "1537170012" @default.
- W1537170012 workType "book" @default.