2014
DOI: 10.1007/978-3-319-13314-0
|View full text |Cite
|
Sign up to set email alerts
|

Foundations of Programming Languages

Abstract: Undergraduate Topics in Computer Science (UTiCS) delivers high-quality instructional content for undergraduates studying in all areas of computing and information science. From core foundational and theoretical material to final-year topics and applications, UTiCS books take a fresh, concise, and modern approach and are ideal for self-study or for a one-or two-semester course. The texts are all authored by established experts in their fields, reviewed by an international advisory board, and contain numerous ex… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
5
0

Year Published

2015
2015
2019
2019

Publication Types

Select...
3
1

Relationship

1
3

Authors

Journals

citations
Cited by 4 publications
(5 citation statements)
references
References 4 publications
0
5
0
Order By: Relevance
“…A more thorough treatment of the framework is covered in a textbook [2] that, like this paper, builds from the bottom-up covering assembly language on a stack-based virtual machine, virtual machine implementation in C++, compiler implementation for a subset of Standard ML written in Standard ML, and type inference written in Prolog. Students are guided in their investigation of programming languages by extending the framework to compile and infer the types of test programs.…”
Section: Discussionmentioning
confidence: 99%
See 1 more Smart Citation
“…A more thorough treatment of the framework is covered in a textbook [2] that, like this paper, builds from the bottom-up covering assembly language on a stack-based virtual machine, virtual machine implementation in C++, compiler implementation for a subset of Standard ML written in Standard ML, and type inference written in Prolog. Students are guided in their investigation of programming languages by extending the framework to compile and infer the types of test programs.…”
Section: Discussionmentioning
confidence: 99%
“…For instance, type systems are very important, but students have a hard time getting invested in learning about type checking and type inference without a real goal in mind. Recently, several texts on programming languages have abandoned this survey approach to teaching programming languages in favor of using programming languages to implement programming languages [2,1,3,4], giving students more purpose in their language exploration.…”
Section: Introductionmentioning
confidence: 99%
“…Developing a computer program requires the ability to translate and model one's way of thinking, the problem, and the solution in natural language into the selected programming language (Renumol, Janakiram, & Jayaprakash, 2010). Each programming language has its unique syntax and structures that help students organize their code and focus their attention on solving the problem (Lee, 2014). Further, students use various cognitive skills to comprehend, design, and interlink various types and levels of abstraction while programming (Renumol et al, 2010;Wing, 2008).…”
Section: Self-regulation In Computer Programmingmentioning
confidence: 99%
“…Subdividing a computational problem into a simpler, more manageable subproblems [39] iterative, recursive, and parallel thinking Identifying, populating, and organizing a set of behaviors that can repeatedly be performed or at the same time [40].…”
Section: Structured Problem Decompositionmentioning
confidence: 99%
“…In the first part, the participants were asked to provide verbal instructions for an amateur artist to redraw two patterned-images; please see Figure 1 (a) for a sample image. This problem is similar to computer programming because it requires the solver to provide a step-by-step instruction to be followed by an information-processing agent [17], [35], [39], [45], but instead of a computer, the agent is a human. This problem can be categorized as a design problem based on its similarity to programming [43], [55], [56].…”
Section: Qualitative Instrumentmentioning
confidence: 99%