Results 21 to 30 of about 9,061,188 (344)
Rascal: From Algebraic Specification to Meta-Programming [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 Algebraic specification has a long tradition in bridging the gap between specification and programming by making specifications executable. Building on extensive experience in designing, implementing and using specification formalisms that are based on ...
Jeroen van den Bos +4 more
doaj +1 more source
Domain Views for Constraint Programming [PDF]
, 2014 Workshop: TRICS13: Techniques foR Implementing Constraint programming, September 2013, CP ...
Laurent Michel, Pascal Van Hentenryck
openaire +3 more sources
Theoretical Computer Science, 1992 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Filippenko, I., Morris, F. L.
openaire +3 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
Program comprehension for domain-specific languages
Computer Science and Information Systems, 2008 In the past, we have been looking for program comprehension tools that are able to interconnect operational and behavioral views, aiming at aiding the software analyst to relate problem and program domains in order to reach a full understanding of software systems.
Maria João Varanda Pereira +3 more
openalex +6 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
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
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
Probabilistic programming in Python using PyMC3
PeerJ Computer Science, 2016 Probabilistic Programming allows for automatic Bayesian inference on user-defined probabilistic models. Recent advances in Markov chain Monte Carlo (MCMC) sampling allow inference on increasingly complex models.
J. Salvatier +2 more
semanticscholar +1 more source