NDLI: Combining fuzzy logic and behavioral similarity for non-strict program validation

Please wait, while we are loading the content...

Combining fuzzy logic and behavioral similarity for non-strict program validation

Type-oriented construction of web user interfaces

Type inference for spreadsheets

Rewriting term-graphs with priority

Combining algorithmic debugging and program slicing

One-and-a-halfth-order logic

Condate: a proto-language at the confluence between checking and compiling

Typed polyadic pi-calculus in bigraphs

An abductive framework for a-priori verification of web services

Polymorphic algebraic data type reconstruction

Computing constructor forms with non terminating rewrite programs

Practical type inference based on success typings

A modal type system for multi-level generating extensions with persistent code

Compiling ML polymorphism with explicit layout bitmap

Constraint handling rules: the story so far

An efficient algorithm for XML type projection

Extracting programs from type class proofs

Open data types and open functions

Collection analysis for Horn clause programs

Inferring dynamic credentials for rôle-based trust management

A type system equivalent to static single assignment

BASS: boxed ambients with safe sessions

A historic functional and object-oriented calculus

Poly-controlled partial evaluation

Combining fuzzy logic and behavioral similarity for non-strict program validation

Content Provider	ACM Digital Library
Author	De Roover, Coen Brichau, Johan D'Hondt, Theo
Abstract	The quality of an application's implementation can be assured by validating the presence or absence of a set of user-prescribed software patterns such as software engineering best practices, programming conventions and indications of poor programming. Most of the existing pattern detection techniques, however, interpret pattern descriptions in an inflexible manner, leaving the quality assurance tool to approve only the most strictly adhering pattern implementations. In order to detect various concrete pattern implementations using a single pattern description, we have combined logic meta programming ---wherein patterns can be expressed as constraints over facts representing a program's source code---, fuzzy logic and static program analysis in a way that is completely transparent to the end-user. We have achieved this by having the conditions in a logic rule interpreted as constraints over the run-time behavior source code constructs give rise to instead of as constraints over the literal source code constructs themselves. This way, a pattern's abstract description often suffices to recognize various concrete implementation variants with an indication of the similarity between the recognized implementation and the abstract pattern description.
Starting Page	15
Ending Page	26
Page Count	12
File Format	PDF
ISBN	1595933883
DOI	10.1145/1140335.1140339
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2006-07-10
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Points-to analysis Fuzzy logic programming Logic meta programming Quality assurance of object-oriented programs Program validation Program analysis
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Abstract combining fuzzy logic and behavioral similarity for non-strict program validation.

Combining fuzzy logic and behavioral similarity for non-strict program validation (2006)

Behavioral similarity matching using concrete source code templates in logic queries

Towards an object-oriented methodology for deductive synthesis of logic programs (1995).

Semantics of meta-logic in an algebra of programs

Fuzzy logic rules modeling similarity-based strict equality

Towards an object-oriented methodology for deductive synthesis of logic programs (1996).

An approach to reverse quality assurance with data-oriented program analysis

A Logic Meta-Programming Foundation for Example-Driven Pattern Detection in Object-Oriented Programs

Combining fuzzy logic and behavioral similarity for non-strict program validation

Similar Documents

Abstract combining fuzzy logic and behavioral similarity for non-strict program validation.

Combining fuzzy logic and behavioral similarity for non-strict program validation (2006)

Behavioral similarity matching using concrete source code templates in logic queries

Towards an object-oriented methodology for deductive synthesis of logic programs (1995).

Semantics of meta-logic in an algebra of programs

Fuzzy logic rules modeling similarity-based strict equality

Towards an object-oriented methodology for deductive synthesis of logic programs (1996).

An approach to reverse quality assurance with data-oriented program analysis

A Logic Meta-Programming Foundation for Example-Driven Pattern Detection in Object-Oriented Programs

Combining fuzzy logic and behavioral similarity for non-strict program validation