Statements (250)
Predicate | Object |
---|---|
gptkbp:instance_of |
gptkb:C_programming_language
|
gptkbp:album |
bytecode
machine code native code M3 C M3 C++ M3 C-RT |
gptkbp:community_support |
gptkb:Yes
|
gptkbp:designed_by |
gptkb:Gottfried_Wilhelm_von_Leibniz
gptkb:Robert_Griesemer gptkb:Niklaus_Wirth gptkb:Greg_Nelson |
gptkbp:developed_by |
gptkb:USA
gptkb:Digital_Equipment_Corporation |
gptkbp:educational_use |
teaching programming concepts
teaching software engineering |
gptkbp:features |
gptkb:Command_Line_Interface
exception handling garbage collection strong typing modules |
gptkbp:file_extension |
.m3
|
gptkbp:first_appearance |
gptkb:1988
gptkb:1991 |
gptkbp:formulation |
similar to Pascal
|
gptkbp:has |
gptkb:Library
object-oriented features a community of users documentation available interpreter implementations a strong type system compiler implementations concurrent features exception handling features |
gptkbp:has_applications_in |
distributed systems
|
gptkbp:has_community |
active user community
Modula-3 user community |
gptkbp:has_documentation |
Modula-3 Language Report
Modula-3 Compiler Documentation Modula-3 Programming Guide Modula-3 Reference Manual |
gptkbp:has_feature |
gptkb:M3_Perl
gptkb:M3_Shell gptkb:M3_Smalltalk gptkb:M3 gptkb:Command_Line_Interface exception handling garbage collection generic programming high-level abstractions modular design type inference pointer arithmetic concurrency support object-oriented features strong encapsulation first-class procedures support for educational purposes support for embedded systems interfacing with C support for algorithm development support for software maintenance support for software testing support for concurrent programming support for network programming parameterized modules support for database programming support for scientific computing support for web programming low-level programming capabilities support for real-time programming support for systems programming CM3 support for data abstraction support for graphical programming support for software reuse support for software engineering practices runtime type checking static and dynamic binding strong module system support for software documentation support for software performance optimization support for software portability support for software scalability support for software security type-safe pointers M3 Action Script M3 Ada M3 Bash M3 C M3 C# M3 C++ M3 COBOL M3 Clojure M3 Coffee Script M3 Crystal M3 Dart M3 Elixir M3 Elm M3 Erlang M3 F# M3 Fortran M3 Go M3 Haskell M3 Java M3 Java Script M3 Julia M3 Kotlin M3 L M3 Lisp M3 Nim M3 PHP M3 Pike M3 Power Shell M3 Prolog M3 Python M3 R M3 RPG M3 Racket M3 Ruby M3 Rust M3 S M3 Scala M3 Scheme M3 Swift M3 Tcl M3 Type Script M3 OCaml M3 VBScript |
gptkbp:has_features |
type-safe pointers
|
gptkbp:has_function |
gptkb:Ada
gptkb:Pascal gptkb:C gptkb:Modula-2 |
gptkbp:has_variants |
gptkb:None
Modula-3.1 Modula-3.2 Modula-3.3 Modula-3.4 |
https://www.w3.org/2000/01/rdf-schema#label |
Modula-3
|
gptkbp:influenced |
gptkb:OCaml
gptkb:Eiffel |
gptkbp:influenced_by |
gptkb:C_programming_language
gptkb:Modula-2 |
gptkbp:is_compatible_with |
gptkb:Ada_language
gptkb:Java C language C++ language |
gptkbp:is_considered |
a descendant of Pascal
a predecessor of newer languages |
gptkbp:is_considered_as |
successor to Modula-2
|
gptkbp:is_implemented_in |
various compilers
various interpreters |
gptkbp:is_influenced_by |
gptkb:Modula-2
|
gptkbp:is_known_for |
exception handling
flexibility modularity type safety its efficiency its clarity its simplicity concurrency support its flexibility its modular design its support for data abstraction its support for concurrent programming paradigms strong abstraction mechanisms |
gptkbp:is_notable_for |
its simplicity
its portability its performance optimization its extensibility its readability its performance its safety features its modularity its support for data abstraction its support for modular programming its type system its maintainability its concurrency model its module system |
gptkbp:is_part_of |
gptkb:Wirth's_programming_languages
|
gptkbp:is_popular_in |
research projects
|
gptkbp:is_related_to |
gptkb:C_programming_language
gptkb:Ada gptkb:Java gptkb:C++ gptkb:Eiffel functional programming concurrent programming object-oriented programming imperative programming software engineering functional programming languages Concurrent Pascal |
gptkbp:is_standardized_by |
gptkb:ISO/_IEC_13817
gptkb:IEEE_1210 |
gptkbp:is_supported_by |
text editors
various compilers compilers debuggers various IDEs |
gptkbp:is_taught_in |
computer science courses
advanced programming courses |
gptkbp:is_used_by |
software engineers
|
gptkbp:is_used_for |
research and development
application development teaching programming concepts teaching programming languages system software development teaching object-oriented concepts developing software systems |
gptkbp:is_used_in |
gptkb:academic_research
gptkb:Software_Development academic settings operating systems real-time systems research projects teaching programming concepts system design commercial applications compiler construction network programming operating system development software engineering projects |
gptkbp:library |
gptkb:Yes
Modula-3 Standard Library |
gptkbp:operating_system |
cross-platform
|
gptkbp:paradigm |
concurrent programming
object-oriented programming procedural programming |
gptkbp:related_to |
Embedded systems
System programming |
gptkbp:successor |
gptkb:None
|
gptkbp:suitable_for |
large systems
|
gptkbp:supports |
concurrent programming
exception handling garbage collection modular programming object-oriented programming modules concurrency |
gptkbp:system |
strongly typed
|
gptkbp:used_in |
gptkb:Software_Development
embedded systems research projects system programming |
gptkbp:bfsParent |
gptkb:C_programming_language
gptkb:Python |
gptkbp:bfsLayer |
4
|