A uniform approach to applicative and imperative features in programming languages

2005 ◽  
pp. 612-626
Author(s):  
Stefan Sokołowski
Keyword(s):  
Programming Languages ◽  
Uniform Approach

Sequent combinators: a Hilbert system for the lambda calculus

2000 ◽  
Vol 10 (1) ◽  
pp. 1-79 ◽  
Author(s):  
HEALFDENE GOGUEN ◽  
JEAN GOUBAULT-LARRECQ
Keyword(s):  
Computer Science ◽  
Programming Languages ◽  
Intuitionistic Logic ◽  
Natural Deduction ◽  
Lambda Calculus ◽  
First Order ◽  
Uniform Approach ◽  
Explicit Substitutions ◽  
Suitable Framework ◽  
Proof Terms

This paper introduces Hilbert systems for λ-calculus, called sequent combinators, addressing many of the problems of Hilbert systems that have led to the more widespread adoption of natural deduction systems in computer science. This suggests that Hilbert systems, with their uniform approach to meta-variables and substitution, may be a more suitable framework than λ-calculus for type theories and programming languages. Two calculi are introduced here. The calculus SKIn captures λ-calculus reduction faithfully, is confluent even in the presence of meta-variables, is normalizing but not strongly normalizing in the typed case, and standardizes. The sub-calculus SKInT captures λ-reduction in slightly less obvious ways, and is a language of proof-terms not directly for intuitionistic logic, but for a fragment of S4 that we name near-intuitionistic logic. To our knowledge, SKInT is the first confluent, first-order calculus to capture λ-calculus reduction fully and faithfully and be strongly normalizing in the typed case. In particular, no calculus of explicit substitutions has yet achieved this goal.

Concepts in Programming Languages

2002 ◽  
Author(s):  
John C. Mitchell
Keyword(s):  
Programming Languages

Practical Foundations for Programming Languages

2016 ◽  
Author(s):  
Robert Harper
Keyword(s):  
Programming Languages

SAM-I: A prototype machine for dynamic, array-oriented programming languages

1992 ◽  
Vol 139 (4) ◽  
pp. 335
Author(s):  
R.F. Hobson ◽  
J.D. Hoskin ◽  
J.L. Simmons ◽  
R.W. Spilsbury
Keyword(s):  
Programming Languages ◽  
Dynamic Array

INFORMATION STRUCTURING FOR SOLVING TASKS IN SPREADSHEET ENVIRONMENT

2019 ◽  
pp. 42-46
Author(s):  
A. A. Nedbaylov
Keyword(s):  
Programming Languages ◽  
Engineering Students ◽  
Electronic Information ◽  
User Friendliness ◽  
Software Environment ◽  
C Programming ◽  
Source Data ◽  
Training Courses ◽  
Engineering Psychology ◽  
Different Levels

The calculations required in project activities for engineering students are commonly performed in electronic spreadsheets. Practice has shown that utilizing those calculations could prove to be quite difficult for students of other fields. One of the causes for such situation (as well as partly for problems observed during Java and C programming languages courses) lies in the lack of a streamlined distribution structure for both the source data and the end results. A solution could be found in utilizing a shared approach for information structuring in spreadsheet and software environment, called “the Book Method”, which takes into account the engineering psychology issues regarding the user friendliness of working with electronic information. This method can be applied at different levels in academic institutions and at teacher training courses.

CONTEMPORARY ASPECTS IN THE SELECTION OF TOOLS AND TECHNOLOGIES FOR DEVELOPING WEB SITES

2018 ◽  
pp. 125-131
Author(s):  
Petar Halachev ◽  
Aleksandra Todeva ◽  
Gergana Georgieva ◽  
Marina Jekova
Keyword(s):  
Programming Languages ◽  
Web Sites ◽  
Web Site ◽  
Work Process ◽  
Design And Development ◽  
Site Development ◽  
Complicated Process ◽  
The Creation ◽  
Guidelines And Recommendations ◽  
Selection Of

