No abstract available.
Cited By
- Roberts S and Pegden D The history of simulation modeling Proceedings of the 2017 Winter Simulation Conference, (1-16)
- Balzer S and Pfenning F Objects as session-typed processes Proceedings of the 5th International Workshop on Programming Based on Actors, Agents, and Decentralized Control, (13-24)
- Haveraaen M, Morris K and Rouson D High-performance design patterns for modern Fortran Proceedings of the 1st International Workshop on Software Engineering for High Performance Computing in Computational Science and Engineering, (1-8)
- Solodkyy Y, Dos Reis G and Stroustrup B (2012). Open and efficient type switch for C++, ACM SIGPLAN Notices, 47:10, (963-982), Online publication date: 15-Nov-2012.
- Solodkyy Y, Dos Reis G and Stroustrup B Open and efficient type switch for C++ Proceedings of the ACM international conference on Object oriented programming systems languages and applications, (963-982)
- St-Amour V, Tobin-Hochstadt S, Flatt M and Felleisen M Typing the numeric tower Proceedings of the 14th international conference on Practical Aspects of Declarative Languages, (289-303)
- Kindler E and Krivy I Application of non-Euclidian metrics in simulation Proceedings of the 12th WSEAS international conference on Automatic control, modelling & simulation, (160-164)
- Kindler E Nested models implemented in nested theories Proceedings of the 12th WSEAS international conference on Automatic control, modelling & simulation, (150-159)
- Anton K and Thiemann P Typing coroutines Proceedings of the 11th international conference on Trends in functional programming, (16-30)
- Babcicky K Live objects revisited Proceedings of the 12th WSEAS international conference on Automatic control, modelling & simulation, (181-184)
- Kindler E Programming languages as tools for describing and modeling anticipatory systems Proceedings of the 10th WSEAS international conference on Automation & information, (305-315)
- Kindler E Super-object-oriented programming and simulation Proceedings of the 12th WSEAS international conference on Computers, (1049-1059)
- Svetinovic D, Berry D and Godfrey M Increasing quality of conceptual models Proceedings of the 2006 international workshop on Role of abstraction in software engineering, (19-22)
- Øverby H and Stol N (2005). Providing absolute QoS in asynchronous bufferless optical packet/burst switched networks with the adaptive preemptive drop policy, Computer Communications, 28:9, (1038-1049), Online publication date: 1-Jun-2005.
- Frihida A, Marceau D and Thériault M (2004). Development of a Temporal Extension to Query Travel Behavior Time Paths Using an Object-Oriented GIS, Geoinformatica, 8:3, (211-235), Online publication date: 1-Sep-2004.
- Hoare C (2003). Assertions, IEEE Annals of the History of Computing, 25:2, (14-25), Online publication date: 1-Apr-2003.
- Wagner E (2002). Algebraic specifications, Nordic Journal of Computing, 9:4, (373-404), Online publication date: 1-Dec-2002.
- Guttag J Abstract data types and the development of data structures Software pioneers, (453-479)
- Dahl O The roots of object orientation Software pioneers, (78-90)
- Lindsey C A history of ALGOL 68 History of programming languages---II, (27-96)
- Kristensen B and Østerbye K (1996). A conceptual perspective on the comparison of object-oriented programming languages, ACM SIGPLAN Notices, 31:2, (42-54), Online publication date: 1-Feb-1996.
- Taivalsaari A (1995). Delegation versus concatenation or cloning is inheritance too, ACM SIGPLAN OOPS Messenger, 6:3, (20-49), Online publication date: 1-Jul-1995.
- Räihä L (1995). A brief look at extension programming before and now, ACM SIGPLAN Notices, 30:2, (12-20), Online publication date: 1-Feb-1995.
- Kristensen B and Østerbye K (1994). Conceptual modeling and programming languages, ACM SIGPLAN Notices, 29:9, (81-90), Online publication date: 1-Sep-1994.
- Kristensen B (1994). Complex associations, ACM SIGPLAN Notices, 29:10, (272-286), Online publication date: 1-Oct-1994.
- Kristensen B Complex associations Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications, (272-286)
- Taft S (1993). Ada 9X, ACM SIGPLAN Notices, 28:10, (127-136), Online publication date: 1-Oct-1993.
- Taft S Ada 9X Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications, (127-136)
- Lindsey C (1993). A history of ALGOL 68, ACM SIGPLAN Notices, 28:3, (97-132), Online publication date: 1-Mar-1993.
- Lindsey C A history of ALGOL 68 The second ACM SIGPLAN conference on History of programming languages, (97-132)
- Baezner D, Rohs C and Jones H U.S. Army ModSim on Jade's timewarp Proceedings of the 24th conference on Winter simulation, (665-671)
- Tichy W Programming-in-the-large Proceedings of the 14th international conference on Software engineering, (362-367)
- Crawford D (1992). Technical correspondence, Communications of the ACM, 35:8, (125), Online publication date: 1-Aug-1992.
- Breugnot D, Gourgand M, Hill D and Kellert P (1991). GAME, ACM SIGSIM Simulation Digest, 21:3, (217-227), Online publication date: 1-Apr-1991.
- Breugnot D, Gourgand M, Hill D and Kellert P GAME Proceedings of the 24th annual symposium on Simulation, (217-227)
- Nakata I and Sassa M (1991). Programming with Streams in a Pascal-Like Language, IEEE Transactions on Software Engineering, 17:1, (1-9), Online publication date: 1-Jan-1991.
- Whitesell J and Reid J Computational mechanics solvers based on object-oriented design principles Proceedings of the 22nd conference on Winter simulation, (486-489)
- Cox P Using object-orientation to implement logic programming Proceedings of the 1990 ACM SIGSMALL/PC symposium on Small systems, (106-114)
- Madsen O and Moller-Pedersen B (1989). Virtual classes: a powerful mechanism in object-oriented programming, ACM SIGPLAN Notices, 24:10, (397-406), Online publication date: 1-Oct-1989.
- Madsen O and Moller-Pedersen B Virtual classes: a powerful mechanism in object-oriented programming Conference proceedings on Object-oriented programming systems, languages and applications, (397-406)
- Jalote P (1989). Testing the Completeness of Specifications, IEEE Transactions on Software Engineering, 15:5, (526-531), Online publication date: 1-May-1989.
- Banâtre J, Banâtre M, Lecler P, Ployette F and Le Certen P Fragmented and replicated objects in the GOTHIC distributed system Proceedings of the 3rd workshop on ACM SIGOPS European workshop: Autonomy or interdependence in distributed systems?, (1-4)
- Hill D and vanCleemput W SABLE: A tool for generating structured, multi-level simulations Papers on Twenty-five years of electronic design automation, (365-272)
- Seidewitz E (1987). Object-oriented programming in Smalltalk and ADA, ACM SIGPLAN Notices, 22:12, (202-213), Online publication date: 1-Dec-1987.
- Seidewitz E Object-oriented programming in Smalltalk and ADA Conference proceedings on Object-oriented programming systems, languages and applications, (202-213)
- Madsen O Block structure and object oriented languages Proceedings of the 1986 SIGPLAN workshop on Object-oriented programming, (133-142)
- Hendler J Enhancement for multiple-inheritance Proceedings of the 1986 SIGPLAN workshop on Object-oriented programming, (98-106)
- Madsen O (1986). Block structure and object oriented languages, ACM SIGPLAN Notices, 21:10, (133-142), Online publication date: 1-Oct-1986.
- Hendler J (1986). Enhancement for multiple-inheritance, ACM SIGPLAN Notices, 21:10, (98-106), Online publication date: 1-Oct-1986.
- Fukunaga K and Hirose S An experience with a Prolog-based object-oriented language Conference proceedings on Object-oriented programming systems, languages and applications, (224-231)
- Knuth E, Hannak L and Hernadi A Notes on conceptual representations Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems, (390-398)
- Fukunaga K and Hirose S (1986). An experience with a Prolog-based object-oriented language, ACM SIGPLAN Notices, 21:11, (224-231), Online publication date: 1-Nov-1986.
- Kristensen B, Madsen O, Møller-Pedersen B and Nygaard K (1985). Multi-sequential execution in the BETA programming language, ACM SIGPLAN Notices, 20:4, (57-69), Online publication date: 1-Apr-1985.
- Bray G (1984). Sharing code among instances of Ada generics, ACM SIGPLAN Notices, 19:6, (276-284), Online publication date: 1-Jun-1984.
- Bray G Sharing code among instances of Ada generics Proceedings of the 1984 SIGPLAN symposium on Compiler construction, (276-284)
- Madhavji N (1984). Visibility aspects of programmed dynamic data structures, Communications of the ACM, 27:8, (764-776), Online publication date: 1-Aug-1984.
- Adelsberger H (1984). Interactive modeling and simulation of transaction flow or network models using the ADA simulation support environment, ACM SIGSIM Simulation Digest, 15:2, (23-32), Online publication date: 1-Apr-1984.
- Lopriore L (1984). Capability Based Tagged Architectures, IEEE Transactions on Computers, 33:9, (786-803), Online publication date: 1-Sep-1984.
- Milewski J (1984). Loslan implementation of the AMPL message-passing system, ACM SIGPLAN Notices, 19:9, (21-29), Online publication date: 1-Sep-1984.
- Hoare C (1983). Communicating sequential processes, Communications of the ACM, 26:1, (100-106), Online publication date: 1-Jan-1983.
- Adelsberger H Interactive modeling and simulation of transaction flow or network models using the ADA simulation support environment Proceedings of the 15th conference on Winter Simulation - Volume 2, (561-572)
- Bürger W Simulation programming with Ada Proceedings of the 15th conference on Winter Simulation - Volume 2, (539-542)
- Wyatt D, Sheppard S and Young R An experiment in microprocessor-based distributed digital simulation Proceedings of the 15th conference on Winter simulation - Volume 1, (271-278)
- Hill D (1983). An analysis of C machine support for other block-structured languages, ACM SIGARCH Computer Architecture News, 11:4, (6-16), Online publication date: 1-Sep-1983.
- Kristensen B, Madsen O, Møller-Pedersen B and Nygaard K Abstraction mechanisms in the BETA programming language Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (285-298)
- Strom R Mechanisms for compile-time enforcement of security Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (276-284)
- Beech D Criteria for a standard command language based on data abstraction Proceedings of the June 7-10, 1982, national computer conference, (493-499)
- Shannon R Introduction to model building Proceedings of the 14th conference on Winter Simulation - Volume 2, (633-641)
- Lomow G and Unger B The process view of simulation in Ada Proceedings of the 14th conference on Winter Simulation - Volume 1, (77-86)
- Voda P Maple Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (157-168)
- Reynolds C Computer animation with scripts and actors Proceedings of the 9th annual conference on Computer graphics and interactive techniques, (289-296)
- Reynolds C (1982). Computer animation with scripts and actors, ACM SIGGRAPH Computer Graphics, 16:3, (289-296), Online publication date: 1-Jul-1982.
- Baroody A and DeWitt D (1981). An object-oriented approach to database system implementation, ACM Transactions on Database Systems, 6:4, (576-601), Online publication date: 1-Dec-1981.
- Madsen J (1981). A computer system supporting data abstraction, ACM SIGOPS Operating Systems Review, 15:2, (38-78), Online publication date: 1-Apr-1981.
- Madsen J (1981). A computer system supporting data abstraction, ACM SIGOPS Operating Systems Review, 15:1, (45-72), Online publication date: 1-Jan-1981.
- Cheatham T, Holloway G and Townley J Program refinement by transformation Proceedings of the 5th international conference on Software engineering, (430-437)
- Zilles S (1980). Types, algebras and modeling, ACM SIGART Bulletin:74, (207-209), Online publication date: 1-Jan-1981.
- Zilles S (1980). Types, algebras and modeling, ACM SIGMOD Record, 11:2, (207-209), Online publication date: 1-Feb-1981.
- Zilles S (1980). Types, algebras and modeling, ACM SIGPLAN Notices, 16:1, (207-209), Online publication date: 1-Jan-1981.
- Guttag J, Horning J and Williams J FP with data abstraction and strong typing Proceedings of the 1981 conference on Functional programming languages and computer architecture, (11-24)
- Sint M (1980). A survey of high level microprogramming languages, ACM SIGMICRO Newsletter, 11:3-4, (141-153), Online publication date: 1-Dec-1980.
- Luckham D and Polak W (1980). A practical method of documenting and verifying Ada programs with packages, ACM SIGPLAN Notices, 15:11, (113-122), Online publication date: 1-Nov-1980.
- Bryant R SIMPAS Proceedings of the 12th conference on Winter simulation, (25-40)
- Schneider M Information systems approach to discrete event simulation Proceedings of the 13th annual symposium on Simulation, (103-110)
- Sint M A survey of high level microprogramming languages Proceedings of the 13th annual workshop on Microprogramming, (141-153)
- Luckham D and Polak W A practical method of documenting and verifying Ada programs with packages Proceedings of the ACM-SIGPLAN symposium on Ada programming language, (113-122)
- Kolstad R and Campbell R (1980). Path PASCAL user manual, ACM SIGPLAN Notices, 15:9, (15-24), Online publication date: 1-Sep-1980.
- Zilles S Types, algebras and modeling Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling, (207-209)
- Kurokawa T The function-class Proceedings of the 1980 ACM conference on LISP and functional programming, (38-45)
- Luckham D and Polak W A practical method of documenting and verifying Ada programs with packages Proceedings of the ACM-SIGPLAN symposium on The ADA programming language, (113-122)
- Klint P An overview of the SUMMER programming language Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (47-55)
- Hill D and vanCleemput W SABLE Proceedings of the 16th Design Automation Conference, (272-279)
- Vanek L and Marty R Hierarchical coroutines a mechanism for improved program structure Proceedings of the 4th international conference on Software engineering, (274-285)
- Kramer J and Cunningham R Invariants for specifications Proceedings of the 4th international conference on Software engineering, (183-193)
- Randell B Software engineering in 1968 Proceedings of the 4th international conference on Software engineering, (1-10)
- Shoch J (1979). An overview of the programming language Smalltalk-72, ACM SIGPLAN Notices, 14:9, (64-73), Online publication date: 1-Sep-1979.
- Keedy J (1979). On structuring operating systems with monitors, ACM SIGOPS Operating Systems Review, 13:1, (5-9), Online publication date: 1-Jan-1979.
- Hoare C (1978). Communicating sequential processes, Communications of the ACM, 21:8, (666-677), Online publication date: 1-Aug-1978.
- Lindstrom G Control structure aptness Proceedings of the 3rd international conference on Software engineering, (5-12)
- Barnard D, Elliott W and Thompson D (1978). Euclid and Modula, ACM SIGPLAN Notices, 13:3, (70-84), Online publication date: 1-Mar-1978.
- Chang E, Kaden N and Elliott W (1978). Abstract data types in Euclid, ACM SIGPLAN Notices, 13:3, (34-42), Online publication date: 1-Mar-1978.
- Lichten L and Fernández E Interaction with databases through procedural languages Proceedings of the 1978 annual conference - Volume 2, (937-945)
- Gordon M, Milner R, Morris L, Newey M and Wadsworth C A Metalanguage for interactive proof in LCF Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (119-130)
- Guttag J and Horning J (1978). The algebraic specification of abstract data types, Acta Informatica, 10:1, (27-52), Online publication date: 1-Mar-1978.
- Lomet D (1977). Process structuring, synchronization, and recovery using atomic actions, ACM SIGSOFT Software Engineering Notes, 2:2, (128-137), Online publication date: 1-Mar-1977.
- Fischer C and LeBlanc R (1977). Efficient implementation and optimization of run-time checking in PASCAL, ACM SIGSOFT Software Engineering Notes, 2:2, (19-24), Online publication date: 1-Mar-1977.
- Popek G, Horning J, Lampson B, Mitchell J and London R (1977). Notes on the design of Euclid, ACM SIGSOFT Software Engineering Notes, 2:2, (11-18), Online publication date: 1-Mar-1977.
- Lomet D (1977). Process structuring, synchronization, and recovery using atomic actions, ACM SIGOPS Operating Systems Review, 11:2, (128-137), Online publication date: 1-Apr-1977.
- Fischer C and LeBlanc R (1977). Efficient implementation and optimization of run-time checking in PASCAL, ACM SIGOPS Operating Systems Review, 11:2, (19-24), Online publication date: 1-Apr-1977.
- Popek G, Horning J, Lampson B, Mitchell J and London R (1977). Notes on the design of Euclid, ACM SIGOPS Operating Systems Review, 11:2, (11-18), Online publication date: 1-Apr-1977.
- Lomet D (1977). Process structuring, synchronization, and recovery using atomic actions, ACM SIGPLAN Notices, 12:3, (128-137), Online publication date: 1-Mar-1977.
- Fischer C and LeBlanc R (1977). Efficient implementation and optimization of run-time checking in PASCAL, ACM SIGPLAN Notices, 12:3, (19-24), Online publication date: 1-Mar-1977.
- Popek G, Horning J, Lampson B, Mitchell J and London R (1977). Notes on the design of Euclid, ACM SIGPLAN Notices, 12:3, (11-18), Online publication date: 1-Mar-1977.
- Geschke C, Morris J and Satterthwaite E (1977). Early experience with Mesa, Communications of the ACM, 20:8, (540-553), Online publication date: 1-Aug-1977.
- Gries D and Gehani N (1977). Some ideas on data types in high-level languages, Communications of the ACM, 20:6, (414-420), Online publication date: 1-Jun-1977.
- Guttag J (1977). Abstract data types and the development of data structures, Communications of the ACM, 20:6, (396-404), Online publication date: 1-Jun-1977.
- Robinson L and Levitt K (1977). Proof techniques for hierarchically structured programs, Communications of the ACM, 20:4, (271-283), Online publication date: 1-Apr-1977.
- Dembinski P and Schwartz R (1977). The taming of the pointer, ACM SIGPLAN Notices, 12:7, (60-74), Online publication date: 1-Jul-1977.
- Abramson H (1977). Ordered types and a generalized for statement, ACM SIGPLAN Notices, 12:12, (55-59), Online publication date: 1-Dec-1977.
- Foster J and Foster P (1977). Abstract data and functors, ACM SIGPLAN Notices, 12:6, (161-167), Online publication date: 1-Jun-1977.
- Travis L, Honda M, LeBlanc R and Zeigler S (1977). Design rationale for TELOS, a PASCAL-based AI language, ACM SIGART Bulletin:64, (67-76), Online publication date: 1-Aug-1977.
- Travis L, Honda M, LeBlanc R and Zeigler S (1977). Design rationale for TELOS, a PASCAL-based AI language, ACM SIGPLAN Notices, 12:8, (67-76), Online publication date: 1-Aug-1977.
- Foster J and Foster P Abstract data and functors Proceedings of the Strathclyde ALGOL 68 conference, (161-167)
- Travis L, Honda M, LeBlanc R and Zeigler S Design rationale for TELOS, a PASCAL-based AI language Proceedings of the 1977 symposium on Artificial intelligence and programming languages, (67-76)
- Lomet D Process structuring, synchronization, and recovery using atomic actions Proceedings of an ACM conference on Language design for reliable software, (128-137)
- Fischer C and LeBlanc R Efficient implementation and optimization of run-time checking in PASCAL Proceedings of an ACM conference on Language design for reliable software, (19-24)
- Popek G, Horning J, Lampson B, Mitchell J and London R Notes on the design of Euclid Proceedings of an ACM conference on Language design for reliable software, (11-18)
- Minsky N Files with semantics Proceedings of the 1976 ACM SIGMOD international conference on Management of data, (65-73)
- Guttag J, Horowitz E and Musser D The design of data type specifications Proceedings of the 2nd international conference on Software engineering, (414-420)
- Koster C (1976). Visibility and types, ACM SIGMOD Record, 8:2, (179-190), Online publication date: 1-Mar-1976.
- Parnas D, Shore J and Weiss D (1976). Abstract types defined as classes of variables, ACM SIGMOD Record, 8:2, (149-154), Online publication date: 1-Mar-1976.
- Flon L and Habermann A (1976). Towards the construction of verifiable software systems, ACM SIGMOD Record, 8:2, (141-148), Online publication date: 1-Mar-1976.
- Kieburtz R (1976). Programming without pointer variables, ACM SIGMOD Record, 8:2, (95-107), Online publication date: 1-Mar-1976.
- Linden T (1976). The use of abstract data types to simplify program modifications, ACM SIGMOD Record, 8:2, (12-23), Online publication date: 1-Mar-1976.
- Koster C (1976). Visibility and types, ACM SIGPLAN Notices, 11:SI, (179-190), Online publication date: 15-Mar-1976.
- Parnas D, Shore J and Weiss D (1976). Abstract types defined as classes of variables, ACM SIGPLAN Notices, 11:SI, (149-154), Online publication date: 15-Mar-1976.
- Flon L and Habermann A (1976). Towards the construction of verifiable software systems, ACM SIGPLAN Notices, 11:SI, (141-148), Online publication date: 15-Mar-1976.
- Kieburtz R (1976). Programming without pointer variables, ACM SIGPLAN Notices, 11:SI, (95-107), Online publication date: 15-Mar-1976.
- Linden T (1976). The use of abstract data types to simplify program modifications, ACM SIGPLAN Notices, 11:SI, (12-23), Online publication date: 15-Mar-1976.
- Wasserman A and Sherertz D (1976). A balanced view of MUMPS, ACM SIGPLAN Notices, 11:4, (16-26), Online publication date: 1-Apr-1976.
- Koster C Visibility and types Proceedings of the 1976 conference on Data : Abstraction, definition and structure, (179-190)
- Parnas D, Shore J and Weiss D Abstract types defined as classes of variables Proceedings of the 1976 conference on Data : Abstraction, definition and structure, (149-154)
- Flon L and Habermann A Towards the construction of verifiable software systems Proceedings of the 1976 conference on Data : Abstraction, definition and structure, (141-148)
- Kieburtz R Programming without pointer variables Proceedings of the 1976 conference on Data : Abstraction, definition and structure, (95-107)
- Linden T The use of abstract data types to simplify program modifications Proceedings of the 1976 conference on Data : Abstraction, definition and structure, (12-23)
- Wasserman A and Sherertz D A balanced view of MUMPS Proceedings of the ACM SIGMINI/SIGPLAN interface meeting on Programming systems in the small processor environment, (16-26)
- Hanson D A procedure mechanism for backtrack programming Proceedings of the 1976 annual conference, (401-405)
- DeWitt D Extensibility - a new approach for designing machine independent microprogramming languages Proceedings of the 9th annual workshop on Microprogramming, (33-41)
- Geschke C and Mitchell J (1975). On the problem of uniform references to data structures, ACM SIGPLAN Notices, 10:6, (31-42), Online publication date: 1-Jun-1975.
- Geschke C and Mitchell J On the problem of uniform references to data structures Proceedings of the international conference on Reliable software, (31-42)
- Vaucher J and Duval P (1975). A comparison of simulation event list algorithms, Communications of the ACM, 18:4, (223-230), Online publication date: 1-Apr-1975.
- MacDougall M Simulating the NASA Mass Data Storage Facility Proceedings of the 2nd symposium on Simulation of computer systems, (33-43)
- Liskov B and Zilles S (1974). Programming with abstract data types, ACM SIGPLAN Notices, 9:4, (50-59), Online publication date: 1-Apr-1974.
- Minsky N On interaction with data bases Proceedings of the 1974 ACM SIGFIDET (now SIGMOD) workshop on Data description, access and control, (51-62)
- Franta W and Houle P Comments on models of multi-processor multi-memory bank computer systems Proceedings of the 7th conference on Winter simulation - Volume 1, (87-97)
- Liskov B and Zilles S Programming with abstract data types Proceedings of the ACM SIGPLAN symposium on Very high level languages, (50-59)
- Herriot R (1973). GLOSS, ACM SIGPLAN Notices, 8:9, (70-73), Online publication date: 1-Sep-1973.
- MacDougall M and McAlpine J Computer system simulation with ASPOL Proceedings of the 1st symposium on Simulation of computer systems, (92-103)
- Herriot R GLOSS Proceeding of ACM SIGPLAN - SIGOPS interface meeting on Programming languages - operating systems, (70-73)
- Fischer A and Fischer M Mode modules as representations of domains Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (139-143)
- Dahl O and Hoare C Chapter III: Hierarchical program structures Structured programming, (175-220)
- Sandewall E (1971). A proposed solution to the FUNARG problem, ACM SIGSAM Bulletin:17, (29-42), Online publication date: 1-Jan-1971.
- Ichbiah J (1971). Extensibility in Simula 67, ACM SIGPLAN Notices, 6:12, (84-86), Online publication date: 1-Dec-1971.
- Fernandez A, Heliard J and Ichbiah J (1971). Overview of the syntax processor generator SYNPROC, ACM SIGPLAN Notices, 6:12, (51-55), Online publication date: 1-Dec-1971.
- Vaucher J Simulation data structures using SIMULA 67 Proceedings of the 5th conference on Winter simulation, (255-260)
- Ichbiah J Extensibility in Simula 67 Proceedings of the international symposium on Extensible languages, (84-86)
- Fernandez A, Heliard J and Ichbiah J Overview of the syntax processor generator SYNPROC Proceedings of the international symposium on Extensible languages, (51-55)
- Reynolds J (1970). GEDANKEN—a simple typeless language based on the principle of completeness and the reference concept, Communications of the ACM, 13:5, (308-319), Online publication date: 1-May-1970.
- Ichbiah J and Morse S (1970). A technique for generating almost optimal Floyd-Evans productions for precedence grammars, Communications of the ACM, 13:8, (501-508), Online publication date: 1-Aug-1970.
Index Terms
- SIMULA 67 common base language, (Norwegian Computing Center. Publication)
Recommendations
Some features of the SIMULA 67 language
Proceedings of the second conference on Applications of simulationsSIMULA 67 is a general purpose programming language with a built-in simulation capability similar to, but stronger than that of SIMULA I. SIMULA 67 has been developed by the authors at the Norwegian Computing Center. Compilers for this language are now ...
Extensibility in Simula 67
Proceedings of the international symposium on Extensible languagesSimula 67 is a general purpose language developed at the Norwegian Computing Center. It evolved from an earlier simultation language called Simula 1 [1]
Dahl and Nygaard however, realized that the problems that had to be solved for the implementation of ...
Extensibility in Simula 67
Proceedings of the international symposium on Extensible languagesSimula 67 is a general purpose language developed at the Norwegian Computing Center. It evolved from an earlier simultation language called Simula 1 [1]
Dahl and Nygaard however, realized that the problems that had to be solved for the implementation of ...