Relevant bibliographies by topics / Functional computer language

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers

Academic literature on the topic 'Functional computer language'

Author: Grafiati
Published: 4 June 2021
Last updated: 11 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Functional computer language.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Functional computer language"

1

Heilmann, John, Alexander Tucci, Elena Plante, and Jon F. Miller. "Assessing Functional Language in School-Aged Children Using Language Sample Analysis." Perspectives of the ASHA Special Interest Groups 5, no. 3 (June 30, 2020): 622–36. http://dx.doi.org/10.1044/2020_persp-19-00079.

Full text
Abstract:
Purpose The goal of this clinical focus article is to illustrate how speech-language pathologists can document the functional language of school-age children using language sample analysis (LSA). Advances in computer hardware and software are detailed making LSA more accessible for clinical use. Method This clinical focus article illustrates how documenting school-age student's communicative functioning is central to comprehensive assessment and how using LSA can meet multiple needs within this assessment. LSA can document students' meaningful participation in their daily life through assessment of their language used during everyday tasks. The many advances in computerized LSA are detailed with a primary focus on the Systematic Analysis of Language Transcripts (Miller & Iglesias, 2019). The LSA process is reviewed detailing the steps necessary for computers to calculate word, morpheme, utterance, and discourse features of functional language. Conclusion These advances in computer technology and software development have made LSA clinically feasible through standardized elicitation and transcription methods that improve accuracy and repeatability. In addition to improved accuracy, validity, and reliability of LSA, databases of typical speakers to document status and automated report writing more than justify the time required. Software now provides many innovations that make LSA simpler and more accessible for clinical use. Supplemental Material https://doi.org/10.23641/asha.12456719
APA, Harvard, Vancouver, ISO, and other styles
2

Sipos, Ádám, and Viktória Zsók. "EClean - An Embedded Functional Language." Electronic Notes in Theoretical Computer Science 238, no. 2 (June 2009): 47–58. http://dx.doi.org/10.1016/j.entcs.2009.05.006.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Jones, Daniel B. "Functional grammar and the computer." Machine Translation 7, no. 3 (1993): 224–28. http://dx.doi.org/10.1007/bf00402517.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Zoran, Putnik, Budimac Zoran, and Ivanovic Mirjana. "Turtle walk through functional language." ACM SIGPLAN Notices 26, no. 2 (January 2, 1991): 75–82. http://dx.doi.org/10.1145/122179.122188.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Ramsdell, J. D. "The Alonzo functional programming language." ACM SIGPLAN Notices 24, no. 9 (August 11, 1989): 152–57. http://dx.doi.org/10.1145/68127.68139.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

EBERBACH, EUGENIUSZ. "SEMAL: A COST LANGUAGE BASED ON THE CALCULUS OF SELF-MODIFIABLE ALGORITHMS." International Journal of Software Engineering and Knowledge Engineering 04, no. 03 (September 1994): 391–408. http://dx.doi.org/10.1142/s0218194094000192.

Full text
Abstract:
The design, specification, and preliminary implementation of the SEMAL language, based upon the Calculus of Self-modifiable Algorithms model of computation is presented. A Calculus of Self-modifiable Algorithms is a universal theory for parallel and intelligent systems, integrating different styles of programming, and applied to a wealth of domains of future generation computers. It has some features from logic, rule-based, procedural, functional, and object-oriented programming. It has been designed to be a relatively universal tool for AI similar to the way Hoare’s Communicating Sequential Processes and Milner’s Calculus of Communicating Systems are basic theories for parallel systems. The formal basis of this approach is described. The model is used to derive a new programming paradigm, so-called cost languages and new computer architectures cost-driven computers. As a representative of cost languages, the SEMAL language is presented.
APA, Harvard, Vancouver, ISO, and other styles
7

Frost, R. "Constructing Natural Language Interpreters in a Lazy Functional Language." Computer Journal 32, no. 2 (February 1, 1989): 108–21. http://dx.doi.org/10.1093/comjnl/32.2.108.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Jones, S. L. Peyton. "FLIC—a functional language intermediate code." ACM SIGPLAN Notices 23, no. 8 (August 1988): 30–48. http://dx.doi.org/10.1145/47907.47910.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Olatunji, Ezekiel Kolawole, John B. Oladosu, Odetunji A. Odejobi, and Stephen O. Olabiyisi. "Design and implementation of an African native language-based programming language." International Journal of Advances in Applied Sciences 10, no. 2 (June 1, 2021): 171. http://dx.doi.org/10.11591/ijaas.v10.i2.pp171-177.

