Search results for: Julio Mariño

Items from 1 to 16 out of 16 results

article

Synthesis of verifiable concurrent Java components from formal models

Julio Mariño, Raúl N. N. Alborodo, Lars-Åke Fredlund, Ángel Herranz

Software & Systems Modeling > 2019 > 18 > 1 > 71-105

Concurrent systems are hard to program, and ensuring quality by means of traditional testing techniques is often very hard as errors may not show up easily and reproducing them is hard. In previous work, we have advocated a model-driven approach to the analysis and design of concurrent, safety-critical systems. However, to take full advantage of these techniques, they must be supported by code generation...

chapter

Using Static Analysis to Compile Non-sequential Functional Logic Programs?

Julio Mariño, Juan José Moreno-Navarro

Lecture Notes in Computer Science > Practical Aspects of Declarative Languages > Functional-Logic Programming > 63-80

The efficient implementation of functional logic languages relies on finding (if it exists) an optimal evaluation order for the arguments of functions. The problems of finding the best evaluation order, and the sequentiality of program rules are both difficult and can benefit from using static analysis techniques. The second problem is of special interest because the parallel evaluation of arguments...

chapter

Teaching How to Derive Correct Concurrent Programs from State-Based Specifications and Code Patterns

Manuel Carro, Julio Mariño, Ángel Herranz, Juan José Moreno-Navarro

Lecture Notes in Computer Science > Teaching Formal Methods > 85-106

The fun of teaching and learning concurrent programming is sometimes darkened by the difficulty in getting concurrent programs to work right. In line with other programming subjects in our department, we advocate the use of formal specifications to state clearly how a concurrent program must behave, to reason about this behavior, and to be able to produce code from specifications in a semi-automatic...

chapter

Efficient lazy narrowing using demandedness analysis

Juan José Moreno-Navarro, Herbert Kuchen, Julio Mariño-Carballo, Stephan Winkler, more

Lecture Notes in Computer Science > Progamming Language Implementation and Logic Programming > 167-183

Functional logic programming languages have a functional syntax and use narrowing as operational semantics. Here we consider the efficient implementation of lazy narrowing, a strategy which only evaluates the arguments of a function application, if their evaluation is really demanded. For an efficient implementation of lazy narrowing it is crucial to evaluate the arguments as early as possible. Otherwise...

chapter

Automatic Coding Rule Conformance Checking Using Logic Programming

Guillem Marpons, Julio Mariño, Manuel Carro, Ángel Herranz, more

Lecture Notes in Computer Science > Practical Aspects of Declarative Languages > 18-34

An extended practice in the realm of Software Engineering and programming in industry is the application of coding rules. Coding rules are customarily used to constrain the use (or abuse) of certain programming language constructions. However, these rules are usually written using natural language, which is intrinsically ambiguous and which may complicate their use and hinder their automatic enforcement...

chapter

Constructive Intensional Negation

Susana Muñoz-Hernández, Julio Mariño, Juan José Moreno-Navarro

Lecture Notes in Computer Science > Functional and Logic Programming > Refereed Papers Logic and Functional-Logic Programming > 39-54

Although negation is an active area of research in Logic Programming, sound and complete implementations are still absent from actual Prolog systems. One of the most promising techniques in the literature is Intensional Negation (IN), which follows a transformational approach: for each predicate p in a program its negative counterpart ${\mathit{intneg}}(p)$ is generated. However, implementations...

chapter

Modeling Concurrent Systems with Shared Resources

Ángel Herranz, Julio Mariño, Manuel Carro, Juan José Moreno Navarro

Lecture Notes in Computer Science > Formal Methods for Industrial Critical Systems > Contributed Papers > 102-116

Testing is the more widely used approach to (partial) system validation in industry. The introduction of concurrency makes exhaustive testing extremely costly or just impossible, requiring shifting to formal verification techniques. We propose a methodology to design and verify a concurrent system that splits the verification problem in two independent tasks: internal verification of shared resources,...

book

Functional and Constraint Logic Programming

Julio Mariño

Lecture Notes in Computer Science

This book contains a selection of the papers presented at the 19^th International Workshop on Functional and Constraint Logic Programming, WFLP 2010, held in Madrid, Spain, in January 2010, as part of the ACM-SIGPLAN Principles of Programming Languages event, POPL 2010. From the 15 papers submitted, 12 were accepted for presentation at the workshop. The 8 regular papers presented in this volume were...

article

Constraint logic programming with a relational machine

Emilio Jesús Gallego Arias, James Lipton, Julio Mariño

Formal Aspects of Computing > 2017 > 29 > 1 > 97-124

We present a declarative framework for the compilation of constraint logic programs into variable-free relational theories which are then executed by rewriting. This translation provides an algebraic formulation of the abstract syntax of logic programs. Logic variables, unification, and renaming apart are completely elided in favor of manipulation of variable-free relation expressions. In this setting,...

chapter

Applying Property-Based Testing in Teaching Safety-Critical System Programming

Lars-Ake Fredlund, Angel Herranz, Julio Marino

2015 41st Euromicro Conference on Software Engineering and Advanced Applications > 309 - 316

2015 41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA)

At the Universidad Politécnica de Madrid students attending a course on concurrency are taught a high-level formalism which permits concise specification of shared resources. This formalism is used to express safety-critical access policies for typical control problems such as robot plants. Students are moreover provided with programming recipes for implementing such shared resource specifications...

chapter

Teaching Students Property-Based Testing

Clara Benac Earle, Lars-Ake Fredlund, Julio Marino, Thomas Arts

2014 40th EUROMICRO Conference on Software Engineering and Advanced Applications > 437 - 442

2014 40th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA)

Testing is a crucial aspect of the development of dependable embedded systems, and therefore a significant effort is put into researching and developing efficient testing techniques. However, testing is not normally taught in specific courses at many universities, but rather as a peripheral activity to programming. In this paper, we report on three separate experiences at teaching an advanced testing...

chapter

Property-Based Testing of JSON Based Web Services

Lars Ake Fredlund, Clara Benac Earle, Angel Herranz, Julio Marino

2014 IEEE International Conference on Web Services > 704 - 707

2014 IEEE International Conference on Web Services (ICWS)

This article describes a systematic approach to testing behavioural aspects of Web Services that communicate using the JSON data format. As a key component, the Quviq QuickCheck property-based testing tool is used to automatically generate a large number of test cases from an abstract description of the service behaviour in the form of a finite state machine. The same behavioural description is also...

article

A Tool for the Integration of Constraint Solving in Spreadsheets

Ana María Fernández-Soriano, Julio Mariño, Ángel Herranz

Electronic Notes in Theoretical Computer Science > 2012 > 282 > Complete > 35-45

Spreadsheets have become widely used tools, but they are applied to increasingly complex problems, far beyond the kind of tasks for which they were originally conceived. This often results in large, hard to maintain sheets, with little guarantee about their correctness. Potential errors are due in part to unskilled users and also to the spreadsheet systemsʼ own limitations. This contribution presents...

article

A Coding Rule Conformance Checker Integrated into GCC

Guillem Marpons, Julio Mariño, Manuel Carro, Ángel Herranz, more

Electronic Notes in Theoretical Computer Science > 2009 > 248 > Complete > 149-159

Coding rules are often used in industry to foster best practices when coding software and to avoid the many hazardous constructions present in languages such as C or C++. Predictable, reliable tools are needed to automatically measure adherence to these practices, as manually checking for compliance is cumbersome. Moreover, due to the wide range of possible coding rule sets, easy of customization...

article

Implementing Constructive Intensional Negation

Julio Mariño, Juan José Moreno-Navarro, Susana Munoz-Hernandez

New Generation Computing > 2008 > 27 > 1 > 25-56

Although negation is an active area of research in logic programming, sound and complete implementations are still absent from actual Prolog systems. One of the most promising techniques in the literature is intensional negation (IN), which follows a transformational approach: for each predicate p in a program its negative counterpart intneg(p) is generated. However, implementations of IN have not...

article

A Proposal for Disequality Constraints in Curry

Emilio Jesús Gallego Arias, Julio Mariño Carballo, José María Rey Poza

Electronic Notes in Theoretical Computer Science > 2007 > 177 > Complete > 269-285

We describe the introduction of disequality constraints over algebraic data terms in the functional logic language Curry, and their implementation in Sloth, our Curry compiler. This addition extends the standard definition of Curry in several ways. On one hand, we provide a disequality counterpart to the constraint equality operator (=:=). Secondly, boolean equality operators are also redefined to...

Filter options

Publication date

Set your own date range

INFONA - science communication portal

Search results for: Julio Mariño

Synthesis of verifiable concurrent Java components from formal models

Using Static Analysis to Compile Non-sequential Functional Logic Programs?

Teaching How to Derive Correct Concurrent Programs from State-Based Specifications and Code Patterns

Efficient lazy narrowing using demandedness analysis

Automatic Coding Rule Conformance Checking Using Logic Programming

Constructive Intensional Negation

Modeling Concurrent Systems with Shared Resources

Functional and Constraint Logic Programming

Constraint logic programming with a relational machine

Applying Property-Based Testing in Teaching Safety-Critical System Programming

Teaching Students Property-Based Testing

Property-Based Testing of JSON Based Web Services

A Tool for the Integration of Constraint Solving in Spreadsheets

A Coding Rule Conformance Checker Integrated into GCC

Implementing Constructive Intensional Negation

A Proposal for Disequality Constraints in Curry

Filter options

Publication date

Content availability

Publication type

Keywords

Data set

Journal

INFONA - science communication portal

Search results for: Julio Mariño

Add recipient

Sending message cancelled

Are you sure you want to cancel sending this message?

Send message

Filter options

Publication date

Date range setting

Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.

Content availability

Publication type

Keywords

Data set

Journal

Reporting an error / abuse

Sending the report failed

Accessibility options