SequenceL – An Overview of a Simple Language

Cached

Download Links

by Daniel E. Cooke , J. Nelson Rushton
Venue:2005 InternationalConference on Programming Languages and Compilers (PLC'05: June 27-30, 2005, Las Vegas, USA
Citations:3 - 2 self

Documents Related by Co-Citation

3 Application of Model-Based Technology Systems for Autonomous Systems – Daniel Cooke, Michael Gelfond, Howard Hu, J Nelson - 2005
3 State knowledge representation in the mission data system – D Dvorak, R Rasmussen, T Starbird - 2002
2 Distribute: A Basis for the Decomposition and Parallel Evaluation of Nonscalars – D E Cooke, J N Rushton, Transpose “Normalize - 2006
1 Cooke et al., “Application of Model-Based Technology Systems for Autonomous Systems – D - 2005
6 A constructive approach to correctness, exemplified by a generator for certified Java Card appplets – Ro Coglio, Cordell Green - 2005
5 Toward Automatic Generation of Provably Correct Java Card Applets – Alessandro Coglio - 2003
22 DSP specification using the Silage language – D Genin, P Hilfinger, J Rabaey, C Scheers, H De Man - 1990
4 Using Lava to design and verify recursive and periodic sorters – K Claessen, M Sheeran, S Singh
1 Functional Embedded Language for DSP and PARallelism. http://feldspar.inf.elte.hu – Feldspar
1 Developers Conference: applied topics in domain specific languages. http://msdn.microsoft.com/en-us/ data/devcon.aspx – DSL - 2009
1 Hoopl: Dataflow optimization made simple, 2009. http://research.microsoft. com/en-us/um/people/simonpj/papers/c--/dfopt.pdf – N Ramsey, J Dias, S L Peyton Jones
1 Embedded MATLAB, part 1: From MATLAB to embedded C – H Zarrinkoub - 2008
6 Source Code Optimization Techniques for Data Flow Dominated Embedded Software – H Falk, P Marwedel - 2004
2 A.: Efficient Code Generation from the High-level Domain-specific Language Feldspar for DSPs – G Dévai, M Tejfel, Z Gera, G Páli, G Nagy, Z Horváth, E Axelsson, M Sheeran, A Vajda, B Lyckeg˚ard, Persson
4 Building little languages with macros – Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi - 2004
5 Gpgpu kernel implementation and refinement using obsidian – J Svensson, K Claessen, M Sheeran - 2010
41 Compiling Embedded Languages – Conal Elliott, Sigbjørn Finne, Oege De Moor - 2000
64 Cheap Deforestation for Non-strict Functional Languages – Andrew John Gill, Andrew John Gill - 1996
120 Modular Domain Specific Languages and Tools – Paul Hudak - 1998