Full text
Abstract:
<p>Most of the existing high level programming languages havehitherto borrowed their lexical items from human languages including European and Asian languages. However, there is paucity of research information on programming languages developed with the lexicons of an African indigenous language. This research explored the design and implementation of an African indigenous language-based programming language using Yoruba as case study. Yoruba is the first language of over 30 million people in the south-west of Nigeria, Africa; and is spoken by over one hundred million people world-wide. It is hoped, as established by research studies, that making computer programming possible in one’s mother tongue will enhance computer-based problem-solving processes by indigenous learners and teachers. The alphabets and reserved words of the programming language were respectively formed from the basic Yoruba alphabets and standard Yoruba words. The lexical items and syntactic structures of the programming language were designed with appropriate regular expressions and context-free grammars, using Backus-Naur Form (BNF) notations. A prototype implementation of the programming language was carried out as a source-to-source, 5-pass compiler. QBasic within QB64 IDE was the implementation language. The results from implementation showed functional correctness and effectiveness of the developed programming language. Thus lexical items of a programming language need not be borrowed exclusively from European and Asian languages, they can and should be borrowed from most African native languages. Furthermore, the developed native language programming language can be used to introduce computer programming to indigenous pupils of primary and junior secondary schools.</p>
APA, Harvard, Vancouver, ISO, and other styles
10

Ikei, Mitsuru, and Michael Wolfe. "Functional compiler techniques for an imperative language." ACM SIGPLAN Notices 28, no. 1 (January 1993): 83. http://dx.doi.org/10.1145/156668.156704.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Functional computer language"

1

Grattage, Jonathan James. "A functional quantum programming language." Thesis, University of Nottingham, 2006. http://eprints.nottingham.ac.uk/10250/.

Full text
Abstract:
This thesis introduces the language QML, a functional language for quantum computations on finite types. QML exhibits quantum data and control structures, and integrates reversible and irreversible quantum computations. The design of QML is guided by the categorical semantics: QML programs are interpreted by morphisms in the category FQC of finite quantum computations, which provides a constructive operational semantics of irreversible quantum computations, realisable as quantum circuits. The quantum circuit model is also given a formal categorical definition via the category FQC. QML integrates reversible and irreversible quantum computations in one language, using first order strict linear logic to make weakenings, which may lead to the collapse of the quantum wavefunction, explicit. Strict programs are free from measurement, and hence preserve superpositions and entanglement. A denotational semantics of QML programs is presented, which maps QML terms into superoperators, via the operational semantics, made precise by the category Q. Extensional equality for QML programs is also presented, via a mapping from FQC morphisms into the category Q.
APA, Harvard, Vancouver, ISO, and other styles
2

Svallfors, Hugo. "Sard: An Object-Functional Programming Language." Thesis, Umeå universitet, Institutionen för datavetenskap, 2011. http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-51276.

Full text
Abstract:
This bachelor's degree concerns the specification of a new programming language. This language, called Sard, is a backwards-incompatible new version of the existing language Scala. Sard, like Scala, is a high-level object-functional language. Unlike Scala, it is not very closely tied to the JVM or Java, eliminating some constraints on the language's design. Since this necessitates breaking backwards compatibility with Scala, the opportunity to disregard it is used to x some of the author's irritations with the language. This degree mostly focuses on deciding on the exact changes to Scala, and on the overall design, rather than on implementing a compiler for the language. A reason for this is that the bachelor's degree provides insuficient time to properly implement´and debug a compiler. Another is the desirability of pushing changes to the language as early into the design process as possible. Preferably, almost all changes to the language should occur before any compiler code has been written. The design eventually produced gets rid of some known issues stemming from the JVM, like null pointers, non-reified generics and single inheritance. Several features of Scala, like self-type annotations and in x syntax for methods are scrapped. Others, like pattern matching, are generalized. Some changes to the syntax are also made, particularly in the areas of closures, pattern matching and object construction. As of yet, this language has no implementation, and in future work, this must be rectified. Sard also requires calling compatibility with another programming language, but this remains to be specified. Nevertheless, Sard constitutes a promising refinement of an already great programming language, and it is hoped that Sard will x the few remaining issues with Scala's design.
APA, Harvard, Vancouver, ISO, and other styles
3

Green, Alexander S. "Towards a formally verified functional quantum programming language." Thesis, University of Nottingham, 2010. http://eprints.nottingham.ac.uk/11457/.

