Publication | Closed Access
Explorations in Parallel Distributed Processing: A Handbook of Models, Programs, and Exercises
738
Citations
0
References
1989
Year
EngineeringDistributed ProgrammingSoftware EngineeringDistributed Data ProcessingSoftware AnalysisFormal VerificationProgramming Language MlDynamic SemanticsParallel SoftwareStatic TypingParallel ComputingProgramming LanguagesHigh-level Programming LanguageComputer EngineeringProgramming Language ImplementationDynamic Programming LanguageComputer ScienceFunctional ProgrammingSoftware DesignDistributed ProcessingProgramming Language DesignAutomated ReasoningProgram AnalysisParallel ProcessingFormal MethodsParallel ProgrammingParallel Distributed ProcessingData-level Parallelism
This book presents the official, formal definition of the programming language ML including the rules for grammar and static and dynamic semantics. ML is the most well-developed and prominent of a new group of functional programming languages. On the cutting edge of theoretical computer science, ML embodies the ideas of static typing and polymorphism and has also contributed a number of novel ideas to the design of programming languages.Contents: Syntax of the Core. Syntax of Modules. Static Semantics for the Core. Static Semantics for Modules. Dynamic Semantics for Modules. Programs.Appendixes: Derived Forms. Full Grammar. The Initial Static Basis. The Initial Dynamic Basis. The Development of ML.