Concepts of Programming Languages

Index 789

Priorities of tasks, 601–602
Priorities of threads, 606–607
private
in Ada, 562
in C#, 498–499
in C++, 486–487, 540–544
in Ruby, 500–501
Private types, 482–484
Procedure-oriented programming,
21
Procedures, 395–396
Process abstraction, 475
Processes, 581
Producer-consumer problems,
582
Productions, 118
Program calculus, 38
Program counters, 19
Program proofs, 158–160
Program_Error exceptions,
639
Programming design methodolo-
gies, 20–21
Programming domains
artificial intelligence in, 6
business applications in, 5–6
generally, 5
scientific applications in, 5
in systems programming, 6–7
Web software and, 7
Programming environments, 31
Prolog
arithmetic in, 743–746
closed-world assumption in, 754
deficiencies of, 751–756
design process for, 79
elements of, generally,
736–737
evaluation of, 80
fact statements in, 737–738
goal statements in, 739–740
inferencing process of, 740–743
intrinsic limitations in, 756
introduction to, 6

language overview of, 79–80

list structures in, 746–751

logic in, generally, 79

negation problem in, 754–756

origins of, 736

resolution order control in,

751–753

rule statements in, 738–739

terms in, 737

Prolog++, 21

Prologue of subprogram linkage,

443–448

Properties, C#, 498–499

Propositions, 729–731

protected access modifiers, 498

Protected objects, 592, 602–603

Protocols, 390, 551

Prototypes, 391

Pseudocodes

introduction to, 39–40

related work, 42

Short Code, 40–41

Speedcoding, 41

UNIVAC ”compiling” system,

41

public

in C#, 498

in C++, 486

derivations, 540–544

in Ruby, 500–501

Pure interpretation, 28

Pure virtual functions, 546

Pure virtual method, 529

Pushdown automaton (PDA), 193

Python

arrays in, 264–268

complex values in, 248

concurrency in, 585

def statements in, 390

dictionaries in, 273

elif statements in, 360

interpreting expressions in, 681

lambda expressions in, 716

long integer type of, 246

mutable lists in, 283–284, 311

nested subprograms in, 219,

454, 510

overview of, 99–100

parameters in, 392–394

pass-by-assignments in, 408

pattern matching in, 252

referencing environments and,

230

strings in, 251

subprograms in, 389

then and else clauses in, 351

tuples in, 280–281, 712

type binding in, 213

Unicode in, 249–250

Q

Quantifiers, 730

Quasi-concurrency, 433

Quasi-concurrent subprograms,

579–580

Queries, 739–740

QUOTE, 686–687

R

Race conditions, 582

Radio buttons

in C#, 661–664

in Java, 656–660

raise statements, 640

Raised exceptions, 631

RAND Corporation, 47

Range

for arrays, 284

in floating-point data types,

247

iterators, 372

in Python, 367

Raw methods, 425

RDBMSs (Relational database

management systems), 757

Read statements, 630

Readability, 8, 16

Reader macros, 701