The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
PL360, a Programming Language for the 360 Computers
Journal of the ACM (JACM)
The Expression of Algorithms by Charts
Journal of the ACM (JACM)
George Forsythe and the development of computer science
Communications of the ACM
Communications of the ACM
Multiple exits from a loop without the GOTO
Communications of the ACM
On the capabilities of while, repeat, and exit statements
Communications of the ACM
Communications of the ACM
Communications of the ACM
Program development by stepwise refinement
Communications of the ACM
BLISS: a language for systems programming
Communications of the ACM
Letters to the editor: go to statement considered harmful
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
Böhm and Jacopini's reduction of flow charts
Communications of the ACM
Correspondence between ALGOL 60 and Church's Lambda-notation: part I
Communications of the ACM
The next 700 programming languages
Communications of the ACM
Program translation viewed as a general data processing problem
Communications of the ACM
Solution of a problem in concurrent programming control
Communications of the ACM
Flow diagrams, turing machines and languages with only two formation rules
Communications of the ACM
Recursive functions of symbolic expressions and their computation by machine, Part I
Communications of the ACM
Report on the algorithmic language ALGOL 60
Communications of the ACM
RUNCIBLE—algebraic translation on a limited computer
Communications of the ACM
A control statement for natural top-down structured programming
Programming Symposium, Proceedings Colloque sur la Programmation
Appendix: a philosophy of programming
Language Hierarchies and Interfaces, International Summer School
Analysis of structured programs
STOC '73 Proceedings of the fifth annual ACM symposium on Theory of computing
Programming with(out) the GOTO
ACM '72 Proceedings of the ACM annual conference - Volume 2
ACM '72 Proceedings of the ACM annual conference - Volume 2
ACM '72 Proceedings of the ACM annual conference - Volume 2
META II a syntax-oriented compiler writing language
ACM '64 Proceedings of the 1964 19th ACM national conference
A review of "Structured Programming".
A review of "Structured Programming".
Would you believe structured Fortran?
ACM SIGNUM Newsletter
Enumeration of structured flowcharts
Journal of the ACM (JACM)
Program abstraction and instantiation
ACM Transactions on Programming Languages and Systems (TOPLAS)
The future of computer languages: implications for education
SIGCSE '86 Proceedings of the seventeenth SIGCSE technical symposium on Computer science education
Taking “computer literacy” literally
Communications of the ACM
Engineering development of computer languages
ACM SIGPLAN Notices
System development methodology using LOGOS
APL '87 Proceedings of the international conference on APL: APL in transition
Pancode and boxcharts: structured programming revisited
ACM SIGPLAN Notices
Problems with automatic restructurers
ACM SIGPLAN Notices
Eliminating go to's while preserving program structure
Journal of the ACM (JACM)
Comments on innovative control constructs in pancode and EPN
ACM SIGPLAN Notices
Next: the elimination of Goto-patches?
ACM SIGPLAN Notices
The Effect of Data Abstraction on Loop Programming Techniques
IEEE Transactions on Software Engineering
The flow of control notations pancode and boxcharts
ACM SIGPLAN Notices
How to print floating-point numbers accurately
PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
Language Design for Program Manipulation
IEEE Transactions on Software Engineering
A Control-Flow Normalization Algorithm and its Complexity
IEEE Transactions on Software Engineering
Programming-in-the-large: past, present, and future
ICSE '92 Proceedings of the 14th international conference on Software engineering
The early history of Smalltalk
HOPL-II The second ACM SIGPLAN conference on History of programming languages
HOPL-II The second ACM SIGPLAN conference on History of programming languages
HOPL-II The second ACM SIGPLAN conference on History of programming languages
Loop exits and structured programming: reopening the debate
SIGCSE '95 Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education
Proceedings of the 17th international conference on Software engineering
ACM SIGCSE Bulletin
IEEE Transactions on Software Engineering - Special issue: best papers of the sixth international workshop on Petri nets and performance models (PNPM'95)
Bandwagons considered harmful, or the past as prologue in curriculum change
ACM SIGCSE Bulletin
Putting more meaning in expressions
ACM SIGPLAN Notices
Communications of the ACM
Communications of the ACM
A Transformation System for Developing Recursive Programs
Journal of the ACM (JACM)
An Algorithm for Structuring Flowgraphs
Journal of the ACM (JACM)
Program Improvement by Source-to-Source Transformation
Journal of the ACM (JACM)
Journal of the ACM (JACM)
Continuation-Based Program Transformation Strategies
Journal of the ACM (JACM)
The Design and Structure of a Fortran Program Library for Optimization
ACM Transactions on Mathematical Software (TOMS)
Programming Style: Examples and Counterexamples
ACM Computing Surveys (CSUR)
Permutation Generation Methods
ACM Computing Surveys (CSUR)
Perspectives in Software Engineering
ACM Computing Surveys (CSUR)
Some Aspects of High-Level Microprogramming
ACM Computing Surveys (CSUR)
Surveyor's Forum: Idiomatic Programming
ACM Computing Surveys (CSUR)
Program Transformation Systems
ACM Computing Surveys (CSUR)
Ada exception handling: an axiomatic approach
ACM Transactions on Programming Languages and Systems (TOPLAS)
Grammar-Based Definition of Metaprogramming Systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Using program transformations to derive line-drawing algorithms
ACM Transactions on Graphics (TOG)
The operational versus the conventional approach to software development
Communications of the ACM
Cognitive strategies and looping constructs: an empirical study
Communications of the ACM
On the inevitable intertwining of specification and implementation
Communications of the ACM
On the emulation of flowcharts by decision tables
Communications of the ACM
A comment on English neologisms and programming language keywords
Communications of the ACM
Communications of the ACM
Syntactic source to source transforms and program manipulation
Communications of the ACM
Comment on “an optimal evaluation of Boolean expressions in an online query system”
Communications of the ACM
Communications of the ACM
Communications of the ACM
Structured programming in Cobol: an approach for application programmers
Communications of the ACM
Implications of structured programming for machine architecture
Communications of the ACM
Automatic data structure selection: an example and overview
Communications of the ACM
An optimal evaluation of Boolean expressions in an online query system
Communications of the ACM
Notes on recursion elimination
Communications of the ACM
Implementing Quicksort programs
Communications of the ACM
Communications of the ACM
Improving programs by the introduction of recursion
Communications of the ACM
The denotational semantics of programming languages
Communications of the ACM
Communications of the ACM
Communications of the ACM
Communications of the ACM
A genealogy of control structures
Communications of the ACM
Exception handling: issues and a proposed notation
Communications of the ACM
Computer programming as an art
Communications of the ACM
Structured programming in assembly language
ACM SIGCSE Bulletin
Teaching disciplined Fortran programming via unfort
ACM SIGCSE Bulletin
Into the fourth dimension—an introduction to dynamic analysis and design
ACM SIGSOFT Software Engineering Notes
Structured programming and FORTRAN
ACM-SE 14 Proceedings of the 14th annual Southeast regional conference
MSL: a microprocessors systems language
ACM-SE 16 Proceedings of the 16th annual Southeast regional conference
REC/SM: a semi structured programming language
ACM-SE 18 Proceedings of the 18th annual Southeast regional conference
Monoids for rapid data flow analysis
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Applications of high level control flow
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Applications of a graph grammar for program control flow analysis
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Splitting the Difference: The Historical Necessity of Synthesis in Software Engineering
IEEE Annals of the History of Computing
The microprocessors of the future
ACM SIGARCH Computer Architecture News
Teaching problem solving in an introductory computer science class
SIGCSE '81 Proceedings of the twelfth SIGCSE technical symposium on Computer science education
Listlessness is better than laziness: Lazy evaluation and garbage collection at compile-time
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
On the necessary evolution towards improvement specialization in software production teams
SIGCPR '77 Proceedings of the fifteenth annual SIGCPR conference
A tool designed to facilitate structured programming
SIGCSE '77 Proceedings of the seventh SIGCSE technical symposium on Computer science education
A place for assembler in structured programming
SIGCSE '77 Proceedings of the seventh SIGCSE technical symposium on Computer science education
A complete axiomatic system for proving deductions about recursive programs
STOC '77 Proceedings of the ninth annual ACM symposium on Theory of computing
The use of APL for production applications: The concept of “throwaway code”
APL '76 Proceedings of the eighth international conference on APL
Assertions and APL programming
APL '75 Proceedings of seventh international conference on APL
A project approach to structure and correctness in Pitt's second computer science course
SIGCSE '78 Proceedings of the ninth SIGCSE technical symposium on Computer science education
Towards a microprogramming language schema
MICRO 11 Proceedings of the 11th annual workshop on Microprogramming
On the importance of teaching PASCAL in the IS curriculum
SIGCSE '80 Proceedings of the eleventh SIGCSE technical symposium on Computer science education
Tab, a Program Design Language for the classroom
SIGCSE '76 Proceedings of the sixth SIGCSE technical symposium on Computer science education
A microinstruction sequencer and language package for structured microprogramming
MICRO 8 Proceedings of the 8th annual workshop on Microprogramming
Models for specification and anaysis of parallel computing systems
SIGMETRICS '79 Proceedings of the 1979 ACM SIGMETRICS conference on Simulation, measurement and modeling of computer systems
The assignment axiom and programming language design
ACM '76 Proceedings of the 1976 annual conference
Improving and refining programs by program manipulation
ACM '76 Proceedings of the 1976 annual conference
ACM '76 Proceedings of the 1976 annual conference
New languages for numerical software
Proceedings of the SIGNUM Conference on the Programming Environment for Development of Numerical Software
The PSI Program Model Builder - synthesis of very high-level programs
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
Program manipulation via an efficient production system
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
The use of transition matrices in a recursive-descent compiler
SIGPLAN '79 Proceedings of the 1979 SIGPLAN symposium on Compiler construction
Minicomputer software development using a maxicomputer
SIGMINI '76 Proceedings of the ACM SIGMINI/SIGPLAN interface meeting on Programming systems in the small processor environment
ALGOL 68 and structured programming for learner-programmers
Proceedings of the Strathclyde ALGOL 68 conference
Is Pascal a logical subset of Algol68 or not? Part One
Proceedings of the Strathclyde ALGOL 68 conference
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Introducing a Software Design Language
ICSE '76 Proceedings of the 2nd international conference on Software engineering
On the Transformational Implementation approach to programming
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Decision table programming and reliability
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Some considerations in database application programming
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Global data flow analysis by decomposition into primes
ICSE '82 Proceedings of the 6th international conference on Software engineering
Proceedings of an ACM conference on Language design for reliable software
Constructing correct and efficient concurrent programs
Proceedings of the international conference on Reliable software
Proceedings of the international conference on Reliable software
Some transformations for developing recursive programs
Proceedings of the international conference on Reliable software
A view of program verification
Proceedings of the international conference on Reliable software
Educator's view of structured concepts
ACM '80 Proceedings of the ACM 1980 annual conference
Loop constructs - a design for Fortran
ACM '79 Proceedings of the 1979 annual conference
Comments on the topic “programming, and its implication on programming languages”
ACM '75 Proceedings of the 1975 annual conference
The design of usable programming languages
ACM '75 Proceedings of the 1975 annual conference
Software management and the impact of improved programming technology
ACM '75 Proceedings of the 1975 annual conference
The Honeywell Modular Microprogram Machine: M3
ISCA '77 Proceedings of the 4th annual symposium on Computer architecture
B4Tran: A structured mini-language approach to the teaching of Fortran
SIGCSE '75 Proceedings of the fifth SIGCSE technical symposium on Computer science education
An algorithm for structuring programs (Extended Abstract)
POPL '76 Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages
Program improvement by source to source transformation
POPL '76 Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages
After the C++ Appetizer Comes the COBOL Main Course
SEEP '96 Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
Constructive methods of program design
Software pioneers
ACM SIGPLAN Notices
ACM SIGPLAN Notices
Application of the goal invariant to the structuring of programs
ACM SIGPLAN Notices
Structured transfer of control
ACM SIGPLAN Notices
Some improvements of ISO-Pascal
ACM SIGPLAN Notices
Characteristics of a structured program
ACM SIGPLAN Notices
Flowcharting by stepwise refinement
ACM SIGPLAN Notices
Program readability, closing keywords and prefix-style intermediate keywords
ACM SIGPLAN Notices
What is a flowchart loop and about structured programming
ACM SIGPLAN Notices
Structured programming with loop statements
ACM SIGPLAN Notices
Internal procedure parameters in structured Fortran precompliers
ACM SIGPLAN Notices
Uniform handling of exceptions in a stack based language
ACM SIGPLAN Notices
ACM SIGPLAN Notices
Programming languages with hierarchical structure
ACM SIGPLAN Notices
A proposal for a Fortran loop construct
ACM SIGPLAN Notices
A reminder for language designers
ACM SIGPLAN Notices
Can structured programs be efficient?
ACM SIGPLAN Notices
WOSP '04 Proceedings of the 4th international workshop on Software and performance
Free form structured FORTRAN translator
ACM SIGPLAN Notices
Structured FORTRAN with no preprocessor
ACM SIGPLAN Notices
Issues in programming language design: an overview
ACM SIGPLAN Notices - Special issue on programming language design
Structured control in programming languages
ACM SIGPLAN Notices - Special issue on programming language design
On extending Fortran control structures to facilitate structured programming
ACM SIGPLAN Notices
The KAIL selector: a unified control construct
ACM SIGPLAN Notices
Toward a better language for structured programming
ACM SIGPLAN Notices
A non-iterative situation case statement
ACM SIGPLAN Notices
Experience with extensible, portable Fortran extensions
ACM SIGPLAN Notices
LINUS: an experiment in language preprocessing
ACM SIGPLAN Notices
Toward efficient programming in virtual systems
ACM SIGPLAN Notices
On readability of programs with loops
ACM SIGPLAN Notices
An overview of the programming language Smalltalk-72
ACM SIGPLAN Notices
ACM SIGPLAN Notices
Some improvements of ISO-Pascal
ACM SIGPLAN Notices
The little language compiler course project
ACM SIGCSE Bulletin
How to print floating-point numbers accurately
ACM SIGPLAN Notices - Best of PLDI 1979-1999
The roots of structured programming
SIGCSE '78 Papers of the SIGCSE/CSA technical symposium on Computer science education
ACM SIGACT News
Pigs from sausages? Reengineering from assembler to C via FermaT transformations
Science of Computer Programming - Special issue on program transformation
A brief survey of program slicing
ACM SIGSOFT Software Engineering Notes
History of programming languages---II
Encyclopedia of Computer Science
IEEE Annals of the History of Computing
Experimental Software Engineering: A New Conference
IEEE Software
Experiences in the development of mathematical software for small computers
ACM SIGMINI Newsletter
To use or not to use the goto statement: programming styles viewed from Hoare logic
Science of Computer Programming
Proceedings of the 5th workshop on Software engineering properties of languages and aspect technologies
Programming style: examples and counterexamples
Classics in software engineering
Computer programming as an art
ACM Turing award lectures
Programming Languages The First 25 Years
IEEE Transactions on Computers
Some thoughts on security after ten years of qmail 1.0
Proceedings of the 2007 ACM workshop on Computer security architecture
Goto elimination in program algebra
Science of Computer Programming
An effective method for measurement and analysis of system software performance
AFIPS '77 Proceedings of the June 13-16, 1977, national computer conference
A modern beginning programming course
AFIPS '76 Proceedings of the June 7-10, 1976, national computer conference and exposition
On being one's own programming self
AFIPS '75 Proceedings of the May 19-22, 1975, national computer conference and exposition
Structured control in programming languages
AFIPS '75 Proceedings of the May 19-22, 1975, national computer conference and exposition
Issues in programming language design: an overview
AFIPS '75 Proceedings of the May 19-22, 1975, national computer conference and exposition
Structured D-chart: a diagrammatic methodology in structured programming
AFIPS '82 Proceedings of the June 7-10, 1982, national computer conference
Developing authentic problem solving skills in introductory computing classes
Proceedings of the 40th ACM technical symposium on Computer science education
DSL '09 Proceedings of the IFIP TC 2 Working Conference on Domain-Specific Languages
Deadlock-free parallel processing
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
Toward efficiency trough generality
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 1
Mathematical construct for program reorganization
IBM Journal of Research and Development
SLAN-4: a language for the specification and design of large software systems
IBM Journal of Research and Development
When students are not programmers
ACM Inroads
Control flow emulation on tiled SIMD architectures
CC'08/ETAPS'08 Proceedings of the Joint European Conferences on Theory and Practice of Software 17th international conference on Compiler construction
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
Thinking clearly about performance, part 2
Communications of the ACM
Thinking Clearly about Performance
Queue - Performance
ICMS'10 Proceedings of the Third international congress conference on Mathematical software
Algorithm engineering: bridging the gap between algorithm theory and practice
Algorithm engineering: bridging the gap between algorithm theory and practice
Proceedings of the 4th India Software Engineering Conference
Some proposals for improving Pascal
Computer Languages
Compiling lambda-expressions using continuations and factorizations
Computer Languages
Software development for reliable software systems
Journal of Systems and Software
Graphics processing unit (GPU) programming strategies and trends in GPU computing
Journal of Parallel and Distributed Computing
Discovering, reporting, and fixing performance bugs
Proceedings of the 10th Working Conference on Mining Software Repositories
A regression test selection technique for embedded software
ACM Transactions on Embedded Computing Systems (TECS)
The complexity of register allocation
Discrete Applied Mathematics
Hi-index | 0.45 |