Full text
Abstract:
This thesis looks at the development of a framework for a functional quantum programming language. The framework is first developed in Haskell, looking at how a monadic structure can be used to explicitly deal with the side-effects inherent in the measurement of quantum systems, and goes on to look at how a dependently-typed reimplementation in Agda gives us the basis for a formally verified quantum programming language. The two implementations are not in themselves fully developed quantum programming languages, as they are embedded in their respective parent languages, but are a major step towards the development of a full formally verified, functional quantum programming language. Dubbed the “Quantum IO Monad”, this framework is designed following a structural approach as given by a categorical model of quantum computation.
APA, Harvard, Vancouver, ISO, and other styles
4

Finnie, Sigbjorn O. "Composing graphical user interfaces in a purely functional language." Thesis, University of Glasgow, 1998. http://theses.gla.ac.uk/1597/.

Full text
Abstract:
This thesis is about building interactive graphical user interfaces in a compositional manner. Graphical user interface application hold out the promise of providing users with an interactive, graphical medium by which they can carry out tasks more effectively and conveniently. The application aids the user to solve some task. Conceptually, the user is in charge of the graphical medium, controlling the order and the rate at which individual actions are performed. This user-centred nature of graphical user interfaces has considerable ramifications for how software is structured. Since the application now services the user rather than the other way around, it has to be capable of responding to the user's actions when and in whatever order they might occur. This transfer of overall control towards the user places heavy burden on programming systems, a burden that many systems don't support too well. Why? Because the application now has to be structured so that it is responsive to whatever action the user may perform at any time. The main contribution of this thesis is to present a compositional approach to constructing graphical user interface applications in a purely functional programming language The thesis is concerned with the software techniques used to program graphical user interface applications, and not directly with their design. A starting point for the work presented here was to examine whether an approach based on functional programming could improve how graphical user interfaces are built. Functional programming languages, and Haskell in particular, contain a number of distinctive features such as higher-order functions, polymorphic type systems, lazy evaluation, and systematic overloading, that together pack quite a punch, at least according to proponents of these languages. A secondary contribution of this thesis is to present a compositional user interface framework called Haggis, which makes good use of current functional programming techniques. The thesis evaluates the properties of this framework by comparing it to existing systems.
APA, Harvard, Vancouver, ISO, and other styles
5

Germain, Renaud. "Implementation of a dependently typed functional programming language." Thesis, McGill University, 2010. http://digitool.Library.McGill.CA:8881/R/?func=dbin-jump-full&object_id=92350.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Lee, Jinho. "Architecture for a low-level functional specification language supporting multimodeling and simulation." [Gainesville, Fla.] : University of Florida, 2005. http://purl.fcla.edu/fcla/etd/UFE0011609.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Junaidu, Sahalu B. "A parallel functional language compiler for message-passing multicomputers." Thesis, University of St Andrews, 1998. http://hdl.handle.net/10023/13450.

Full text
Abstract:
The research presented in this thesis is about the design and implementation of Naira, a parallel, parallelising compiler for a rich, purely functional programming language. The source language of the compiler is a subset of Haskell 1.2. The front end of Naira is written entirely in the Haskell subset being compiled. Naira has been successfully parallelised and it is the largest successfully parallelised Haskell program having achieved good absolute speedups on a network of SUN workstations. Having the same basic structure as other production compilers of functional languages, Naira's parallelisation technology should carry forward to other functional language compilers. The back end of Naira is written in C and generates parallel code in the C language which is envisioned to be run on distributed-memory machines. The code generator is based on a novel compilation scheme specified using a restricted form of Milner's 7r-calculus which achieves asynchronous communication. We present the first working implementation of this scheme on distributed-memory message-passing multicomputers with split-phase transactions. Simulated assessment of the generated parallel code indicates good parallel behaviour. Parallelism is introduced using explicit, advisory user annotations in the source' program and there are two major aspects of the use of annotations in the compiler. First, the front end of the compiler is parallelised so as to improve its efficiency at compilation time when it is compiling input programs. Secondly, the input programs to the compiler can themselves contain annotations based on which the compiler generates the multi-threaded parallel code. These, therefore, make Naira, unusually and uniquely, both a parallel and a parallelising compiler. We adopt a medium-grained approach to granularity where function applications form the unit of parallelism and load distribution. We have experimented with two different task distribution strategies, deterministic and random, and have also experimented with thread-based and quantum- based scheduling policies. Our experiments show that there is little efficiency difference for regular programs but the quantum-based scheduler is the best in programs with irregular parallelism. The compiler has been successfully built, parallelised and assessed using both idealised and realistic measurement tools: we obtained significant compilation speed-ups on a variety of simulated parallel architectures. The simulated results are supported by the best results obtained on real hardware for such a large program: we measured an absolute speedup of 2.5 on a network of 5 SUN workstations. The compiler has also been shown to have good parallelising potential, based on popular test programs. Results of assessing Naira's generated unoptimised parallel code are comparable to those produced by other successful parallel implementation projects.
APA, Harvard, Vancouver, ISO, and other styles
8

Valiron, Benoit. "A functional programming language for quantum computation with classical control." Thesis, University of Ottawa (Canada), 2004. http://hdl.handle.net/10393/26790.

Full text
Abstract:
The objective of this thesis is to develop a functional programming language for quantum computers based on the QRAM model, following the work of P. Selinger (2004) on quantum flow-charts. We construct a lambda-calculus without side-effects to deal with quantum bits. We equip this calculus with a probabilistic call-by-value operational semantics. Since quantum information cannot be duplicated due to the no-cloning property, we need a resource-sensitive type system. We develop it based on affine intuitionistic linear logic. Unlike the quantum lambda-calculus proposed by Van Tonder (2003, 2004), the resulting lambda-calculus has only one lambda-abstraction, linear and non-linear abstractions being encoded in the type system. We also integrate classical and quantum data types within our language. The main results of this work are the subject-reduction of the language and the construction of a type inference algorithm.
APA, Harvard, Vancouver, ISO, and other styles
9

Harrison, Dave. "Functional real-time programming : the language Ruth and its semantics." Thesis, University of Stirling, 1988. http://hdl.handle.net/1893/12116.

Full text
Abstract:
Real-time systems are amongst the most safety critical systems involving computer software and the incorrect functioning of this software can cause great damage, up to and including the loss of life. If seems sensible therefore to write real-time software in a way that gives us the best chance of correctly implementing specifications. Because of the high level of functional programming languages, their semantic simplicity and their amenability to formal reasoning and correctness preserving transformation it thus seems natural to use a functional language for this task. This thesis explores the problems of applying functional programming languages to real-time by defining the real-time functional programming language Ruth. The first part of the thesis concerns the identification of the particular problems associated with programming real-time systems. These can broadly be stated as a requirement that a real-time language must be able to express facts about time, a feature we have called time expressibility. The next stage is to provide time expressibility within a purely functional framework. This is accomplished by the use of timestamps on inputs and outputs and by providing a real-time clock as an input to Ruth programs. The final major part of the work is the construction of a formal definition of the semantics of Ruth to serve as a basis for formal reasoning and transformation. The framework within which the formal semantics of a real-time language are defined requires time expressibility in the same way as the real-time language itself. This is accomplished within the framework of domain theory by the use of specialised domains for timestamped objects, called herring-bone domains. These domains could be used as the basis for the definition of the semantics of any real-time language.
APA, Harvard, Vancouver, ISO, and other styles
10

Erkök, Levent. "Value recursion in monadic computations /." Full text open access at:, 2002. http://content.ohsu.edu/u?/etd,270.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Functional computer language"

1

Henk, Muller, ed. Functional C. Harlow, Eng: Addison-Wesley, 1997.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Levesque, Hector J. Functional programming in Lisp. Toronto, Ont: Dept. of Computer Science, University of Toronto, 1987.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Holyer, Ian. Functional programming with Miranda. London: UCL Press, 1993.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Bailey, Roger. Functional programming with Hope. New York: Ellis Horwood, 1990.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Eijck, J. van. Computational semantics with functional programming. Cambridge: Cambridge University Press, 2010.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Haskell: The craft of functional programming. Harlow, England: Addison-Wesley, 1996.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Haskell: The craft of functional programming. 2nd ed. Harlow, Eng: Addison Wesley, 1999.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Leermakers, René. The functional treatment of parsing. Boston: Kluwer Academic Publishers, 1993.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Wampler, Dean. Functional programming for java developers. Sebastopol, CA: O'Reilly Media, 2011.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Enrique, Castillo. Functional networks with applications: A neural-based paradigm. New York: Springer Science, 1999.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Functional computer language"

1

