scholarly journals Semantic code browsing

2016 ◽  
Vol 16 (5-6) ◽  
pp. 721-737 ◽  
Author(s):  
ISABEL GARCÍA-CONTRERAS ◽  
JOSÉ F. MORALES ◽  
MANUEL V. HERMENEGILDO
Keyword(s):  
Abstract Interpretation ◽  
Query Language ◽  
Query Languages ◽  
Keyword Extraction ◽  
Analysis Techniques ◽  
Signature Matching ◽  
Novel Approach ◽  
Fully Automatic ◽  
Code Search Engines ◽  
Very High

AbstractProgrammers currently enjoy access to a very high number of code repositories and libraries of ever increasing size. The ensuing potential for reuse is however hampered by the fact that searching within all this code becomes an increasingly difficult task. Most code search engines are based on syntactic techniques such as signature matching or keyword extraction. However, these techniques are inaccurate (because they basically rely on documentation) and at the same time do not offer very expressive code query languages. We propose a novel approach that focuses on querying for semantic characteristics of code obtained automatically from the code itself. Program units are pre-processed using static analysis techniques, based on abstract interpretation, obtaining safe semantic approximations. A novel, assertion-based code query language is used to express desired semantic characteristics of the code as partial specifications. Relevant code is found by comparing such partial specifications with the inferred semantics for program elements. Our approach is fully automatic and does not rely on user annotations or documentation. It is more powerful and flexible than signature matching because it is parametric on the abstract domain and properties, and does not require type definitions. Also, it reasons with relations between properties, such as implication and abstraction, rather than just equality. It is also more resilient to syntactic code differences. We describe the approach and report on a prototype implementation within the Ciao system.

scholarly journals Automated Generation of Personal Data Reports from Relational Databases

2011 ◽  
Vol 10 (02) ◽  
pp. 193-208 ◽  
Author(s):  
Georgios John Fakas ◽  
Ben Cawley ◽  
Zhi Cai
Keyword(s):  
Prior Knowledge ◽  
Data Protection ◽  
Relational Databases ◽  
Query Language ◽  
Personal Data ◽  
Query Languages ◽  
Hash Tables ◽  
Automated Generation ◽  
Novel Approach ◽  
Performance Results

This paper presents a novel approach for extracting personal data and automatically generating Personal Data Reports (PDRs) from relational databases. Such PDRs can be used among other purposes for compliance with Subject Access Requests of Data Protection Acts. Two methodologies with different usability characteristics are introduced: (1) the GDSBased Method and (2) the By Schema Browsing Method. The proposed methdologies combine the use of graphs and query languages for the construction of PDRs. The novelty of these methodologies is that they do not require any prior knowledge of either the database schema or of any query language by the users. An optimisation algorithm is proposed that employs Hash Tables and reuses already found data. We conducted several queries on two standard benchmark databases (i.e. TPC-H and Microsoft Northwind) and we present the performance results.

A Survey of Parametric Static Analysis

2021 ◽  
Vol 54 (7) ◽  
pp. 1-37
Author(s):  
Jihyeok Park ◽  
Hongki Lee ◽  
Sukyoung Ryu
Keyword(s):  
Recent Work ◽  
Static Analysis ◽  
Abstract Interpretation ◽  
Black Box ◽  
Parameter Selection ◽  
Survey Analysis ◽  
Future Directions ◽  
Analysis Techniques ◽  
Analysis Quality

Understanding program behaviors is important to verify program properties or to optimize programs. Static analysis is a widely used technique to approximate program behaviors via abstract interpretation. To evaluate the quality of static analysis, researchers have used three metrics: performance, precision, and soundness. The static analysis quality depends on the analysis techniques used, but the best combination of such techniques may be different for different programs. To find the best combination of analysis techniques for specific programs, recent work has proposed parametric static analysis . It considers static analysis as black-box parameterized by analysis parameters , which are techniques that may be configured without analysis details. We formally define the parametric static analysis, and we survey analysis parameters and their parameter selection in the literature. We also discuss open challenges and future directions of the parametric static analysis.

Effect of Lateral Pipe-Soil Interaction on Controlled Lateral Buckling Using Pre-Deformed Pipeline

2018 ◽  
Author(s):  
Jayden Chee ◽  
Alastair Walker ◽  
David White
Keyword(s):  
High Temperature ◽  
Longitudinal Strain ◽  
Flow Line ◽  
Soft Clay ◽  
Axial Stiffness ◽  
Lateral Buckling ◽  
Novel Approach ◽  
Different Response ◽  
Local Variability ◽  
Very High

A novel approach to eliminate the onset of global buckling in pipelines is investigated in the paper. The method is based on pre-deforming a pipeline continuously with a specific wavelength and amplitude prior to installation on the seabed. The response of the pipeline to applied high temperature and pressure was studied in conjunction with variations in the lateral pipe-soil interaction (PSI) — both as uniform friction along the pipe and also with locally varying friction. Pipe and seabed parameters representing a typical wet-insulated infield flow line on soft clay are used. The pre-deformed pipeline has a higher buckle initiation temperature compared to a straight pipeline due to the reduced effective axial force build-up resulting from the low axial stiffness generated by the pre-deformed lobes along the pipeline. The results from this paper show that the strains in the pre-deformed pipeline are not significantly affected by the local variability of lateral PSI but rather by the global mean PSI. At a typical lateral soil resistance, i.e. a friction coefficient of 0.5, lateral buckling occurs at a very high temperature level that is not common in the subsea operation. At a very low friction, i.e. 0.1, lateral buckling occurs at a lower operating temperature but the strain is insignificant. The longitudinal strain of the pipeline is not highly sensitive to the lateral PSI, which is a quite different response to an initially straight pipeline. Therefore, this method could prove to be a valuable tool for the subsea industry as it enables the pipeline to be installed and operated safely at very high temperatures without the need for lateral buckling design and installation of expensive structures as buckle initiators. Even if the pre-deformed pipeline buckles at a very high temperature, during cycles of heat-up and cool-down the buckle shape ‘shakes down’ by geometric rearrangement to minimize the energy, and in doing so creates a series of ‘short pipelines’ in which the longitudinal strain is self-controlled. The system is therefore shown to be very robust in the conditions investigated and not affected by one of the biggest unknowns in seabed pipeline engineering, which is the local variability in lateral PSI.

