Filters








758,376 Hits in 3.8 sec

Language and program design for functional dependencies

Mark P. Jones, Iavor S. Diatchki
2008 Proceedings of the first ACM SIGPLAN symposium on Haskell - Haskell '08  
This paper focusses on two related aspects of design for functional dependencies: (i) the design of language/type system extensions that implement them; and (ii) the design of programs that use them.  ...  As time passed, however, several issues were uncovered-both in the design of a language to support functional dependencies, and in the ways that programmers use them-that led some to search for new, better  ...  Background Two of the original design goals for Haskell were "to reduce unnecessary diversity in functional programming languages" and to produce a design "based on ideas that enjoy a wide consensus"  ... 
doi:10.1145/1411286.1411298 dblp:conf/haskell/JonesD08 fatcat:ld4u5g77wne2pldbmbpd5of7be

Language and program design for functional dependencies

Mark P. Jones, Iavor S. Diatchki
2009 SIGPLAN notices  
This paper focusses on two related aspects of design for functional dependencies: (i) the design of language/type system extensions that implement them; and (ii) the design of programs that use them.  ...  As time passed, however, several issues were uncovered-both in the design of a language to support functional dependencies, and in the ways that programmers use them-that led some to search for new, better  ...  Background Two of the original design goals for Haskell were "to reduce unnecessary diversity in functional programming languages" and to produce a design "based on ideas that enjoy a wide consensus"  ... 
doi:10.1145/1543134.1411298 fatcat:u4mmgweb55cyhjs4sihpqsgoeq

Combining Proofs and Programs [chapter]

Stephanie Weirich
2011 Lecture Notes in Computer Science  
Trellys is new core language, designed to provide a smooth path from functional programming to dependently-typed programming.  ...  In contrast, functional programming languages, like Haskell and Ωmega, have adapted the features dependent type theories, but retain a strict division between types and programs.  ...  Eades III, Garrin Kimmel, and Nathan Collins.  ... 
doi:10.1007/978-3-642-21691-6_4 fatcat:a27bbesitvbala6krv3e6luuj4

Design and Implementation of a Native Interface for using Native Features on Smart Virtual Machine

YunSik Son, Seman Oh, YangSun Lee
2015 International Journal of Software Engineering and Its Applications  
The native interfaces of existing systems were analyzed to define a native interface protocol for SVMs, an interface definition language and an interface generator were designed for effective use of the  ...  In addition, they have the shortcoming of being unable to reuse those libraries and programs that are written in the native language.  ...  Acknowledgments This paper was extended from the previous research paper "A Study on the Native Interface for Smart Virtual Machine" in Information Technology and Computer Science 2015, reference [10]  ... 
doi:10.14257/ijseia.2015.9.12.28 fatcat:hgm3c65omvc4rkrndyiusa3nt4

Avoiding Knotty Structures in Design: Schematic Functional Programming

THOMAS R. ADDIS, JANICE J. TOWNSEND ADDIS
2001 Journal of Visual Languages and Computing  
Designers in general have used diagrams and sketches to help in the process of creation. This is particularly so for system designers whose output is a set of programs.  ...  Support for these arguments is drawn from examples of a schematic programming language used for industrial scale projects.  ...  Acknowledgements We would like to thank the Warsash Maritime Centre and Portsmouth Technology Consultants Limited in giving us permission to use their source code for analysis.  ... 
doi:10.1006/jvlc.2000.0200 fatcat:2almice6wjdmbpzhevjvcqj5g4

PhD Abstracts

GRAHAM HUTTON
2017 Journal of functional programming  
Many students complete PhDs in functional programming each year.  ...  As a service to the community, the Journal of Functional Programming publishes the abstracts from PhD dissertations completed during the previous year.  ...  Dependent type theory is a powerful language for writing functional programs with very precise types.  ... 
doi:10.1017/s0956796817000181 fatcat:xbdgckkjpnaathslfgakegj3ka

Software Development using Object-First Approach: a New Learning Strategy

Gurdeep S Hura
2017 Journal of Education and Learning (EduLearn)  
This approach defines functions and modules as basic units for the design and implementation and also for offering hands-on experiences with the basics of programming languages of sequences, selections  ...  The Software Development may be implemented in a variety of techniques but its implementation using a procedural paradigm and an imperative language seem to be more effective and efficient for the design  ...  Since choice of a language depends, also, on the programming and design methods used, the above criteria need to be extended.  ... 
doi:10.11591/edulearn.v11i3.5127 fatcat:yrvtau44xjdrrfyffwxwbu65em

Essential programming paradigm

Claude Y. Knaus
2008 Companion to the 23rd ACM SIGPLAN conference on Object oriented programming systems languages and applications - OOPSLA Companion '08  
In the last instance, the idiosyncrasies of programming paradigms must be held accountable for bad software design.  ...  As the tasks become larger and harder to estimate, software projects become more expensive and less predictable.  ...  Examples in Java would be functor objects where a function drags along an object or the "misuse" of arrays and objects for functions returning multiple values.  ... 
doi:10.1145/1449814.1449873 dblp:conf/oopsla/Knaus08 fatcat:b3xtk2ex7fc7bnzimkewafeq7i

