Zum Inhalt springen

Alpuente, María [Herausgeber:in] ; 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

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 6564
Alpuente, Maria [Sonstige Person, Familie und Körperschaft]

Specialization of funtional logic programs based on needed narrowing

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Aachen: Techn. Hochsch., Fachgruppe Informatik, 1999

Erschienen in: Aachener Informatik-Berichte ; 199904
Alpuente, María [Herausgeber:in]; Vidal, Germán [Sonstige Person, Familie und Körperschaft] ; SAS 15 2008 Valencia

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

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 5079
Alpuente, María [Herausgeber:in]; Cook, Byron [Sonstige Person, Familie und Körperschaft]; Joubert, Christophe [Sonstige Person, Familie und Körperschaft] ; FMICS 14 2009 Eindhoven

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

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 5825
Alpuente, María [Verfasser:in] ; Cook, Byron [Sonstige Person, Familie und Körperschaft]; Joubert, Christophe [Sonstige Person, Familie und Körperschaft]

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

Online ansehen
Schließen

Zugang

... zum E-Book via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2009

Erschienen in: Lecture notes in computer science ; 5825
Alpuente, María [Verfasser:in]

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

Online ansehen
Schließen

Zugang

... zum E-Book via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2011

Erschienen in: Lecture notes in computer science ; 6564
Alpuente, María [Sonstige Person, Familie und Körperschaft] ; 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

Online ansehen
Schließen

Zugang

... zum E-Book via IEEE Xplore (Volltext)

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

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

Online ansehen
Schließen

Zugang

... zum E-Book via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2008

Erschienen 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

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Nature Switzerland, 2023

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

¿Por qué nodal?

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Universitat Politècnica de Catalunya, 2012

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

A Visual Technique for Web Pages Comparison

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 2009

Erschienen 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

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 1991

Erschienen 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

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

IOS Press, 2020

Erschienen 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

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 2019

Erschienen 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

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer International Publishing, 2018

Erschienen 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

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer International Publishing, 2017

Erschienen 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

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Open Publishing Association, 2015

Erschienen 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

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 2014

Erschienen 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

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2010

Erschienen 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

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2010

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

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr