ACM Transactions on Programming Languages and Systems (TOPLAS)
LCD-reification: a formal method for developing Prolog programs
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Dynamical system specifications as validation media
ACM SIGPLAN Notices
GRIN: The History of a Laboratory
IEEE Annals of the History of Computing
Comparing object-oriented and data flow models—a case study
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
Is object-oriented programming structured programming?
ACM SIGPLAN Notices
ACM Transactions on Programming Languages and Systems (TOPLAS)
An object-oriented view of backtracking
Proceedings of the thirty-first SIGCSE technical symposium on Computer science education
Programming and Documenting Software Projects
ACM Computing Surveys (CSUR)
On the Composition of Well-Structured Programs
ACM Computing Surveys (CSUR)
And/Or Programs: A New Approach to Structured Programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
Some negative results concerning prime number generators
Communications of the ACM
Program design by informal English descriptions
Communications of the ACM
Communications of the ACM
The new math of computer programming
Communications of the ACM
Communications of the ACM
A forward move algorithm for LR error recovery
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The architecture of concurrent programs
The architecture of concurrent programs
Pinnacles of software engineering: 25 years of formal methods
Annals of Software Engineering
SuperPascal: a publication language for parallel scientific computing
The origin of concurrent programming
Is "structured programming" any longer the right term?
ACM SIGOPS Operating Systems Review
Volume upper bounds for 3D graph drawing
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
Teaching problem solving in an introductory computer science class
SIGCSE '81 Proceedings of the twelfth SIGCSE technical symposium on Computer science education
Development of computer programs by problem analysis Diagram(PAD)
ICSE '81 Proceedings of the 5th international conference on Software engineering
A software methodology for building interactive tools
ICSE '81 Proceedings of the 5th international conference on Software engineering
How to develop module logic using pseudo-code and stepwise refinement
DAC '78 Proceedings of the 15th Design Automation Conference
Structured design methodologies
DAC '78 Proceedings of the 15th Design Automation Conference
Tagged architecture and the semantics of programming languages: Extensible types
ISCA '76 Proceedings of the 3rd annual symposium on Computer architecture
Towards a microprogramming language schema
MICRO 11 Proceedings of the 11th annual workshop on Microprogramming
Software engineering and simulation
WSC '79 Proceedings of the 11th conference on Winter simulation - Volume 2
Structured programming concepts in an introductory COBOL course
SIGCSE '76 Proceedings of the sixth SIGCSE technical symposium on Computer science education
Software reliability and design: A survey
DAC '76 Proceedings of the 13th Design Automation Conference
Specialization of SARA for software synthesis
Proceedings of the Symposium on Design Automation and Microprocessors
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
A generalized assertion language
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Knowledge about programs: A model and case study
Proceedings of the international conference on Reliable software
How to write correct programs and know it
Proceedings of the international conference on Reliable software
Proving structured programs correct, level by level
Proceedings of the international conference on Reliable software
A view of program verification
Proceedings of the international conference on Reliable software
Modeling and design description of hierarchical hardware/software systems
DAC '75 Proceedings of the 12th Design Automation Conference
The integration of a Problem Solving Process in the first course
SIGCSE '79 Proceedings of the tenth SIGCSE technical symposium on Computer science education
SIGCSE '79 Proceedings of the tenth SIGCSE technical symposium on Computer science education
The second course in computer programming: Some principles and consequences
SIGCSE '79 Proceedings of the tenth SIGCSE technical symposium on Computer science education
PDL/Ada—a design language based on Ada
ACM '81 Proceedings of the ACM '81 conference
Educator's view of structured concepts
ACM '80 Proceedings of the ACM 1980 annual conference
Heuristics for program synthesis using loop invariants
ACM '78 Proceedings of the 1978 annual conference - Volume 2
Comments on the topic “programming, and its implication on programming languages”
ACM '75 Proceedings of the 1975 annual conference
What should we teach in an introductory programming course?
SIGCSE '74 Proceedings of the fourth SIGCSE technical symposium on Computer science education
Teaching declarative programming
SIGCSE '75 Proceedings of the fifth SIGCSE technical symposium on Computer science education
A first course in computer science: What it should be and why.
SIGCSE '75 Proceedings of the fifth SIGCSE technical symposium on Computer science education
A course in effective programming
SIGCSE '75 Proceedings of the fifth SIGCSE technical symposium on Computer science education
Methods for teaching program verification
SIGCSE '75 Proceedings of the fifth SIGCSE technical symposium on Computer science education
ACM SIGPLAN Notices
Structured programming, programming teaching and the language Pascal
ACM SIGPLAN Notices
Reply to a paper by A. N. Habermann on the programming language Pascal
ACM SIGPLAN Notices
A comparison of PASCAL and FORTRAN as introductory programming languages
ACM SIGPLAN Notices
Is "structured programming" any longer the right term?
ACM SIGPLAN Notices
ACM SIGPLAN Notices
"Structured programming" considered harmful
ACM SIGPLAN Notices
An example of programming with abstract data types
ACM SIGPLAN Notices - Special issue on programming language design
Linear flowchart generator for a structured language
ACM SIGPLAN Notices
Toward a better language for structured programming
ACM SIGPLAN Notices
Learning recursion with syntax diagrams
ACM SIGCSE Bulletin
System description as a tool for teaching programming
ACM SIGCSE Bulletin
Eighteen Pascal texts: an objective comparison
ACM SIGCSE Bulletin
Computer science education at universities: the case of developing countries
SIGCSE '78 Papers of the SIGCSE/CSA technical symposium on Computer science education
A lecture/laboratory approach to the first course in programming
SIGCSE '78 Papers of the SIGCSE/CSA technical symposium on Computer science education
Programming languages for introductory computing courses: a position paper
SIGCSE '78 Papers of the SIGCSE/CSA technical symposium on Computer science education
Conducting project team classes in data processing
SIGCSE '78 Papers of the SIGCSE/CSA technical symposium on Computer science education
The roots of structured programming
SIGCSE '78 Papers of the SIGCSE/CSA technical symposium on Computer science education
SIGCSE '78 Papers of the SIGCSE/CSA technical symposium on Computer science education
PDL/Ada: a design language based on Ada
ACM SIGAda Ada Letters
On teaching theoretical foundations of Computer Science
ACM SIGACT News
A top-down view of software engineering
ACM SIGSOFT Software Engineering Notes
ACM SIGCHI Bulletin
Encyclopedia of Computer Science
Encyclopedia of Computer Science
To use or not to use the goto statement: programming styles viewed from Hoare logic
Science of Computer Programming
A novice's process of object-oriented programming
Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications
On the composition of well-structured programs
Classics in software engineering
ACM Turing award lectures
Towards management of software as assets: A literature review with additional sources
Information and Software Technology
A proposed non-procedural programming language for structured system development
ACM '74 Proceedings of the 1974 annual ACM conference - Volume 2
Towards a definition of structured programming
ACM '74 Proceedings of the 1974 annual ACM conference - Volume 2
The choice of new software development methodologies for software development projects
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
Modular documentation: a software development tool
AFIPS '81 Proceedings of the May 4-7, 1981, national computer conference
STREAM: A First Programming Process
ACM Transactions on Computing Education (TOCE)
A formal representation for plans in the programmer's apprentice
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 2
Top-down development using a program design language
IBM Systems Journal
A method of programming measurement and estimation
IBM Systems Journal
From program verification to program synthesis
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Exploring interaction space as abstraction mechanism for task-based user interface design
TAMODIA'06 Proceedings of the 5th international conference on Task models and diagrams for users interface design
Floating-Point verification using theorem proving
SFM'06 Proceedings of the 6th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems
Nonmonotonic reasoning and formal software development
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
| Hi-index | 0.08 |