Results 11 to 20 of about 682,366 (313)
A domain theory for statistical probabilistic programming [PDF]
Proceedings of the ACM on Programming Languages, 2019 We give an adequate denotational semantics for languages with recursive higher-order types, continuous probability distributions, and soft constraints. These are expressive languages for building Bayesian models of the kinds used in computational statistics and machine learning.
Matthijs Vákár +2 more
openalex +6 more sources
Domain-Specific Program Checking [PDF]
, 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.
Renggli, Lukas +3 more
openaire +2 more sources
Domain Model Discovery from Textbooks for Computer Programming Intelligent Tutors
Proceedings of the International Florida Artificial Intelligence Research Society Conference, 2021 We present a novel approach to intro-to-programming domain model discovery from textbooks using an over-generation and ranking strategy. We first extract candidate key phrases from each chapter in a Computer Science textbook focusing on intro-to ...
Rabin Banjade +4 more
doaj +1 more source
Visualization of domain-specific programs' behavior [PDF]
2009 5th IEEE International Workshop on Visualizing Software for Understanding and Analysis, 2009 Program domain concepts are rather complex and low level for a fast assimilation. On the other hand, problem domain concepts are closer to human's mind, hence they are easier to perceive. Based on Brook's theory, a full comprehension of a program is only achieved if both domains are connected and visualized in synchronization, resulting on an action ...
Oliveira, Nuno +3 more
openaire +3 more sources
Automated Problem Decomposition for the Boolean Domain with Genetic Programming [PDF]
, 2013 Researchers have been interested in exploring the regularities and modularity of the problem space in genetic programming (GP) with the aim of decomposing the original problem into several smaller subproblems.
A. Moraglio +6 more
core +2 more sources
Polyhedral Analysis using Parametric Objectives [PDF]
, 2012 The abstract domain of polyhedra lies at the heart of many program analysis techniques. However, its operations can be expensive, precluding their application to polyhedra that involve many variables.
A. Miné +21 more
core +3 more sources
Theoretical Computer Science, 1992 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Filippenko, I., Morris, F. L.
openaire +2 more sources
Visual Dataflow Language for Educational Robots Programming
Труды Института системного программирования РАН, 2018 Visual domain-specific languages usually have low entry barrier. Sometimes even children can program on such languages by working with visual representations.
G. A. Zimin, D. A. Mordvinov
doaj +1 more source
Transformation to a fixed domain in LP modelling for a class of optimal shape design problems [PDF]
Iranian Journal of Numerical Analysis and Optimization, 2019 A class of optimal shape design problems is studied in this paper. The boundary shape of a domain is determined such that the solution of the underlying partial differential equation matches, as well as possible, a given desired state.
H. Hashemi Mehne, M. H. Farahi
doaj +1 more source
Finding largest small polygons with GloptiPoly [PDF]
, 2010 A small polygon is a convex polygon of unit diameter. We are interested in small polygons which have the largest area for a given number of vertices $n$. Many instances are already solved in the literature, namely for all odd $n$, and for $n=4, 6$ and 8.
C. Audet +17 more
core +6 more sources