GEDANKEN—a simple typeless language based on the principle of completeness and the reference concept
Communications of the ACM
BLISS: a language for systems programming
Communications of the ACM
Programming with abstract data types
Proceedings of the ACM SIGPLAN symposium on Very high level languages
CSC '90 Proceedings of the 1990 ACM annual conference on Cooperation
A Controlled Experiment to Assess the Benefits of Procedure Argument Type Checking
IEEE Transactions on Software Engineering
Improving the human factors aspect of database interactions
ACM Transactions on Database Systems (TODS)
The Psychological Study of Programming
ACM Computing Surveys (CSUR)
Comparison of the Programming Languages C and Pascal
ACM Computing Surveys (CSUR)
Studying programmer behavior experimentally: the problems of proper methodology
Communications of the ACM
Data types as values: polymorphism, type-checking, encapsulation
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A review of human factors research on programming languages and specifications
CHI '82 Proceedings of the 1982 Conference on Human Factors in Computing Systems
SIMPAS: A simulation language based on PASCAL
WSC '80 Proceedings of the 12th conference on Winter simulation
SIGCSE '79 Proceedings of the tenth SIGCSE technical symposium on Computer science education
Meaningfulness as a factor of program complexity
ACM '80 Proceedings of the ACM 1980 annual conference
Programming factors - language features that help explain programming complexity
ACM '78 Proceedings of the 1978 annual conference - Volume 2
Characteristic errors in programming languages
ACM '78 Proceedings of the 1978 annual conference - Volume 2
Aspects of the ALGOL 68 mode structure
ACM SIGPLAN Notices
A practical type system and language for reference immutability
OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Javari: adding reference immutability to Java
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
The impact of software engineering research on modern progamming languages
ACM Transactions on Software Engineering and Methodology (TOSEM)
Type inference for spreadsheets
Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming
A Type System Based on End-User Vocabulary
VLHCC '07 Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
ECOOP'10 Proceedings of the 24th European conference on Object-oriented programming
Proceedings of the 7th symposium on Dynamic languages
Testing and verification aspects of Pascal-like languages
Computer Languages
Analysis of the effects of programming factors on programming effort
Journal of Systems and Software
Evaluating a data abstraction testing system based on formal specifications
Journal of Systems and Software
An empirical study of the influence of static type systems on the usability of undocumented software
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Do developers benefit from generic types?: an empirical comparison of generic and raw types in java
Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications
Aliasing in Object-Oriented Programming
| Hi-index | 48.23 |
The language in which programs are written can have a substantial effect on the reliability of the resulting programs. This paper discusses an experiment that compares the programming reliability of subjects using a statically typed language and a “typeless” language. Analysis of the number of errors and the number of runs containing errors shows that, at least in one environment, the use of a statically typed language can increase programming reliability. Detailed analysis of the errors made by the subjects in programming solutions to reasonably small problems shows that the subjects had difficulty manipulating the representation of data.