Weik, Martin H. "functional language." In Computer Science and Communications Dictionary, 663. Boston, MA: Springer US, 2000. http://dx.doi.org/10.1007/1-4020-0613-6_7792.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Weik, Martin H. "functional programming language." In Computer Science and Communications Dictionary, 664. Boston, MA: Springer US, 2000. http://dx.doi.org/10.1007/1-4020-0613-6_7797.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Tjoe-Liong, Kwee. "A Computer Model of Functional Grammar." In Natural Language Generation, 315–31. Dordrecht: Springer Netherlands, 1987. http://dx.doi.org/10.1007/978-94-009-3645-4_20.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Sestoft, Peter. "A First-Order Functional Language." In Undergraduate Topics in Computer Science, 57–76. London: Springer London, 2012. http://dx.doi.org/10.1007/978-1-4471-4156-3_4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Sestoft, Peter. "A First-Order Functional Language." In Undergraduate Topics in Computer Science, 59–79. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-60789-4_4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Broy, Manfred, Ursula Hinkel, Tobias Nipkow, Christian Prehofer, and Birgit Schieder. "Interpreter verification for a functional language." In Lecture Notes in Computer Science, 77–88. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/3-540-58715-2_115.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Puder, A., and L. Wang. "Cross-Language Functional Testing for Middleware." In Lecture Notes in Computer Science, 56–68. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/11430230_5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Hains, Gaétan, and John Mullins. "A metacircular data-parallel functional language." In Lecture Notes in Computer Science, 711–14. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/bfb0020508.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Setzer, Anton. "Java as a Functional Programming Language." In Lecture Notes in Computer Science, 279–98. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/3-540-39185-1_16.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Ishii, Hiromi. "A Purely Functional Computer Algebra System Embedded in Haskell." In Developments in Language Theory, 288–303. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-99639-4_20.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Functional computer language"

1

Onder, Ruhsan, and Zeki Bayram. "XLambda: A functional programming language with XML syntax." In 2009 24th International Symposium on Computer and Information Sciences (ISCIS). IEEE, 2009. http://dx.doi.org/10.1109/iscis.2009.5291894.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Sen, Chiradeep. "Feature-Based Computer Modeling and Reasoning on Mechanical Functions." In ASME 2016 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. American Society of Mechanical Engineers, 2016. http://dx.doi.org/10.1115/detc2016-60353.

Full text
Abstract:
This paper presents an approach for feature-based computer-aided modeling of functions. Features are used in geometric CAD as a means to encapsulate primitive entities and operations into more complex forms that have engineering significance, which also allows faster modeling, uniformity of data sets between similar features, and reasoning support at the features-level. In a recent research, a formal language for functions has been proposed that ensures consistency of function models against physics, esp. the balance laws of mass and energy. The language is implemented in a software tool to support physics-based reasoning. In this paper, the primitive entities and relations of this language and tool are encapsulated to define more complex function features that have engineering significance. To demonstrate the approach and its benefits, three common functions from the Functional Basis vocabulary are defined as features and used in models, which are then used to show the reasoning potential of this approach.
APA, Harvard, Vancouver, ISO, and other styles
3

Hechmer, Aaron, Adam Tindale, and George Tzanetakis. "LogoRhythms: Introductory Audio Programming for Computer Musicians in a Functional Language Paradigm." In Proceedings. Frontiers in Education. 36th Annual Conference. IEEE, 2006. http://dx.doi.org/10.1109/fie.2006.322438.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Theoktisto, Victor. "A Functional Paradigm using the C Language for Teaching Programming for Engineers." In 2018 XLIV Latin American Computer Conference (CLEI). IEEE, 2018. http://dx.doi.org/10.1109/clei.2018.00103.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Verma, Manish, and William H. Wood. "Functional Modeling: Toward a Common Language for Design and Reverse Engineering." In ASME 2003 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2003. http://dx.doi.org/10.1115/detc2003/dtm-48660.

Full text
Abstract:
Computer support for future product development must focus on the conceptual design stage where informed decisions make the most impact on design. Working within a systematic, function-based design methodology, we propose modifications to a formal representation originally applied to reverse engineering. In recasting this representation for design capture and reuse, significant barriers have been identified: the language appears to lack expressiveness in key areas, and the representations generated from reverse engineering differ significantly from those used for design. Toward addressing these issues, we augment the language to improve its description of key aspects of design function. In addition, we propose several means of reorganizing reverse engineering information to enhance its reuse in design. Both of these efforts are evaluated in a framework of case-based design, showing significant improvement over the original design representation and pointing toward future improvements.
APA, Harvard, Vancouver, ISO, and other styles
6