Equational reasoning about programs with general recursion and call-by-value semantics

Garrin KIMMELL, Aaron STUMP, Harley D. EADES, Peng FU, Tim SHEARD, Stephanie WEIRICH, Chris CASINGHINO, Vilhelm SJOBERG, Nathan COLLINS, Ki YUNG AHN
2013 Progress in Informatics  
Dependently typed programming languages provide a mechanism for integrating verification and programming by encoding invariants as types.  ...  In this paper we outline one core language design for Trellys, and demonstrate the use of the key language constructs to facilitate sound reasoning about potentially unsound programs.  ...  Recursion and Induction The Sep 3 programming language includes a rec form for defining general recursive functions.  ... 
doi:10.2201/niipi.2013.10.3 fatcat:jpoc7ttvhbhu3h5o54fkhie7ke

PhD Abstracts

GRAHAM HUTTON
2018 Journal of functional programming  
Many students complete PhDs in functional programming each year.  ...  As a service to the community, the Journal of Functional Programming publishes the abstracts from PhD dissertations completed during the previous year.  ...  In this thesis, we present an imperative object-oriented language featuring a dependent type system designed to support class-based programming and inheritance.  ... 
doi:10.1017/s0956796818000175 fatcat:lt6u6vlagfe7jgo73cm3nax4aq

On utilizing rust programming language for Internet of Things

Tunc Uzlu, Ediz Saykol
2017 2017 9th International Conference on Computational Intelligence and Communication Networks (CICN)  
System programming languages are mainly used for low level tasks such as design of operating system components, web browsers, game engines and time critical missions like signal processing.  ...  Hence, we present our analysis of utilizing Rust language on EFIbased bootloader design for x86 architecture, to make it useful for both practitioners and technology developers.  ...  To help in reducing the errors, Rust is designed to be a strong and static language. Dynamic languages suffer from compiler aid or lack of typing depending on language design.  ... 
doi:10.1109/cicn.2017.8319363 fatcat:kvv2y35bizgw5ox4r66nafscva

Towards context-oriented programming in wireless sensor networks

Mikhail Afanasov, Luca Mottola, Carlo Ghezzi
2013 Proceedings of the 2013 ACM conference on Pervasive and ubiquitous computing adjunct publication - UbiComp '13 Adjunct  
We argue that promoting a notion of context as a first-class citizen in WSN programming facilitates the design and implementation of context-dependent functionality.  ...  To make our design concrete, we describe a context-oriented extension of nesC-a widely used WSN programming language-and report on a preliminary assessment of our design.  ...  We argue that promoting a notion of context as a first-class citizen in WSN programming facilitates the design and implementation of environment-dependent functionality.  ... 
doi:10.1145/2494091.2494141 dblp:conf/huc/AfanasovMG13 fatcat:raaovtxvard6ncsdoppks2ccom

Towards Reactive Programming for Object-Oriented Applications [chapter]

Guido Salvaneschi, Mira Mezini
2014 Lecture Notes in Computer Science  
On the other hand, reactive approaches based on automatic updates of dependencies -like functional reactive programming and dataflow languages -provide undoubted advantages but do not fit well with mutable  ...  Traditional solutions based on event systems and the Observer pattern have a number of inconveniences, but programmers bear them in return for the benefits of OO design.  ...  For example, certain values are functionally dependent on other values but the design does not express this aspect.  ... 
doi:10.1007/978-3-642-55099-7_7 fatcat:mgpc5wz7drck5ebjc4ffkfmohy

An Ameliorated Methodology for the design of Object Structures from legacy 'C' Program

Dr. Shivanand M. Handigund, Rajkumar N. Kulkarni
2010 International Journal of Computer Applications  
design specification into the desired language code.  ...  This paper attempts to develop a reengineering methodology that automatically abstracts the view elements like attributes, functional dependencies, interrelationships between group of attributes and actor"s  ...  FOR THE ABSTRACTION OF FUNCTIONAL DEPENDENCIES FROM 'C' PROGRAM /* Algorithm for the Abstraction of Functional Dependency from the "C" program */ Input: Executable "C" program Output: Functional Dependencies  ... 
doi:10.5120/281-443 fatcat:nidv3jidrbdt5bnamuy2dgma3i

Equational reasoning about programs with general recursion and call-by-value semantics

Garrin Kimmell, Ki Yung Ahn, Aaron Stump, Harley D. Eades, Peng Fu, Tim Sheard, Stephanie Weirich, Chris Casinghino, Vilhelm Sjöberg, Nathan Collins
2012 Proceedings of the sixth workshop on Programming languages meets program verification - PLPV '12  
Dependently typed programming languages provide a mechanism for integrating verification and programming by encoding invariants as types.  ...  In this paper we outline one core language design for Trellys, and demonstrate the use of the key language constructs to facilitate sound reasoning about potentially unsound programs.  ...  Recursion and Induction The Sep 3 programming language includes a rec form for defining general recursive functions.  ... 
doi:10.1145/2103776.2103780 dblp:conf/plpv/KimmellSEEFSWCSCA12 fatcat:ryukm3iutvawpki5ygx3teuwqm
« Previous Showing results 1 — 15 out of 758,376 results