scholarly journals Kepuasan Konsumen Sunyi House of Coffee and Hope

2020 ◽  
Vol 8 (3) ◽  
pp. 249-260
Author(s):  
Berliana Adinda Lorenssa ◽  
Miguna Astuti ◽  
Renny Husniati
Keyword(s):  
Customer Satisfaction ◽  
Service Quality ◽  
Consumer Satisfaction ◽  
Sampling Method ◽  
Descriptive Data ◽  
Coffee Shop ◽  
Analysis Techniques ◽  
Employees With Disabilities ◽  
Quantitative Descriptive ◽  
Very High

In this research there is a quantitative descriptive methods were used with respondents, namely consumers of Sunyi House of Coffee and Hope. This coffee shop has employees with disabilities. In this research aims to determine the condition of consumer satisfaction Sunyi House of Coffee and Hope is influenced by the service quality, location and facilities. The population in this study are customers of Sunyi House of Coffee and Hope. Samples taken as many as 100 respondents by random sampling method. Data collection was done through the distribution of questionnaires with descriptive data analysis techniques. The results of the study stated that 1). Has led to customer satisfaction Sunyi House of Coffee and Hope, 2). Service quality has been done well, 3). The location offered received very high attention, 4). The facilities provided are quite good. Keywords : Service Quality, Location, Facilities, Customer Satisfaction, Coffee Shop

DocBase

2013 ◽  
pp. 365-393
Author(s):  
Arijit Sengupta ◽  
Ramesh Venkataraman
Keyword(s):  
Query Processing ◽  
Query Language ◽  
Formal Model ◽  
Query Languages ◽  
Prototype System ◽  
Storage And Retrieval ◽  
Visual Query Formulation ◽  
Visual Query ◽  
Nested Relations ◽  
Entity Relationship

This chapter introduces a complete storage and retrieval architecture for a database environment for XML documents. DocBase, a prototype system based on this architecture, uses a flexible storage and indexing technique to allow highly expressive queries without the necessity of mapping documents to other database formats. DocBase is an integration of several techniques that include (i) a formal model called Heterogeneous Nested Relations (HNR), (ii) a conceptual model XER (Extensible Entity Relationship), (ii) formal query languages (Document Algebra and Calculus), (iii) a practical query language (Document SQL or DSQL), (iv) a visual query formulation method with QBT (Query By Templates), and (v) the DocBase query processing architecture. This paper focuses on the overall architecture of DocBase including implementation details, describes the details of the query-processing framework, and presents results from various performance tests. The paper summarizes experimental and usability analyses to demonstrate its feasibility as a general architecture for native as well as embedded document manipulation methods.

Querying GML

2010 ◽  
pp. 11-19 ◽  
Author(s):  
Jose E. Córcoles ◽  
Pascual González
Keyword(s):  
Spatial Data ◽  
Query Language ◽  
Query Languages ◽  
Structured Data ◽  
Large Set ◽  
Topological Relationship ◽  
Xml Document ◽  
Spatial Operators

As a database format, XML (GML by extension) can be queried. In order to do this, we need a query language (of general use) to retrieve information from an XML document. Nevertheless, it is necessary to enrich the query language over XML features with spatial operators if we wish to apply it over spatial data encoded with GML. Otherwise, these query languages could only be used to query alphanumeric features of an XML document and not, for example, the topological relationship between two spatial regions. Today, there is a large set of query languages over XML. These query languages are different with respect to syntax, available operators and environment of applicability. However, they share the same features, that is, features of query languages over semi-structured data. With respect to GML, from the literature, it is known that four GML query languages have been proposed. The following chapter briefly describes these query languages over GML.

scholarly journals Incorporation of T and B epitopes of the circumsporozoite protein in a chemically defined synthetic vaccine against malaria.

1990 ◽  
Vol 171 (1) ◽  
pp. 299-306 ◽  
Author(s):  
J P Tam ◽  
P Clavijo ◽  
Y A Lu ◽  
V Nussenzweig ◽  
R Nussenzweig ◽  
...  
Keyword(s):  
Inbred Mouse ◽  
Inbred Mouse Strain ◽  
Circumsporozoite Protein ◽  
T Helper ◽  
Peptide Antigen ◽  
Rodent Malaria ◽  
Synthetic Vaccines ◽  
Novel Approach ◽  
Malaria Model ◽  
Very High

We show here an effective and novel approach to engineer peptide-based vaccines using a chemically defined system, known as multiple peptide antigen systems (MAPs), to protect an inbred mouse strain from infection against rodent malaria. 10 mono- and di-epitope MAP models containing different arrangements and stoichiometry of functional B and/or T helper cell epitopes from the circumsporozoite protein of Plasmodium berghei were used to immunize A/J mice. While these mice did not respond to the mono-epitope MAP bearing only the B or T epitope, very high titers of antibody and protective immunity against sporozoite challenge were elicited by di-epitope MAPs, particularly those with the B and T epitopes in tandem and present in equimolar amounts. These results, obtained in a well-defined rodent malaria model, indicate that MAPs may overcome some of the difficulties in the development of synthetic vaccines, not only for malaria but also for other infectious diseases.

Sign in / Sign up

Export Citation Format

Share Document