Shiba, Kazuaki, Takashi Kaburagi, and Yosuke Kurihara. "A dynamic Bayesian network analysis of functional connectivity during a language listening comprehension task." In 2018 6th International Conference on Brain-Computer Interface (BCI). IEEE, 2018. http://dx.doi.org/10.1109/iww-bci.2018.8311516.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Pereira, Thiago. "Using the PLUTO Language on Functional Tests of a Brazilian Satellite's On-Board Data Handling Computer." In SpaceOps 2012. Reston, Virigina: American Institute of Aeronautics and Astronautics, 2012. http://dx.doi.org/10.2514/6.2012-1259165.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Ferrise, Francesco, Monica Bordegoni, and Umberto Cugini. "Functional Modeling: A Key Point in CAD Systems." In ASME 2013 International Mechanical Engineering Congress and Exposition. American Society of Mechanical Engineers, 2013. http://dx.doi.org/10.1115/imece2013-64369.

Full text
Abstract:
For more than 40 years the development of Computer Aided Design (CAD) tools has been focused on the description of the geometry of products. More recently, CAD tools have evolved in tools to support the Product Lifecycle Management (PLM), which are more oriented to support the management aspects of the product development process than the design process itself. Recently, it has been introduced a new design method that adopts a top-down approach, which starts from the definition of a Functional MockUp (FMU) allowing to simulate the overall behavior and the use of the concept level before the detailed design. This method is closer to the typical logical sequence of design, where the designer has at first an overall view of a system and of its sub-components, and then he takes care of the details. This method is supported by commercial tools, as the LMS-Amesim suite, or by open-source software tools based on the Modelica language. This is an open-source language allowing designers to integrate and describe at functional level several aspects of a system, including mechanical, electrical, thermal, hydraulic, control and others allowing to simulate all together. The paper analyses this methodological approach and presents some applications where some systems are designed using a functional modeling approach.
APA, Harvard, Vancouver, ISO, and other styles
9

Thomas, Jonathan, Chiradeep Sen, Gregory M. Mocko, Joshua D. Summers, and Georges M. Fadel. "Investigation of the Interpretability of Three Function Structure Representations: A User Study." In ASME 2009 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2009. http://dx.doi.org/10.1115/detc2009-87381.

Full text
Abstract:
Function models are used during the conceptual design phase of the design process to model the intended use or objective of a product, independent of the products physical form. Function models also aid in guiding design activities such as generating concepts and allocating design team resources. Recent research effort have focused on the formalization of function models through a controlled vocabulary and archival of functional representations in computer-based repositories. However, the usefulness and interpretability of these function models has not fully been explored. This paper presents the results of a user study to ascertain the interpretability of functional representations at three levels of abstraction. In this interpretability is defined as the ability to identify the product based on a functional representation. These function models vary in abstraction in two dimensions: (1) the number of function within the model and (2) the specificity of the terms used within the functional models. Sixteen mechanical engineering graduate students are asked to identify the products from the functional models in these three abstraction levels. In addition to identifying the product, students are asked to record time and list any keywords in the functional model that help them to choose a product. Analysis of the results indicates that interpretability of a functional model increases substantially by using free language terms over a limited functional vocabulary and environmental context of the product. Additionally, the number of functions within the functional model correlates with the identification of similar products.
APA, Harvard, Vancouver, ISO, and other styles
10

Panta Pazos, Rube´n. "Finding the Minimun of the Quadratic Functional in Variational Approach in Transport Theory Problems." In 16th International Conference on Nuclear Engineering. ASMEDC, 2008. http://dx.doi.org/10.1115/icone16-48479.

Full text
Abstract:
In this work it is reviewed the variational approach for some Transport Problems. Let X be a convex domain in Rn, and V a compact set. For that, it is considered the following equation: ∂ψ∂t(x,v,t)+v·∇ψ(x,v,t)+h(x,μ)ψ(x,v,t)==∫Vk(x,v,v′)ψ(x,v′,t)dv′+q(x,v,t)(1) where x represents the spatial variable in a domain D, v an element of a compact set V, Ψ is the angular flux, h(x,v) the collision frequency, k(x,v,v’) the scattering kernel function and q(x,v) the source function. It is put the attention in the construction of the quadratic functional J which appears in variational approaches for transport theory (for example, the Vladimirov functional). Some properties of this functional in a proper functional framework, in order to determine the minimum for J are considered. First, the general formulation is studied. Then an algorithm is given for minimizing the functional J for two remarkable problems: spherical harmonic method and spectral collocation method. A program associated to this algorithm is worked in a computer algebraic system, and also was depeloped a version in a high level language.
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Functional computer language' for particular source types:
Journal articles Dissertations / Theses Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography