-
-
Notifications
You must be signed in to change notification settings - Fork 85
/
descartes.scroll
19 lines (15 loc) · 1.1 KB
/
descartes.scroll
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
import ../code/conceptPage.scroll
id descartes
name Descartes
appeared 1983
tags pl
centralPackageRepositoryCount 0
country United States
originCommunity Carnegie-Mellon University
reference https://semanticscholar.org/paper/b1e382625105bb88a32268134edbcf8d5ce5b217
hopl https://hopl.info/showlanguage.prx?exp=4354
semanticScholar 3
year|title|doi|citations|influentialCitations|authors|paperId
2017|Model-Based Self-Aware Performance and Resource Management Using the Descartes Modeling Language|10.1109/TSE.2016.2613863|46|4|Nikolaus Huber and Fabian Brosig and Simon Spinner and Samuel Kounev and Manuel Bähr|8d5be262a6b469fa6ce94db09cbdabb5ecdce488
1998|How to reconcile formal specifications and automatic programming: the Descartes system|10.1109/APSEC.1998.733579|3|0|J. Lucas and Jean-Luc Dormoy and Bruno Ginoux and Claudia Jimenez-Dominguez and Laurent Pierre|fc18bb3d1cdcfc05e4290c8b1de18b72bb90012f
2016|Automatic parallel programming using the descartes specification language|10.1109/IACS.2016.7476068|1|0|N. Sakhnini and Venkata N. Inukollu and J. E. Urban|e23d50c20b37ef78b607d5a819d791627b0a621a