../code/conceptPage.scroll

id descartes
name Descartes
appeared 1983
tags pl
lab Carnegie Mellon

country United States
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