- -

Automatic inference of specifications using matching logic

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

Automatic inference of specifications using matching logic

Show full item record

Alpuente Frasnedo, M.; Feliú Gabaldón, MA.; Villanueva García, A. (2013). Automatic inference of specifications using matching logic. En Proceeding PEPM '13 Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation. Association for Computing Machinery (ACM). 127-136. doi:10.1145/2426890.2426914

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/55606

Files in this item

Item Metadata

Title: Automatic inference of specifications using matching logic
Author:
UPV Unit: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Issued date:
Abstract:
Formal specifications can be used for various software engineering activities ranging from finding errors to documenting software and automatic test-case generation. Automatically discovering specifications for heap-manipulating ...[+]
Subjects: Matching logic , Specifications inference , Symbolic execution
Copyrigths: Reserva de todos los derechos
ISBN: 978-1-4503-1842-6
Source:
Proceeding PEPM '13 Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation.
DOI: 10.1145/2426890.2426914
Publisher:
Association for Computing Machinery (ACM)
Publisher version: http://dx.doi.org/10.1145/2426890.2426914
Type: Capítulo de libro

This item appears in the following Collection(s)

Show full item record