Skip header Section
Skip Bibliometrics Section
Systems programming with Modula-3January 1991
- Editor:
- Greg Nelson
Abstract
No abstract available.
Cited By
- Rodrigues V, Donetti S and Damiani F (2019). Certifying delta-oriented programs, Software and Systems Modeling (SoSyM), 18:5, (2875-2906), Online publication date: 1-Oct-2019.
- Cutler C, Kaashoek M and Morris R The benefits and costs of writing a POSIX kernel in a high-level language Proceedings of the 13th USENIX conference on Operating Systems Design and Implementation, (89-105)
Zhang Y, Salvaneschi G, Beightol Q, Liskov B and Myers A (2016). Accepting blame for safe tunneled exceptions, ACM SIGPLAN Notices, 51:6, (281-295), Online publication date: 1-Aug-2016.- Zhang Y, Salvaneschi G, Beightol Q, Liskov B and Myers A Accepting blame for safe tunneled exceptions Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, (281-295)
- Ahmadi R, Leino K and Nummenmaa J Automatic verification of Dafny programs with traits Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs, (1-5)
- Wirth N Modula-2 and Oberon Proceedings of the third ACM SIGPLAN conference on History of programming languages, (3-1-3-10)
- Lampl O, Stellnberger E and Böszörményi L Programming language concepts for multimedia application development Proceedings of the 7th joint conference on Modular Programming Languages, (23-36)
- Naqvi S, Massonet P and Arenas A Security requirements model for grid data management systems Proceedings of the First international conference on Critical Information Infrastructures Security, (30-41)
- Buhr P and Krischer R Bound exceptions in object-oriented programming Advanced Topics in Exception Handling Techniques, (1-21)
- McCorkle E Modern features for systems programming languages Proceedings of the 44th annual Southeast regional conference, (691-697)
- Buhr P and Harji A (2005). Implicit-signal monitors, ACM Transactions on Programming Languages and Systems (TOPLAS), 27:6, (1270-1343), Online publication date: 1-Nov-2005.
- Oancea C and Watt S Parametric polymorphism for software component architectures Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (147-166)
- Oancea C and Watt S (2019). Parametric polymorphism for software component architectures, ACM SIGPLAN Notices, 40:10, (147-166), Online publication date: 12-Oct-2005.
- Colazzo D and Ghelli G (2019). Subtyping, recursion, and parametric polymorphism in kernel fun, Information and Computation, 198:2, (71-147), Online publication date: 1-May-2005.
- Noble J and Biddle R (2004). Notes on notes on postmodern programming, ACM SIGPLAN Notices, 39:12, (40-56), Online publication date: 1-Dec-2004.
- von Dincklage D and Diwan A Converting Java classes to use generics Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (1-14)
- Noble J and Biddle R Notes on notes on postmodern programming Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, (112-115)
- von Dincklage D and Diwan A (2004). Converting Java classes to use generics, ACM SIGPLAN Notices, 39:10, (1-14), Online publication date: 1-Oct-2004.
- Millstein T, Bleckner C and Chambers C (2004). Modular typechecking for hierarchically extensible datatypes and functions, ACM Transactions on Programming Languages and Systems (TOPLAS), 26:5, (836-889), Online publication date: 1-Sep-2004.
- Stone C (2004). Extensible objects without labels, ACM Transactions on Programming Languages and Systems (TOPLAS), 26:5, (805-835), Online publication date: 1-Sep-2004.
- Diwan A, Waite W and Jackson M PL-detective Proceedings of the 35th SIGCSE technical symposium on Computer science education, (80-84)
- Diwan A, Waite W and Jackson M (2004). PL-detective, ACM SIGCSE Bulletin, 36:1, (80-84), Online publication date: 1-Mar-2004.
- Swart G MinSQL Proceedings of the 2nd international conference on Principles and practice of programming in Java, (129-132)
- Boehm H (2019). Destructors, finalizers, and synchronization, ACM SIGPLAN Notices, 38:1, (262-272), Online publication date: 15-Jan-2003.
- Boehm H Destructors, finalizers, and synchronization Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (262-272)
- Leino K and Nelson G Abstraction dependencies Programming methodology, (269-289)
- Millstein T, Bleckner C and Chambers C Modular typechecking for hierarchically extensible datatypes and functions Proceedings of the seventh ACM SIGPLAN international conference on Functional programming, (110-122)
- Millstein T, Bleckner C and Chambers C (2002). Modular typechecking for hierarchically extensible datatypes and functions, ACM SIGPLAN Notices, 37:9, (110-122), Online publication date: 17-Sep-2002.
- Swift M, Martin S, Levy H and Eggers S Nooks Proceedings of the 10th workshop on ACM SIGOPS European workshop, (102-107)
- Duggan D and Techaubol C (2019). Modular mixin-based inheritance for application frameworks, ACM SIGPLAN Notices, 36:11, (223-240), Online publication date: 1-Nov-2001.
- Duggan D and Techaubol C Modular mixin-based inheritance for application frameworks Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (223-240)
- Liskov B and Wing J Behavioural subtyping using invariants and constraints Formal methods for distributed processing, (254-280)
- Hanson D and Proebsting T Dynamic variables Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation, (264-273)
- van Doorn L, Abadi M, Burrows M and Wobber E Secure network objects Secure Internet programming, (395-412)
- Yu S (2001). Class-is-type is inadequate for object reuse, ACM SIGPLAN Notices, 36:6, (50-59), Online publication date: 1-Jun-2001.
- Palsberg J Type-based analysis and applications Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, (20-27)
- Hanson D and Proebsting T (2001). Dynamic variables, ACM SIGPLAN Notices, 36:5, (264-273), Online publication date: 1-May-2001.
- Edwards A and Heiser G Components + security = OS extensibility Proceedings of the 6th Australasian conference on Computer systems architecture, (27-34)
- Edwards A and Heiser G (2018). Components + security = OS extensibility, Australian Computer Science Communications, 23:4, (27-34), Online publication date: 15-Jan-2001.
- Czajkowski G (2019). Application isolation in the Java Virtual Machine, ACM SIGPLAN Notices, 35:10, (354-366), Online publication date: 1-Oct-2000.
- Czajkowski G Application isolation in the Java Virtual Machine Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (354-366)
- van Doorn L A secure javaTM virtual machine Proceedings of the 9th conference on USENIX Security Symposium - Volume 9, (2-2)
- Richards M (2000). Christopher Strachey and the Cambridge CPL Compiler, Higher-Order and Symbolic Computation, 13:1-2, (85-88), Online publication date: 1-Apr-2000.
- Harrison C and Naeem M POOL Proceedings of the 2000 ACM symposium on Applied computing - Volume 2, (764-766)
- Chambers C and Chen W (1999). Efficient multiple and predicated dispatching, ACM SIGPLAN Notices, 34:10, (238-255), Online publication date: 1-Oct-1999.
- Chambers C and Chen W Efficient multiple and predicated dispatching Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (238-255)
- Choi J, Grove D, Hind M and Sarkar V Efficient and precise modeling of exceptions for the analysis of Java programs Proceedings of the 1999 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, (21-31)
- Choi J, Grove D, Hind M and Sarkar V (2019). Efficient and precise modeling of exceptions for the analysis of Java programs, ACM SIGSOFT Software Engineering Notes, 24:5, (21-31), Online publication date: 1-Sep-1999.
- Shao Z (1999). Transparent modules with fully syntatic signatures, ACM SIGPLAN Notices, 34:9, (220-232), Online publication date: 1-Sep-1999.
- Shivers O, Clark J and McGrath R (1999). Atomic heap transactions and fine-grain interrupts, ACM SIGPLAN Notices, 34:9, (48-59), Online publication date: 1-Sep-1999.
- Shao Z Transparent modules with fully syntatic signatures Proceedings of the fourth ACM SIGPLAN international conference on Functional programming, (220-232)
- Shivers O, Clark J and McGrath R Atomic heap transactions and fine-grain interrupts Proceedings of the fourth ACM SIGPLAN international conference on Functional programming, (48-59)
- Heydon A and Najork M Performance limitations of the Java core libraries Proceedings of the ACM 1999 conference on Java Grande, (35-41)
- Bjørner D and Cuéllar J (2018). Software engineering education, Annals of Software Engineering, 6:1-4, (365-409), Online publication date: 1-Apr-1999.
- Lim T, Pardyak P and Bershad B (2019). A memory-efficient real-time non-copying garbage collector, ACM SIGPLAN Notices, 34:3, (118-129), Online publication date: 1-Mar-1999.
- Duggan D (1999). Dynamic typing for distributed programming in polymorphic languages, ACM Transactions on Programming Languages and Systems (TOPLAS), 21:1, (11-45), Online publication date: 1-Jan-1999.
- Shao Z (2019). Typed cross-module compilation, ACM SIGPLAN Notices, 34:1, (141-152), Online publication date: 1-Jan-1999.
- Dagenais M, Merlo E, Laguë B and Proulx D Clones occurence in large object oriented software packages Proceedings of the 1998 conference of the Centre for Advanced Studies on Collaborative research
- Lim T, Pardyak P and Bershad B A memory-efficient real-time non-copying garbage collector Proceedings of the 1st international symposium on Memory management, (118-129)
- Shao Z Typed cross-module compilation Proceedings of the third ACM SIGPLAN international conference on Functional programming, (141-152)
- Biagioni E, Cline K, Lee P, Okasaki C and Stone C (1998). Safe-for-Space Threads in Standard ML, Higher-Order and Symbolic Computation, 11:2, (209-225), Online publication date: 1-Sep-1998.
- Hawblitzel C, Chang C, Czajkowski G, Hu D and von Eicken T Implementing multiple protection domains in java Proceedings of the annual conference on USENIX Annual Technical Conference, (22-22)
- Saito Y and Bershad B A transactional memory service in an extensible operating system Proceedings of the annual conference on USENIX Annual Technical Conference, (5-5)
- Andrade M and Stolfi J Exact algorithms for circles on the sphere Proceedings of the fourteenth annual symposium on Computational geometry, (126-134)
- Diwan A, McKinley K and Moss J (1998). Type-based alias analysis, ACM SIGPLAN Notices, 33:5, (106-117), Online publication date: 1-May-1998.
- Diwan A, McKinley K and Moss J Type-based alias analysis Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation, (106-117)
- Shao Z Typed common intermediate format Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997, (8-8)
- Small C A tool for constructing safe extensible C++ systems Proceedings of the 3rd conference on USENIX Conference on Object-Oriented Technologies (COOTS) - Volume 3, (13-13)
- Fernández M and Ramsey N Automatic checking of instruction specifications Proceedings of the 19th international conference on Software engineering, (326-336)
- Mathiske B, Matthes F and Schmidt J (2019). On Migrating Threads, Journal of Intelligent Information Systems, 8:2, (167-191), Online publication date: 31-Mar-1997.
- Cardelli L Program fragments, linking, and modularization Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (266-277)
- Bank J, Myers A and Liskov B Parameterized types for Java Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (132-145)
- Diwan A, Moss J and McKinley K (1996). Simple and effective analysis of statically-typed object-oriented programs, ACM SIGPLAN Notices, 31:10, (292-305), Online publication date: 1-Oct-1996.
- Dean J, DeFouw G, Grove D, Litvinov V and Chambers C (1996). Vortex, ACM SIGPLAN Notices, 31:10, (83-100), Online publication date: 1-Oct-1996.
- Diwan A, Moss J and McKinley K Simple and effective analysis of statically-typed object-oriented programs Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (292-305)
- Dean J, DeFouw G, Grove D, Litvinov V and Chambers C Vortex Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (83-100)
- Pronk C and Schönhacker M (1996). ISO/IEC 10514–1, the standard for Modula-2, ACM SIGPLAN Notices, 31:8, (74-83), Online publication date: 1-Aug-1996.
- Abadi M and Fiore M Syntactic Considerations on Recursive Types Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
- Duggan D and Sourelis C (2019). Mixin modules, ACM SIGPLAN Notices, 31:6, (262-273), Online publication date: 15-Jun-1996.
- Duggan D and Sourelis C Mixin modules Proceedings of the first ACM SIGPLAN international conference on Functional programming, (262-273)
- Reppy J and Riecke J (2019). Simple objects for Standard ML, ACM SIGPLAN Notices, 31:5, (171-180), Online publication date: 1-May-1996.
- Reppy J and Riecke J Simple objects for Standard ML Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation, (171-180)
- Stroustrup B A history of C++ History of programming languages---II, (699-769)
- Ritchie D The development of the C programming language History of programming languages---II, (671-698)
- Bershad B, Savage S, Pardyak P, Sirer E, Fiuczynski M, Becker D, Chambers C and Eggers S (1995). Extensibility safety and performance in the SPIN operating system, ACM SIGOPS Operating Systems Review, 29:5, (267-283), Online publication date: 3-Dec-1995.
- Bershad B, Savage S, Pardyak P, Sirer E, Fiuczynski M, Becker D, Chambers C and Eggers S Extensibility safety and performance in the SPIN operating system Proceedings of the fifteenth ACM symposium on Operating systems principles, (267-283)
- Sasine J and Toal R Implementing the model-view-controller paradigm in Ada 95 Proceedings of the conference on TRI-Ada '95: Ada's role in global markets: solutions for a changing complex world, (202-211)
- Day M, Gruber R, Liskov B and Myers A (2019). Subtypes vs. where clauses, ACM SIGPLAN Notices, 30:10, (156-168), Online publication date: 17-Oct-1995.
- Myers A (2019). Bidirectional object layout for separate compilation, ACM SIGPLAN Notices, 30:10, (124-139), Online publication date: 17-Oct-1995.
- Grove D, Dean J, Garrett C and Chambers C (2019). Profile-guided receiver class prediction, ACM SIGPLAN Notices, 30:10, (108-123), Online publication date: 17-Oct-1995.
- Day M, Gruber R, Liskov B and Myers A Subtypes vs. where clauses Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications, (156-168)
- Myers A Bidirectional object layout for separate compilation Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications, (124-139)
- Grove D, Dean J, Garrett C and Chambers C Profile-guided receiver class prediction Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications, (108-123)
- Veach E and Guibas L Optimally combining sampling techniques for Monte Carlo rendering Proceedings of the 22nd annual conference on Computer graphics and interactive techniques, (419-428)
- Wiener J and Naughton J OODB Bulk Loading Revisited Proceedings of the 21th International Conference on Very Large Data Bases, (30-41)
- Brewer E (1995). High-level optimization via automated statistical modeling, ACM SIGPLAN Notices, 30:8, (80-91), Online publication date: 1-Aug-1995.
- Brewer E High-level optimization via automated statistical modeling Proceedings of the fifth ACM SIGPLAN symposium on Principles and practice of parallel programming, (80-91)
- Weich C Generic containers for a distributed object store Proceedings of the USENIX Conference on Object-Oriented Technologies on USENIX Conference on Object-Oriented Technologies (COOTS), (14-14)
- Courtney A Phantom Proceedings of the USENIX Conference on Object-Oriented Technologies on USENIX Conference on Object-Oriented Technologies (COOTS), (7-7)
- Fernández M Simple and effective link-time optimization of Modula-3 programs Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation, (103-115)
- Fernández M (2019). Simple and effective link-time optimization of Modula-3 programs, ACM SIGPLAN Notices, 30:6, (103-115), Online publication date: 1-Jun-1995.
- Lewis B, Deutsch L and Goldstein T (1995). Clarity MCode, ACM SIGPLAN Notices, 30:3, (119-128), Online publication date: 1-Mar-1995.
- Lewis B, Deutsch L and Goldstein T Clarity MCode Papers from the 1995 ACM SIGPLAN workshop on Intermediate representations, (119-128)
- Cardelli L A language with distributed scope Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (286-297)
- Bershad B, Chambers C, Eggers S, Maeda C, McNamee D, Pardyak P, Savage S and Sirer E (1995). SPIN—an extensible microkernel for application-specific operating system services, ACM SIGOPS Operating Systems Review, 29:1, (74-77), Online publication date: 11-Jan-1995.
- Attardi G (1994). The embeddable Common Lisp, ACM SIGPLAN Lisp Pointers, VIII:1, (30-41), Online publication date: 1-Jan-1995.
- Evans D, Guttag J, Horning J and Tan Y (2019). LCLint, ACM SIGSOFT Software Engineering Notes, 19:5, (87-96), Online publication date: 1-Dec-1994.
- Evans D, Guttag J, Horning J and Tan Y LCLint Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering, (87-96)
- Crawley S and Oudshoorn M Orthogonal persistence and Ada Proceedings of the conference on TRI-Ada '94, (298-308)
- Gajewska H, Kistler J, Manasse M and Redell D Argo Proceedings of the second ACM international conference on Multimedia, (433-440)
- Chambers C and Leavens G (2019). Typechecking and modules for multi-methods, ACM SIGPLAN Notices, 29:10, (1-15), Online publication date: 1-Oct-1994.
- Chambers C and Leavens G Typechecking and modules for multi-methods Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications, (1-15)
- Matthes F and Schmidt J Persistent Threads Proceedings of the 20th International Conference on Very Large Data Bases, (403-414)
- Wiener J and Naughton J Bulk Loading into an OODB Proceedings of the 20th International Conference on Very Large Data Bases, (120-131)
- Romanovsky A (1994). About conversations for concurrent OO languages, ACM SIGPLAN Notices, 29:9, (17-21), Online publication date: 1-Sep-1994.
- Attardi G The embeddable Common Lisp Papers of the fourth international conference on LISP users and vendors, (30-41)
- Appel A and MacQueen D Separate compilation for Standard ML Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation, (13-23)
- Dean J and Chambers C (2019). Towards better inlining decisions using inlining trials, ACM SIGPLAN Lisp Pointers, VII:3, (273-282), Online publication date: 1-Jul-1994.
- Dean J and Chambers C Towards better inlining decisions using inlining trials Proceedings of the 1994 ACM conference on LISP and functional programming, (273-282)
- Appel A and MacQueen D (2019). Separate compilation for Standard ML, ACM SIGPLAN Notices, 29:6, (13-23), Online publication date: 1-Jun-1994.
- Ellis J and Detlefs D Safe, efficient garbage collection for C++ Proceedings of the 6th conference on USENIX Sixth C++ Technical Conference - Volume 6, (9-9)
- Harper R and Lillibridge M A type-theoretic approach to higher-order modules with sharing Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (123-137)
- Birrell A, Nelson G, Owicki S and Wobber E Network objects Proceedings of the fourteenth ACM symposium on Operating systems principles, (217-230)
- Perl S and Weihl W Performance assertion checking Proceedings of the fourteenth ACM symposium on Operating systems principles, (134-145)
- Birrell A, Nelson G, Owicki S and Wobber E (2019). Network objects, ACM SIGOPS Operating Systems Review, 27:5, (217-230), Online publication date: 1-Dec-1993.
- Perl S and Weihl W (2019). Performance assertion checking, ACM SIGOPS Operating Systems Review, 27:5, (134-145), Online publication date: 1-Dec-1993.
- Hosking A and Moss J (2019). Object fault handling for persistent programming languages, ACM SIGPLAN Notices, 28:10, (288-303), Online publication date: 1-Oct-1993.
- Bracha G and Griswold D (2019). Strongtalk, ACM SIGPLAN Notices, 28:10, (215-230), Online publication date: 1-Oct-1993.
- Hosking A and Moss J Object fault handling for persistent programming languages Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications, (288-303)
- Bracha G and Griswold D Strongtalk Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications, (215-230)
- Sims D, Hensgen D and Moore L Performance of concurrent servers generated automatically from sequential servers USENIX Systems on USENIX Experiences with Distributed and Multiprocessor Systems - Volume 4, (10-10)
- King K Modula-3 Proceedings of the tenth annual Washington Ada symposium on Ada: Ada's role in software engineering, (147-154)
- Goldberg D and Richardson C Touch-typing with a stylus Proceedings of the INTERACT '93 and CHI '93 Conference on Human Factors in Computing Systems, (80-87)
- Ritchie D The development of the C language The second ACM SIGPLAN conference on History of programming languages, (201-208)
- Stroustrup B A history of C++ The second ACM SIGPLAN conference on History of programming languages, (271-297)
- Stansifer R and Wetklow D Method reuse in typed object-oriented languages Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice, (63-70)
- Shao Z and Appel A Smartest recompilation Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (439-450)
- Ritchie D (2019). The development of the C language, ACM SIGPLAN Notices, 28:3, (201-208), Online publication date: 1-Mar-1993.
- Stroustrup B (2019). A history of C++, ACM SIGPLAN Notices, 28:3, (271-297), Online publication date: 1-Mar-1993.
- Christopher W, Procter S and Anderson T The Nachos instructional operating system Proceedings of the USENIX Winter 1993 Conference Proceedings on USENIX Winter 1993 Conference Proceedings, (4-4)
- Evers D and Robinson P Modula-3 network objects over ANSA Proceedings of the 5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring, (1-5)
- Diwan A, Moss E and Hudson R (2019). Compiler support for garbage collection in a statically typed language, ACM SIGPLAN Notices, 27:7, (273-282), Online publication date: 1-Jul-1992.
- Hoover R (2019). Alphonse, ACM SIGPLAN Notices, 27:7, (261-272), Online publication date: 1-Jul-1992.
- Ramsey N and Hanson D (1992). A retargetable debugger, ACM SIGPLAN Notices, 27:7, (22-31), Online publication date: 1-Jul-1992.
- Diwan A, Moss E and Hudson R Compiler support for garbage collection in a statically typed language Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation, (273-282)
- Hoover R Alphonse Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation, (261-272)
- Ramsey N and Hanson D A retargetable debugger Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation, (22-31)
- Sarkar M and Brown M Graphical fisheye views of graphs Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, (83-91)
- Bier E and Freeman S MMM Proceedings of the 4th annual ACM symposium on User interface software and technology, (79-86)
Index Terms
- Systems programming with Modula-3
Recommendations
Modula-2 versus Java as the first programming language: Evaluation of students' performance
CompSysTech '16: Proceedings of the 17th International Conference on Computer Systems and Technologies 2016The choice of the first programming language in computer science curricula is a complex multi-faceted issue that needs to be addressed from multiple points of view. In this paper we adopt the perspective of the teacher, and after surveying factors such ...
Comparing novice programing environments for use in secondary education: App Inventor for Android vs. Alice
Coding is part of logical thinking and is one of the basic skills which are known as '21st-century skills'. Coding acquisition is necessary as it is used in a wide range of occupations. However, computer programing is difficult to learn and programing ...