Taking Parnas's Principles to the Next Level: Declarative Language Design

Cooke, Daniel E.; Rushton, J. Nelson

doi:10.1109/mc.2009.301

Cited by 5 publications

(4 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Итоговая программа по эффективности не уступает написанной вручную и, как правило, короче [1,4,5,8,19]. Отметим, что в функциональном программировании (при общеизвестной ориентации на предельную компактность и декларативность [18]) оптимизация программы полностью возлагается на транслятор, в частности, обеспечивается автоматическое приведение рекурсии к хвостовому виду.…”

Section: система предикатного программированияunclassified

Optimizing Transformations in the Predicate Programming System

Kablukov¹,

Shelekhov²

2017

View full text Add to dashboard Cite

Section: система предикатного программированияunclassified

Optimizing Transformations in the Predicate Programming System

Kablukov¹,

Shelekhov²

2017

View full text Add to dashboard Cite

“…Итоговая программа по эффективности не уступает написанной вручную и, как правило, короче [1,8,10,18]. Отметим, что в функциональном программировании (при общеизвестной ориентации на предельную компактность и декларативность [14]) оптимизация программы полностью возлагается на транслятор, в частности, обеспечивается автоматическое приведение рекурсии к хвостовому виду. Разумеется, функциональное программирование существенно уступает в эффективности, поскольку даже применением изощренных методов оптимизации невозможно автоматически воспроизвести серию оптимизаций, совершаемых программистом вручную.…”

Section: предикатное программированиеunclassified

Optimizing Transformations for Operations on Lists and Trees in the Predicate Programming System

Bulgakov¹,

Kablukov²,

Tumurov³

et al. 2017

View full text Add to dashboard Cite

Оптимизирующие трансформации списков и деревьев в системе предикатного программирования Булгаков К.В. (Новосибирский государственный университет), Каблуков И.В., Тумуров Э.Г. (Институт систем информатики СО РАН), Шелехов В.И. (Институт систем информатики СО РАН, Новосибирский государственный университет) Описываются оптимизирующие трансформации для операций над списками и деревьями в системе предикатного программирования. Кодирование операций представлено набором правил, определяющих замену исходной операции на ее образ в императивном языке. Результатом трансформаций является императивная программа по эффективности сравнимая с написанной вручную. Ключевые слова: функциональное программирование, трансформации программ, алгебраический тип данных. 1. Введение Оперирование указателями является весьма сложной и опасной процедурой в императивном программировании. Показателем такой сложности является чрезвычайная трудность дедуктивной верификации программ, оперирующих указателями, например, для алгоритма реверсирования списка [15]. В языке предикатного программирования P [12] нет указателей, серьезно усложняющих программу. Вместо указателей используются объекты алгебраических типов: списки и деревья. Предикатная программа существенно проще в сравнении с императивной программой, реализующей тот же алгоритм. Эффективность предикатных программ достигается применением оптимизирующих трансформаций. Они определяют оптимизацию среднего уровня с переводом предикатной программы в эффективную императивную программу. Эта оптимизация отлична от классической. Базовыми трансформациями являются:  склеивание переменных, реализующее замену нескольких переменных одной [2, 7];  замена хвостовой рекурсии циклом;

show abstract

“…SequenceUM is a declarative, functional language that was developed over more than 20 years by NASA and Texas Tech University, before being brought to market in 2009 by Texas Multicore Technologies, Inc., under arrangement with Texas Tech [12], [13].…”

Section: Sequenceltmmentioning

confidence: 99%

“…From that diagram it can be seen that nodes 15 and 11 each have one cyclic pair of connections to (II,15) and (11,12) respectively. Next we compare the routes generated by SequenceUM to those generated by the traditional language.…”

Section: Performance Evaluationmentioning

confidence: 99%

Utilizing parallelization and embedded multicore architectures for scheduling large-scale wireless mesh networks

Han

Mok

Nixon

et al. 2012

IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society

View full text Add to dashboard Cite

WirelessHARTTM was released in September 2007 and became an IEC standard in April 2010 (IEC 62591). It is the first open wireless communication standard specifically designed for process measurement and control applications deployed in harsh and noisy environments. WirelessHART distinguishes itself from other public standards by maintaining a central Network Manager. The Network Manager is responsible for maintaining up-to-date routes and communication schedules for the network, thus guaranteeing the reliable and real-time network communications. To deal with the intensive computation requirement in a centralized WirelessHART Network Manager, particularly of middle or large scale network sizes, in this article, we utilize parallelization techniques to implement the Network Manager on embedded multicore architectures. By leveraging the multicore capabilities of the AMD Embedded G-Series Dual-Core processor, we utilize the Texas Multicore Technologies' (TMT) SequenceLTM language and runtime environment to parallelize the algorithms proposed in our previous work for constructing reliable routing graphs and real-time communication schedule. Our experiments show that AMD Embedded G-Series is an ideal platform for medium to large size WirelessHART network and SequenceL ™ language can help significantly reduce the development cycle and further improve the algorithm efficiency and system performance in embedded multicore architectures. I. INTRO DU CTION Monitor and control over wireless networks has become an increasingly important technology m process control applications [1], [2], [5], [6], [7], [8], [9]. Several organizations such as the HART Communication Foundation [3] and ISA [10] have developed standards that are being deployed across a wide range of applications in many industries.In order for wireless technologies to be accepted in control applications [5], they must be secure [2] and latency must be carefully managed. To minimize latency, communications need to be well organized so that packets are not delayed en route from source to destination. To make devices easier to maintain, battery life must be extended as long as possible. To minimize the energy usage, devices should be kept in a low-power state as much as possible -this state is referred to as sleep-mode in this paper.

show abstract

Taking Parnas's Principles to the Next Level: Declarative Language Design

Cited by 5 publications

References 13 publications

Optimizing Transformations in the Predicate Programming System

Optimizing Transformations in the Predicate Programming System

Optimizing Transformations for Operations on Lists and Trees in the Predicate Programming System

Utilizing parallelization and embedded multicore architectures for scheduling large-scale wireless mesh networks

Contact Info

Product

Resources

About