Boilerplates for Reconfigurable Systems: A Language and Its Semantics

DOI10.1007/978-3-642-40922-6_6zbMath1405.68081OpenAlexW54235812MaRDI QIDQ5410471

Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa

Publication date: 16 April 2014

Published in: Programming Languages (Search for Journal in Brave)

Full work available at URL: http://repositorio.inesctec.pt/handle/123456789/6324

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)