OpenMP Technical Report 6: Version 5.0 Preview 2 This Technical Report augments the OpenMP 4.5 Application Programming Interface Specification with language features for concurrent loops, task reductions, a runtime inter

Source URL: www.openmp.org

Scheme Reports Working Group 1 Progress Alex Shinn 1.

Source URL: trac.sacrideo.us

• Software engineering
• Computer programming
• Computing
• Scheme
• Source code
• Object-oriented programming languages
• Hygienic macro
• Macro
• Racket
• S-expression
• Programming language specification
• ALGOL 68

ALGOL 60 - Chapter 6, Formal Specification and Software Development

Source URL: homepages.cs.ncl.ac.uk

• Software engineering
• Computer programming
• Programming language theory
• Procedural programming languages
• ALGOL 68
• ALGOL
• Scope
• Subroutine
• For loop
• Pascal
• PL/I
• MAD

The F# 3.0 Language Specification Note: This documentation is the specification of the 3.0 release of F# made by Microsoft Research and the Microsoft Developer Division in SeptemberDiscrepancies may exist between

Source URL: fsharp.org

• Software engineering
• Computer programming
• Computing
• Functional languages
• F Sharp
• Strong and weak typing
• Type system
• Expression
• C
• Operator
• Pattern matching
• C Sharp syntax

Event-B specification templates for defining dynamic semantics of DSLs Ulyana Tikhonova

Source URL: wiki.event-b.org

• Theoretical computer science
• Logic in computer science
• Programming language semantics
• Denotational semantics
• Semantics
• Action semantics
• Operational semantics
• Programming language

The F# 3.1 Language Specification Note: This documentation is the specification of the 3.1 release of F# for releases and updates made inDiscrepancies may exist between this specification and the 3.1 implementa

Source URL: fsharp.org

• Software engineering
• Computer programming
• Computing
• Functional languages
• F Sharp
• Strong and weak typing
• Type system
• C
• Expression
• Operator
• Recursion
• C Sharp syntax

Tool Interface Standard (TIS) Portable Formats Specification Version 1.1 TIS Committee October 1993

Source URL: refspecs.linuxbase.org

• Programming language implementation
• Portable Executable
• Executable and Linkable Format
• UNIX System V
• Unix
• Object file
• Executable
• Dynamic linker
• Library
• Debuggers
• Relocatable Object Module Format
• COFF

A Study in Higher-Order Programming Languages MS Thesis Morten Rhiger Abstract: This thesis describes some interplays between the specification and the implementation of higher-order programming languages. We first inve

Source URL: repository.readscheme.org

• Source code
• Programming language implementation
• Functional languages
• Logic in computer science
• Programming language semantics
• Scheme
• Semantics
• Partial evaluation
• Programming language
• Macro
• Interpreter
• Action semantics

Inference and enforcement of data structure consistency specifications Brian Demsky1 , Michael D. Ernst2 , Philip J. Guo2 , Stephen McCamant2 , Jeff H. Perkins2 , Martin Rinard2 University of California at Irvine, Irvine

Source URL: pgbovine.net

• Internet Standards
• Internet protocols
• Computability theory
• Daikon
• Software testing
• Domain Name System Security Extensions
• Domain Name System
• Freeciv
• Programming language
• Object Process Methodology
• Specification language
• Internet protocol suite

HATS Abstract Behavioral Specification: The Architectural View? Reiner Hähnle1 , Michiel Helvensteijn2 , Einar Broch Johnsen3 , Michael Lienhardt4 , Davide Sangiorgi4 , Ina Schaefer5 , and Peter Y. H. Wong6 1

Source URL: www.mhelvens.net

• Feature-oriented programming
• Feature model
• SystemC
• R
• Business process modeling
• Modeling language
• Delta
• Workflow
• Prototype