An overview of the SR language and implementation
ACM Transactions on Programming Languages and Systems (TOPLAS)
An OCCAM approach to transputer engineering
C3P Proceedings of the third conference on Hypercube concurrent computers and applications: Architecture, software, computer systems, and general issues - Volume 1
SIGCSE '89 Proceedings of the twentieth SIGCSE technical symposium on Computer science education
Programming languages for distributed computing systems
ACM Computing Surveys (CSUR)
Begin-BIG an approach to the introductory computing course
SIGCSE '91 Proceedings of the twenty-second SIGCSE technical symposium on Computer science education
Four Dimensions of programming-language independence
ACM SIGPLAN Notices
HOPL-II The second ACM SIGPLAN conference on History of programming languages
Recollections about the development of Pascal
HOPL-II The second ACM SIGPLAN conference on History of programming languages
Defining context-dependent syntax without using contexts
ACM Transactions on Programming Languages and Systems (TOPLAS)
Point/counterpoint: do programmers need seatbelts?
ACM SIGPLAN Notices
Point: do programmers need seatbelts?
ACM SIGPLAN Notices
NIL: a high-level language for distributed systems programming
IBM Systems Journal
Viewing Ada from a process model perspective
SIGAda '85 Proceedings of the 1985 annual ACM SIGAda international conference on Ada
The impact of Ada on software project organization
WADAS '85 Proceedings of the second annual Washington Ada symposium on Ada: Ada in the mainstream: applications and education
Redundancy in model specifications for discrete event simulation
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Technical opinion: on the perils of programming
Communications of the ACM
Concepts and Notations for Concurrent Programming
ACM Computing Surveys (CSUR)
Communications of the ACM
Communications of the ACM
The ACM position on standardization of the Ada language
Communications of the ACM
Scaling down Ada (or towards a standard Ada subset)
Communications of the ACM
Communications of the ACM
The case for simplified languages
ACM SIGPLAN Notices
A specification language for one-pass semantic analysis
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
Mechanisms for compile-time enforcement of security
POPL '83 Proceedings of the 10th 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
Three Decades of HDLs: Part II, Conlan Through Verilog
IEEE Design & Test
Guest Editors' Introduction: Human-Centered Computing at NASA
IEEE Intelligent Systems
Logic versus Magic in Critical Systems
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
Observations on the development of an operating system
SOSP '81 Proceedings of the eighth ACM symposium on Operating systems principles
An applicative compiler for a parallel machine
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
Using ADA as a design language - classroom experience
ACM '83 Proceedings of the 1983 annual conference on Computers : Extending the human resource
How shall we evaluate prototype natural language processors?
CHI '81 Proceedings of the Joint Conference on Easier and More Productive Use of Computer Systems. (Part - II): Human Interface and the User Interface - Volume 1981
Some remarks on direct execution computers
ACM SIGARCH Computer Architecture News
Macro facilities in the Ada environment
ACM SIGPLAN Notices
A methodology for modular use of Ada
ACM SIGPLAN Notices
Using Ada for commercial software
ACM SIGAda Ada Letters
Ada education is a moving target
ACM SIGAda Ada Letters
ACM SIGSOFT Software Engineering Notes - Proceedings of VERkshop III -- a formal verification workshop
History of programming languages---II
Recollections about the development of Pascal
History of programming languages---II
Specification-correct and scalable coordination of Grid applications
Future Generation Computer Systems
The when, why and why not of the BETA programming language
Proceedings of the third ACM SIGPLAN conference on History of programming languages
Automated software engineering: supporting understanding
Automated Software Engineering
The impact of Ada on software engineering
AFIPS '82 Proceedings of the June 7-10, 1982, national computer conference
Proceedings of the 2006 conference on Knowledge-Based Software Engineering: Proceedings of the Seventh Joint Conference on Knowledge-Based Software Engineering
NIL: a high-level language for distributed systems programming
IBM Systems Journal
SequenceL: transparency and multi-core parallelisms
Proceedings of the 5th ACM SIGPLAN workshop on Declarative aspects of multicore programming
Performance-driven interface contract enforcement for scientific components
CBSE'07 Proceedings of the 10th international conference on Component-based software engineering
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
Some Philosophical Issues in Computer Science
Minds and Machines
Communications of the ACM
Perpetual development: A model of the Linux kernel life cycle
Journal of Systems and Software
Journal of Systems and Software
Incremental research vs. paradigm-shift mania
Communications of the ACM
Socio-PLT: principles for programming language adoption
Proceedings of the ACM international symposium on New ideas, new paradigms, and reflections on programming and software
Heedless programming: ignoring detectable error is a widespread hazard
Software—Practice & Experience
The billion-dollar fix: safe modular circular initialisation
ECOOP'13 Proceedings of the 27th European conference on Object-Oriented Programming
The Journal of Supercomputing
| Hi-index | 48.34 |