نتایج جستجو برای: basic programming language
تعداد نتایج: 869266 فیلتر نتایج به سال:
We discuss a logic-based methodology that we adopted to teach basic concepts of programming to high school students with a scientific profile and very basic knowledge of computer science. For our experiments we combined lectures on inductive reasoning with Prolog, practice on natural language processing and ontologies, and evaluations based on questionnaires before and after the workshop.
These are notes for a short introductory course on Computability Theory (or recursive function theory). The basic notion of computability is defined in terms of a simple imperative programming language.
The idea of design by contract (DBC), realized in the statically typed object-oriented programming language Eiffel, can be viewed as a systematic approach to specifying and implementing object-oriented software systems. We believe that a statically typed programming language is not suitable in the analysis and design phase of a prototyping-oriented software life cycle. For this purpose, dynamic...
We will explore an approach to modular programming language descriptions and extensions in a denotational style. Based on a language core, language features are added stepwise on the core. Language features can be described separated from each other in a self-contained, orthogonal way. We present an extension semantics framework consisting of mechanisms to adapt semantics of a basic language to...
Learning a programming application can be considered similar to learning another language. Students have to learn the terminology, their functions (ie. grammar) and the skill of writing short programs (ie. composition). This is especially difficult for students who are non-native speakers of English (NNS) as they cope with both the English language and a programming language. The purpose of thi...
In this paper we present a new system for non-monotonic reasoning performed using abduction. The system, called ACLP, is a programming language based on the framework of Abductive and Constraint Logic Programming (ACLP) which integrates abduction and constraint solving in Logic Programming. It is build on top of the ECLiPSe language for Constraint Logic Programming (CLP) interfacing (and exploi...
This paper introduces a visual programming language (vpl) for Thymio II, an educational robot. Our vpl is intended for children in primary school and aims at making robotics programming approachable for young children by creating a close correspondence between the icons of the programming language and the design of the robot. Its two modes of operation — basic and advanced — allow children to l...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید