Skip to contents

Alpuente, María [Editor] ; LOPSTR 20 2010 Hagenberg im Mühlkreis

Logic-based program synthesis and transformation : 20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010; revised selected papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2011

Published in: Lecture notes in computer science ; 6564
Alpuente, Maria [Other]

Specialization of funtional logic programs based on needed narrowing

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Aachen: Techn. Hochsch., Fachgruppe Informatik, 1999

Published in: Aachener Informatik-Berichte ; 199904
Alpuente, María [Editor]; Vidal, Germán [Other] ; SAS 15 2008 Valencia

Static analysis : 15th International Symposium, SAS 2008, Valencia, Spain, July 16 - 18, 2008; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2008

Published in: Lecture notes in computer science ; 5079
Alpuente, María [Editor]; Cook, Byron [Other]; Joubert, Christophe [Other] ; FMICS 14 2009 Eindhoven

Formal methods for industrial critical systems : 14th international workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2009

Published in: Lecture notes in computer science ; 5825
Alpuente, María [Author]

Logic-Based Program Synthesis and Transformation : 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2011

Published in: Lecture notes in computer science ; 6564
Alpuente, María [Author] ; Cook, Byron [Other]; Joubert, Christophe [Other]

Formal Methods for Industrial Critical Systems : 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2009

Published in: Lecture notes in computer science ; 5825
Alpuente, María [Other] ; IEEE Computer Society, Institute of Electrical and Electronics Engineers

2nd International Workshop on Automated Specification and Verification of Web Systems, 2006 : WWV '06 ; selected papers from the 2nd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'06) ; special track of the 2nd Biennial Int'l. Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2006) ; November 19, 2006, Paphos, Cyprus

View online
Schließen

Access

http://ieeexplore.ieee.org/servlet/opac?punumber=4155975

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Los Alamitos, Calif. [u.a.]: IEEE Computer Society, 2007
Hutchison, David [Other]; Pandu Rangan, C. [Other]; Steffen, Bernhard [Other]; Sudan, Madhu [Other]; Terzopoulos, Demetri [Other]; Tygar, Doug [Other]; Vardi, Moshe Y. [Other]; Vidal, Germán [Other]; Weikum, Gerhard [Other]; Alpuente, María [Other]; Kanade, Takeo [Other]; Kittler, Josef [Other]; Kleinberg, Jon [Other]; Mattern, Friedemann [Other]; Mitchell, John C. [Other]; Naor, Moni [Other]; Nierstrasz, Oscar [Other]

Static Analysis : 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2008

Published in: Lecture notes in computer science ; 5079
Alpuente, María; Villanueva, Alicia

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems: Automated Synthesis of Software Contracts with KindSpec

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Nature Switzerland, 2023

Published in: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems (2023), Seite 51-71
Carrera Alpuente, Josep Maria

¿Por qué nodal?

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Universitat Politècnica de Catalunya, 2012

Published in: ACE: Architecture, City and Environment, 6 (2012) 18, Seite 193-208
Alpuente, María; Romero, Daniel

A Visual Technique for Web Pages Comparison

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 2009

Published in: Electronic Notes in Theoretical Computer Science, 235 (2009), Seite 3-18
Alpuente, María; Falaschi, Moreno

Programming Language Implementation and Logic Programming: Narrowing as an incremental constraint satisfaction algorithm

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 1991

Published in: Programming Language Implementation and Logic Programming (1991), Seite 111-122
Alpuente, María; Pardo, Daniel; Villanueva, Alicia

Abstract Contract Synthesis and Verification in the Symbolic 𝕂 Framework

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

IOS Press, 2020

Published in: Fundamenta Informaticae, 177 (2020) 3-4, Seite 235-273
Alpuente, María; Ballis, Demis; Sapiña, Julia

Imposing assertions in Maude via program transformation

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 2019

Published in: MethodsX, 6 (2019), Seite 2577-2583
Alpuente, María; Ballis, Demis; Sapiña, Julia

Mathematical Software – ICMS 2018: Inferring Safe Maude Programs with ÁTAME

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer International Publishing, 2018

Published in: Mathematical Software – ICMS 2018 (2018), Seite 1-10
Alpuente, María; Pardo, Daniel; Villanueva, Alicia

Logic-Based Program Synthesis and Transformation: Symbolic Abstract Contract Synthesis in a Rewriting Framework

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer International Publishing, 2017

Published in: Logic-Based Program Synthesis and Transformation (2017), Seite 187-202
Alpuente, María; Pardo, Daniel; Villanueva, Alicia

Automatic Inference of Specifications in the K Framework

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Open Publishing Association, 2015

Published in: Electronic Proceedings in Theoretical Computer Science, 200 (2015), Seite 1-17
Alpuente, María; Ballis, Demis; Romero, Daniel

A rewriting logic approach to the formal specification and verification of web applications

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 2014

Published in: Science of Computer Programming, 81 (2014), Seite 79-107
Alba-Castro, Mauricio; Alpuente, María; Escobar, Santiago

Formal Methods for Components and Objects: Abstract Certification of Global Non-interference in Rewriting Logic

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2010

Published in: Formal Methods for Components and Objects (2010), Seite 105-124
Alpuente, Maria; Ballis, Demis; Falaschi, Moreno

Lecture Notes in Computer Science: Transformation and Debugging of Functional Logic Programs

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2010

Published in: Lecture Notes in Computer Science (2010), Seite 271-299

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication