Results 1 - 10 of 3,121

Domain Specific Code Repository using Elasticsearch

by Mrs Chetna Achar, Pravin Kumar, Kamlashankar Mishra
"... Abstract — Various software development companies have their own code repository for future reference. This code repository consist of previous projects and code worked on, by company employees. Taking up a new project or working on a module of some current project, developers come across coding cha ..."
Abstract - Add to MetaCart
to this problem exists in the code repository in form of chunks of code in files. However searching for a specific peace of code in the repository may be a tedious job. And sometimes may even take more time than writing the code itself, from scratch. This paper proposes the use of elastic search for indexing

1 Detecting Domain-specific Coding Errors with Static Analysis

by Paul Anderson Ph. D
"... Advanced static-analysis tools for finding programming errors have become very popular recently. These detect many common generic programming errors such as null pointer dereferences, buffer overruns, and race conditions. Most major static-analysis tools also provide an interface that can be used to ..."
Abstract - Add to MetaCart
to find domain-specific errors. This paper describes how custom domain-specific checkers can be used to improve software quality in complex embedded systems. 1.

Type-Safe Domain-Specific Code Graph Construction Using Scala

by Simon C: Broadhead , 2015
"... As an extension to the ongoing Coconut (COde COnstructing User Tool) project at McMaster University, we present a Scala library for constructing type-safe domain-specific languages that uses Coconut’s hypergraph-based representation of code (code graphs) as the intermediate representation. Our lib ..."
Abstract - Add to MetaCart
As an extension to the ongoing Coconut (COde COnstructing User Tool) project at McMaster University, we present a Scala library for constructing type-safe domain-specific languages that uses Coconut’s hypergraph-based representation of code (code graphs) as the intermediate representation. Our

The Computational Brain.

by P S Churchland , T J Sejnowski , Bruce Bridgeman , 1994
"... Keywords: reductionism, neural networks, distributed coding, Karl Pribram, computational neuroscience, receptive field 1.1 The broad goal of this book, expressed at the start, is ``to understand how neurons give rise to a mental life.'' A mental reductionism is assumed in this seductively ..."
Abstract - Cited by 450 (7 self) - Add to MetaCart
in a number of domains. 1.2 The book has several parts. First, the authors introduce their approach, combining anatomical, physiological, behavioral and modelling methods in an integrated interdisciplinary attack on specific functional systems. There follows a review of enough anatomy

H.: Domain-Specific Engineering of Domain-Specific Languages

by Raphael Mannadiar, Hans Vangheluwe - Proceedings of the 10th Workshop on Domain-Specific Modeling , 2010
"... Domain-specific modelling (DSM) enables experts of arbi-trary domains to perform modelling tasks using familiar constructs. This contrasts with common code-centric de-velopment approaches where programmers deal with object-oriented approximations of higher level concepts. Domain-specific concepts an ..."
Abstract - Cited by 1 (0 self) - Add to MetaCart
Domain-specific modelling (DSM) enables experts of arbi-trary domains to perform modelling tasks using familiar constructs. This contrasts with common code-centric de-velopment approaches where programmers deal with object-oriented approximations of higher level concepts. Domain-specific concepts

Certifying Domain-Specific Policies

by Michael Lowry, Thomas Pressburger, Grigore Rosu , 2001
"... Proof-checking code for compliance to safety policies potentially enables a product-oriented approach to certain aspects of software certification. To date, previous research has focused on generic, low-level programming-language properties such as memory type safety. In this paper we consider proof ..."
Abstract - Cited by 19 (3 self) - Add to MetaCart
rich logic for carrying out such calculations, including partiality, for certification. The architecture for a domain-specific certifier is described, followed by an implemented case study. The case study considers consistency of abstract variable attributes in code that performs geometric calculations

Domain-Specific Profiling ⋆

by Re Bergel, Oscar Nierstrasz, Lukas Renggli, Jorge Ressia
"... scg.unibe.ch Abstract. Domain-specific languages and models are increasingly used within general-purpose host languages. While traditional profiling tools perform well on host language code itself, they often fail to provide meaningful results if the developers start to build and use abstractions on ..."
Abstract - Cited by 4 (3 self) - Add to MetaCart
scg.unibe.ch Abstract. Domain-specific languages and models are increasingly used within general-purpose host languages. While traditional profiling tools perform well on host language code itself, they often fail to provide meaningful results if the developers start to build and use abstractions

Domain-Specific Program Checking

by Lukas Renggli, Stéphane Ducasse, Tudor Gîrba, Oscar Nierstrasz , 2010
"... Lint-like program checkers are popular tools that ensure code quality by verifying compliance with best practices for a particular programming language. The proliferation of internal domain-specific languages and models, however, poses new challenges for such tools. Traditional program checkers pro ..."
Abstract - Cited by 3 (3 self) - Add to MetaCart
Lint-like program checkers are popular tools that ensure code quality by verifying compliance with best practices for a particular programming language. The proliferation of internal domain-specific languages and models, however, poses new challenges for such tools. Traditional program checkers

Certifying Domain-Specific Policies

by Michael Lowr, Thomas Pressburgeff, Grigore Ro
"... Proof-checking code for compliance to safe _ policies potentially enables a product-oriented approach to certain aspects of software certification. To date, previous research has focused on generic, low-level programming-language properties such as memory type safety. In this paper we consider proof ..."
Abstract - Add to MetaCart
rich logic for carrying out such calcula-tions, including partiality, for certification. The architecture for a domain-specific certifier is described, Jbllowed by an implemented case study. The case study considers consis-tency of abstract variable attributes in code that performs geometric

Domain-Specific Languages in POETS

by Patrick Bahr
"... We have a number of domain-specific languages. Each pair shares some common sublanguage. All of them share a common language of values. We have the same situation on the type level! How do we implement this system without duplicating code! 4 How Can we Compose Data Structures?... and Functions Defin ..."
Abstract - Add to MetaCart
We have a number of domain-specific languages. Each pair shares some common sublanguage. All of them share a common language of values. We have the same situation on the type level! How do we implement this system without duplicating code! 4 How Can we Compose Data Structures?... and Functions
Results 1 - 10 of 3,121