he report explores and analyzes the application of the most popular programming languages from different organizations: GitHub; Stackoverflow; the TIOBE's Community index. The main client technologies: HTML; CSS; JavaScript; Typescript are presented and analysed. Features are characterized and the advantages and the disadvantages of the server technologies are described: Java; PHP; Python; Ruby. The application areas for web site development technologies have been defined. The creation of a quality web site is a complex and complicated process, but by observing some guidelines and recommendations in the work process can help to select the tools and the technologies in its design and development.

VISUAL DESIGN TOOL FOR ELECTROSTATIC LELSES

2014 ◽  
Vol 5 (2) ◽  
pp. 778-789
Author(s):  
Hassan Nouri Al-Obaidi ◽  
Ali A. Rashead Al-Azawy
Keyword(s):  
Programming Languages ◽  
Electrostatic Potential ◽  
Electric Energy ◽  
Visual Basic ◽  
Visual Programming ◽  
Design Tool ◽  
Mesh Point ◽  
Visual Design ◽  
Computational Tool ◽  
Electrostatic Lenses

Current research presents a visual-computational tool to design and investigate round electrostatic lenses in sense of analysis procedure. The finite elements methods is adopted to find the electrostatic potential in the lens region. Laplace’s equation is first replaced by a certain functional which physically represent the electric energy stored in the electric field. This functional is then minimized at each mesh point with respect to the nearest eight ones. This minimization process is proved to be entirely equivalent to solving Laplace’s equation. The requirement that the functional being minimized is then yields a set of nine point equations which inter relate the potentials at adjacent mesh points. Finally this set of equations is solved to find the electrostatic potential at each mesh point in the region of the lens under consideration. The procedure steps mention above are coded to program written in visual basic. Hence an interface tool for analyzing and designing electrostatic lenses has been built up. Designing results proved that the introduced tools has an excellent outputs in comparison with the others written in not visual programming languages. Furthermore it easier for researchers and designer to use such a tool over their counterpart ones.

English-like programming languages for CAD/CAM

1981 ◽  
Author(s):  
M. DUNN, JR. ◽  
J. BERTELSEN
Keyword(s):  
Programming Languages ◽  
Cad Cam

Pedagogical Explanation Methods of Teaching Matrix Programming Operations: Effects on Students’ Achievements in IPCs

2015 ◽  
Vol 1 (3) ◽  
pp. 69
Author(s):  
Arjan Skuka
Keyword(s):  
Programming Languages ◽  
Teaching And Learning ◽  
Computer Programming ◽  
General Level ◽  
Control Group ◽  
Group Model ◽  
Computer Engineering ◽  
Success Rates ◽  
Engineering Department ◽  
Students Success

Despite the fact that introductory programming courses (IPCs) are taught at universities for more than thirty years, students still find computer programming very difficult to learn. Programming pedagogy deals with the methods and principles of teaching and learning computer programming. The programming pedagogical approaches that have been proposed to increase the efficiency of teaching and learning computer programming mostly focus on the tools, paradigms, programming languages and environments used in IPCs. To increase significantly the students’ success rates in IPCs, these approaches should be complemented with pedagogical explanation (PE) methods. This research is focused on a PE method of teaching sequential search of a matrix row (SSMR). The research was designed as experimental study with pretest-posttest control group model, involving students of Computer Engineering department Izmir University. While the experimental group was subjected to a pedagogical explanation method, a traditional explanation method was applied in the control group. To collect the research data, an achievement pretest, posttest and a questionnaire were developed and applied. The research findings showed the effectiveness of teaching SSMR by using a PE method. This method positively influenced students’ level of topic comprehension, which consequently improved their achievements. In order for students to understand better the other matrix programming operations, similar PE methods should be developed and used in IPCs. On a more general level, the results of this research suggested that PE methods should be developed and used for other topics that students usually find difficult to understand in IPCs. Using these methods can be a very important factor in significantly increasing students’ success in IPCs.

COMPARISON OF PROGRAMMING LANGUAGES FOR HUMAN GENDER CLASSIFICATION

2017 ◽  
Vol 5 (2) ◽  
pp. 34
Author(s):  
KISHORE G.D.K. ◽  
REDDY M. BABU ◽  
◽  
Keyword(s):  
Programming Languages ◽  
Gender Classification
Sign in / Sign up

Export Citation Format

Share Document