PQL: A Purely-Declarative Java Extension for Parallel Programming

Reichenbach, Christoph; Smaragdakis, Yannis; Immerman, Neil

doi:10.1007/978-3-642-31057-7_4

Cited by 10 publications

(6 citation statements)

References 16 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…But, in a sense this is a feature and not a bug. Our tool is modular enough to accommodate for input from more sophisticated forms of search terms, like declarative queries or more sophisticated expressions as proposed in literature [13][14] [15].…”

Section: E Impact Of the Search Termsmentioning

confidence: 99%

Fex: Assisted Identification of Domain Features from C Programs

Müller¹,

Narasimhan²,

Mezini³

2021

Preprint

View full text Add to dashboard Cite

Modern software typically performs more than one functionality. These functionalities or features are not always organized in a way for modules representing these features to be used individually. Many software engineering approaches like programming language constructs, or product line visualization techniques have been proposed to organize projects as modules. Unfortunately, much legacy software suffer from years or decades of improper coding practices that leave the modules in the code almost undetectable. In such scenarios, a desirable requirement is to identify modules representing different features to be extracted. In this paper, we propose a novel approach that combines information retrieval and program analysis approaches to allow domain experts to identify slices of the program that represent modules using natural language search terms. We evaluate our approach by building a proof of concept tool in C, and extract modules from open source projects.

show abstract

Section: E Impact Of the Search Termsmentioning

confidence: 99%

Fex: Assisted Identification of Domain Features from C Programs

Müller¹,

Narasimhan²,

Mezini³

2021

Preprint

View full text Add to dashboard Cite

show abstract

“…Design declarative languages. Finally, I have had the opportunity to see declarative languages not just from the perspective of a power user and design advisor, but also from that of a core designer and implementer [18,19]. This dual view has been essential in forming my understanding of the principles and effects of next-paradigm languages.…”

Section: -Me 2 Where I Come Frommentioning

confidence: 99%

Next-paradigm programming languages: what will they look like and what changes will they bring?

Smaragdakis

2019

Proceedings of the 2019 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Sof

Self Cite

View full text Add to dashboard Cite

The dream of programming language design is to bring about orders-of-magnitude productivity improvements in software development tasks. Designers can endlessly debate on how this dream can be realized and on how close we are to its realization. Instead, I would like to focus on a question with an answer that can be, surprisingly, clearer: what will be the common principles behind next-paradigm, high-productivity programming languages, and how will they change everyday program development? Based on my decade-plus experience of heavy-duty development in declarative languages, I speculate that certain tenets of highproductivity languages are inevitable. These include, for instance, enormous variations in performance (including automatic transformations that change the asymptotic complexity of algorithms); a radical change in a programmer's workflow, elevating testing from a near-menial task to an act of deep understanding; a change in the need for formal proofs; and more.[W]e've passed the point of diminishing returns. No future language will give us the factor of 10 advantage that assembler gave us over binary. No future language will give us 50%, or 20%, or even 10% reduction in workload.Robert C. Martin [17]

show abstract

“…As a result, decisions concerning optimisation have to be made by programmers. Transparent and aggressive compile-time optimisations can be achieved by introducing a query language extension into a programming language compiler [29].…”

Section: Related Work and The State-of-the-artmentioning

confidence: 99%

A step towards genuine declarative language-integrated queries

Adamus¹,

Kowalski²,

Wislicki³

2015

Annals of Computer Science and Information Systems

View full text Add to dashboard Cite

Abstract-Native functional-style querying extensions for programming languages (e.g., LINQ or Java 8 streams) are widely considered as declarative. However, their very limited degree of optimisation when dealing with local collection processing contradicts this statement. We show that developers constructing complex LINQ queries or combining queries expose themselves to the risk of severe performance deterioration. For an inexperienced programmer, a way of getting an appropriate query form can be too complicated. Also, a manual query transformation is justified by the need of improving performance, but achieved at the expense of reflecting an actual business goal. As a result, benefits from a declarative form and an increased level of abstraction are lost.In this paper, we claim that moving of selected methods for automated optimisation elaborated for declarative query languages to the level of imperative programming languages is possible and desired. We propose an optimisation method for collection-processing constructs based on higher-order functions through factoring out of free expressions in order to avoid unnecessary multiple calculations. We have implemented and verified this idea as a simple proof-of-concept LINQ optimiser library.

show abstract

PQL: A Purely-Declarative Java Extension for Parallel Programming

Cited by 10 publications

References 16 publications

Fex: Assisted Identification of Domain Features from C Programs

Fex: Assisted Identification of Domain Features from C Programs

Next-paradigm programming languages: what will they look like and what changes will they bring?

A step towards genuine declarative language-integrated queries

Contact Info

Product

Resources

About