Extending a functional programming system for embedded applications
Software—Practice & Experience
Concurrent programming in ERLANG (2nd ed.)
Concurrent programming in ERLANG (2nd ed.)
Proving the correctness of reactive systems using sized types
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Engineering safety-critical systems
Computing tomorrow
Region-based memory management
Information and Computation
Verification of sequential and concurrent programs (2nd ed.)
Verification of sequential and concurrent programs (2nd ed.)
Recursion and dynamic data-structures in bounded space: towards embedded ML programming
Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
Real-time convergence of Ada and Java™
Proceedings of the 2001 annual ACM SIGAda international conference on Ada
Proceedings of the sixth ACM SIGPLAN international conference on Functional programming
Java Virtual Machine Specification
Java Virtual Machine Specification
Real-Time Systems and Programming Languages: ADA 95, Real-Time Java, and Real-Time POSIX
Real-Time Systems and Programming Languages: ADA 95, Real-Time Java, and Real-Time POSIX
The Real-Time Specification for Java
Computer
Elementary Strong Functional Programming
FPLE '95 Proceedings of the First International Symposium on Functional Programming Languages in Education
Euro-Par '02 Proceedings of the 8th International Euro-Par Conference on Parallel Processing
A Just-in-Time Compiler for Memory-Constrained Low-Power Devices
Proceedings of the 2nd Java Virtual Machine Research and Technology Symposium
Microprocessor Specification in Hawk
ICCL '98 Proceedings of the 1998 International Conference on Computer Languages
Predictable space behaviour in FSM-Hume
IFL'02 Proceedings of the 14th international conference on Implementation of functional languages
FSM-Hume: programming resource-limited systems using bounded automata
Proceedings of the 2004 ACM symposium on Applied computing
Issues in performance certification for high-level automotive control software
SEAS '05 Proceedings of the second international workshop on Software engineering for automotive systems
Proceedings of the 2005 international conference on Compilers, architectures and synthesis for embedded systems
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
A verified staged interpreter is a verified compiler
Proceedings of the 5th international conference on Generative programming and component engineering
Towards formally verifiable resource bounds for real-time embedded systems
ACM SIGBED Review - Special issues on workshop on innovative techniques for certification of embedded systems
Proceedings of the 2007 ACM symposium on Applied computing
Closing the stage: from staged code to typed closures
PEPM '08 Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Embedded functional programming in Hume
SE'07 Proceedings of the 25th conference on IASTED International Multi-Conference: Software Engineering
Preserving coordination properties when transforming concurrent system components
Proceedings of the 2008 ACM symposium on Applied computing
Shifting the stage: staging with delimited control
Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation
DSL '09 Proceedings of the IFIP TC 2 Working Conference on Domain-Specific Languages
"Carbon Credits" for Resource-Bounded Computations Using Amortised Analysis
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Static determination of quantitative resource usage for higher-order programs
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Low-level programming in Hume: an exploration of the HW-Hume level
IFL'06 Proceedings of the 18th international conference on Implementation and application of functional languages
IFL'06 Proceedings of the 18th international conference on Implementation and application of functional languages
Worst-case execution times for a purely functional language
IFL'06 Proceedings of the 18th international conference on Implementation and application of functional languages
Fundamenta Informaticae - Dependently Typed Programming
Improvements to a resource analysis for hume
FOPARA'09 Proceedings of the First international conference on Foundational and practical aspects of resource analysis
IDRIS ---: systems programming meets full dependent types
Proceedings of the 5th ACM workshop on Programming languages meets program verification
Compiler-support for robust multi-core computing
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
SPARDL: a requirement modeling language for periodic control system
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
Hume box calculus: robust system development through software transformation
Higher-Order and Symbolic Computation
Shifting the stage: Staging with delimited control
Journal of Functional Programming
A dependently typed framework for static analysis of program execution costs
IFL'05 Proceedings of the 17th international conference on Implementation and Application of Functional Languages
ESOP'10 Proceedings of the 19th European conference on Programming Languages and Systems
Application-specific thread schedulers for internet server applications
Concurrency and Computation: Practice & Experience
Multivariate amortized resource analysis
ACM Transactions on Programming Languages and Systems (TOPLAS)
Counter automata for parameterised timing analysis of box-based systems
FOPARA'11 Proceedings of the Second international conference on Foundational and Practical Aspects of Resource Analysis
Reasoning about multi-process systems with the box calculus
CEFP'11 Proceedings of the 4th Summer School conference on Central European Functional Programming School
Harnessing parallelism in FPGAs using the hume language
Proceedings of the 1st ACM SIGPLAN workshop on Functional high-performance computing
mbeddr: an extensible C-based programming language and IDE for embedded systems
Proceedings of the 3rd annual conference on Systems, programming, and applications: software for humanity
A real-time virtual machine implementation for small microcontrollers
Innovations in Systems and Software Engineering
HiLeS-T: an ADL for early requirement verification of embedded systems
Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems
A novel requirement analysis approach for periodic control systems
Frontiers of Computer Science: Selected Publications from Chinese Universities
Scalaness/nesT: type specialized staged programming for sensor networks
Proceedings of the 12th international conference on Generative programming: concepts & experiences
Computer Languages, Systems and Structures
Hi-index | 0.00 |
This paper describes Hume: a novel domain-specific language whose purpose is to explore the expressibility/costability spectrum in resource-constrained systems, such as real-time embedded or control systems. Hume provides a number of high level features including higher-order functions, polymorphic types, arbitrary but sized user-defined data structures, asynchronous processes, lightweight exception handling, automatic memory management and domain-specific metaprogramming features, whilst seeking to guarantee strong space/time behaviour and maintaining overall determinacy.