Transformation of structure-shy programs with application to XPath queries and strategic functions

DOI10.1016/j.scico.2010.01.003zbMath1215.68066OpenAlexW2166215254MaRDI QIDQ532417

Alcino Cunha, Joost Visser

Publication date: 4 May 2011

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/1822/14886

zbMATH Keywords

type generalizationalgebraic program transformationpoint-free program calculationstrategic functional programmingtype specializationXML query languages

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Functional programming and lambda calculus (68N18) Data structures (68P05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants

Uses Software

• Stratego
• Polyp
• RepLib
• XPath
• XPTO

Cites Work

• Typed generic traversal with term rewriting strategies
• Strongly Typed Rewriting For Coupled Software Transformation
• Associated type synonyms
• Typing dynamic typing
• Scrap your boilerplate with XPath-like combinators
• Generic Views on Data Types
• A Framework for Point-Free Program Transformation
• Can programming be liberated from the von Neumann style?
• Algebraic Specialization of Generic Functions for Recursive Types
• Constraint-aware Schema Transformation
• Type checking with open type functions
• A new approach to generic functional programming
• Mathematics of Program Construction
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Transformation of structure-shy programs with application to XPath queries and strategic functions