1![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 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](https://www.pdfsearch.io/img/110272002671f89d47437c42ce558152.jpg) | Add to Reading ListSource URL: www.openmp.org- Date: 2017-11-09 16:46:50
|
---|
2![Scheme Reports Working Group 1 Progress Alex Shinn 1. Scheme Reports Working Group 1 Progress Alex Shinn 1.](https://www.pdfsearch.io/img/071ff2d63e8d70a12e5d71ad1fb8d39e.jpg) | Add to Reading ListSource URL: trac.sacrideo.usLanguage: English - Date: 2014-04-22 00:19:56
|
---|
3![ALGOL 60 - Chapter 6, Formal Specification and Software Development ALGOL 60 - Chapter 6, Formal Specification and Software Development](https://www.pdfsearch.io/img/8e76c325def74ef9c2f84e906da39ec1.jpg) | Add to Reading ListSource URL: homepages.cs.ncl.ac.ukLanguage: English - Date: 2014-08-19 19:14:29
|
---|
4![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 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](https://www.pdfsearch.io/img/5a62bb6e45c7ea482b0f5374e63471eb.jpg) | Add to Reading ListSource URL: fsharp.orgLanguage: English - Date: 2016-08-15 16:34:27
|
---|
5![Event-B specification templates for defining dynamic semantics of DSLs Ulyana Tikhonova Event-B specification templates for defining dynamic semantics of DSLs Ulyana Tikhonova](https://www.pdfsearch.io/img/96f2473e55e9001d47dc5a150581916b.jpg) | Add to Reading ListSource URL: wiki.event-b.orgLanguage: English - Date: 2016-05-29 06:58:27
|
---|
6![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 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](https://www.pdfsearch.io/img/c0a0250bea6f0bd5d0ed33bccce25d2d.jpg) | Add to Reading ListSource URL: fsharp.orgLanguage: English - Date: 2016-08-15 16:34:27
|
---|
7![Tool Interface Standard (TIS) Portable Formats Specification Version 1.1 TIS Committee October 1993 Tool Interface Standard (TIS) Portable Formats Specification Version 1.1 TIS Committee October 1993](https://www.pdfsearch.io/img/eaf40a0cbcc66099b67d74bf4ad4fc9e.jpg) | Add to Reading ListSource URL: refspecs.linuxbase.orgLanguage: English - Date: 2015-01-28 11:44:48
|
---|
8![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 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](https://www.pdfsearch.io/img/8c391102c473d6a2896b38f8d78732f2.jpg) | Add to Reading ListSource URL: repository.readscheme.orgLanguage: English - Date: 2010-10-22 08:04:39
|
---|
9![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 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](https://www.pdfsearch.io/img/06742fa04855a50af0f2bedc37a98b83.jpg) | Add to Reading ListSource URL: pgbovine.netLanguage: English - Date: 2014-01-03 23:24:44
|
---|
10![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 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](https://www.pdfsearch.io/img/02fbd6ebd147f9ed9acf129fcf668f4f.jpg) | Add to Reading ListSource URL: www.mhelvens.netLanguage: English - Date: 2012-09-26 08:01:20
|
---|