scientific article; zbMATH DE number 2036331

zbMATH Open1030.68544MaRDI QIDQ4445768FDOQ4445768

Authors: Isao Sasano, Zhenjiang Hu, Masato Takeichi 

Publication date: 2 February 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2196/21960072.htm

Title of this publication is not available (Why is that?)

Recommendations

• Formal Methods for Components and Objects
• scientific article; zbMATH DE number 1755531
• scientific article; zbMATH DE number 2018578
• Two graph algorithms derived
• Pragmatic aspects of reusable program generators

zbMATH Keywords

Optimization ProblemFunctional ProgrammingAlgorithm SynthesisMaximum Marking ProblemProgram Generation Rule

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Functional programming and lambda calculus (68N18)

Cited In (2)

• Title not available (Why is that?)
• Longest segment of balanced parentheses: an exercise in program inversion in a segment problem

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4445768)