Search results

Jump to: navigation, search
  • | Title=SAC'09 - Technical Track on "Programming Languages ...guages. Original papers and experience reports are invited in all areas of programming languages.
    4 KB (568 words) - 20:02, 20 August 2008
  • Practical Predicative Programming Primer Formal Functional Verification of Device Drivers
    5 KB (686 words) - 12:27, 12 September 2008
  • |Title=Workshop on Declarative Aspects of Multicore Programming |Field=Programming paradigms
    2 KB (302 words) - 15:13, 25 September 2008
  • |Title=Workshop on Declarative Aspects of Multicore Programming 2008 |Field=Programming paradigms
    6 KB (701 words) - 14:43, 25 September 2008
  • |Title=Workshop on Declarative Aspects of Multicore Programming 2007 |Field=Programming paradigms
    5 KB (752 words) - 14:50, 25 September 2008
  • |Title=Declarative Programming Languages for Multicore Architectures 2006 |Field=Programming paradigms
    4 KB (471 words) - 15:12, 25 September 2008
  • Evolutionary Programming Agent-Oriented Programming
    9 KB (1,240 words) - 22:56, 14 October 2008
  • emphasis on new workloads, programming models, compilers, runtime systems, and tools for performance and functional debugging. The
    4 KB (461 words) - 23:18, 14 October 2008
  • ...ines as well as checking tools exist but not yet matured. The semantics of programming like C or Ada are well defined by independent standards (e.g. ANSI). The se # Can the same models used for functional verification, for dependability, be used for
    18 KB (2,714 words) - 23:23, 14 October 2008
  • | Title = Trends in Functional Programming 2008 | Field = Programming languages
    5 KB (636 words) - 23:22, 14 October 2008
  • is constrained by the physical world. Higher-level programming constraints along with conventional functional requirements and
    6 KB (847 words) - 23:30, 14 October 2008
  • | Title = 18th European Symposium on Programming | Field = Programming languages
    6 KB (824 words) - 23:32, 14 October 2008
  • | Field = Programming languages on Functional Programming (ICFP) as an associated ACM SIGPLAN sponsored
    5 KB (667 words) - 23:32, 14 October 2008
  • ...an Francisco. It's too much too soon and it hides the real basics of what programming is about: flow control, algorithms, abstractions. Heck, I freely admit tha
    2 KB (290 words) - 11:24, 24 December 2012
  • | Title = Principles and Practice of Declarative Programming | Field = Programming languages
    4 KB (451 words) - 23:32, 14 October 2008
  • |Field=Functional Programming
    248 bytes (27 words) - 14:52, 17 October 2016
  • |Field=Functional Programming
    239 bytes (27 words) - 14:52, 17 October 2016
  • |Field=Functional Programming
    272 bytes (30 words) - 14:53, 17 October 2016
  • - specification of extra-functional properties in component software FACS 2009 will be published in Science of Computer Programming.
    8 KB (1,079 words) - 17:05, 27 February 2009
  • * Evolutionary Programming * Agent-Oriented Programming
    5 KB (552 words) - 17:06, 12 August 2009
  • |Field=Functional Programming
    240 bytes (26 words) - 14:52, 17 October 2016
  • |Field=Functional Programming
    244 bytes (26 words) - 20:21, 25 February 2020
  • |Field=Functional Programming
    240 bytes (28 words) - 14:52, 17 October 2016
  • |Field=Functional Programming
    235 bytes (27 words) - 14:52, 17 October 2016
  • |Field=Functional Programming
    239 bytes (28 words) - 20:23, 25 February 2020
  • |Field=Functional Programming
    293 bytes (36 words) - 14:52, 17 October 2016
  • |Field=Functional Programming
    256 bytes (28 words) - 20:24, 25 February 2020
  • |Field=Functional Programming
    265 bytes (30 words) - 14:52, 17 October 2016
  • |Field=Functional Programming
    203 bytes (22 words) - 14:52, 17 October 2016
  • |Field=Functional Programming
    200 bytes (24 words) - 14:51, 17 October 2016
  • |Field=Functional Programming
    292 bytes (33 words) - 14:52, 17 October 2016
  • |Field=Functional Programming
    250 bytes (29 words) - 14:52, 17 October 2016
  • |Field=Functional Programming
    249 bytes (31 words) - 14:52, 17 October 2016
  • |Field=Functional Programming
    255 bytes (32 words) - 14:51, 17 October 2016
  • |Field=Functional Programming
    300 bytes (36 words) - 14:52, 17 October 2016
  • |Field=Functional Programming
    258 bytes (28 words) - 14:53, 17 October 2016
  • |Field=Functional Programming
    203 bytes (24 words) - 14:51, 17 October 2016
  • |Field=Functional Programming
    247 bytes (26 words) - 14:51, 17 October 2016
  • |Field=Functional Programming
    240 bytes (26 words) - 14:53, 17 October 2016
  • |Title=International Symposium on Functional and Logic Programming
    120 bytes (16 words) - 22:36, 26 February 2020
  • * › Evolutionary Programming * › Agent-Oriented Programming
    19 KB (2,462 words) - 19:10, 26 August 2010
  • |Title=International Symposium on Functional and Logic Programming
    235 bytes (30 words) - 16:50, 27 February 2020
  • |Title=TFPIE 2020 : Trends in Functional Programming in Education |Field=Computer Science, Programming, Functional Programming
    2 KB (292 words) - 18:37, 28 August 2019
  • |Title=International Conference on Functional Programming |Field=Programming languages
    140 bytes (17 words) - 12:25, 23 February 2020
  • - Design and programming methodologies - Functional Reactive Programming
    6 KB (826 words) - 15:44, 29 January 2021
  • - Optimization and code generation for emerging programming models, platforms, throughput or latency, security, reliability, or functional debugging
    3 KB (391 words) - 12:32, 11 April 2020
  • software stacks and programming models must to be explored. prototyping, and cross-functional collaboration of open source hardware,
    4 KB (436 words) - 15:52, 8 October 2020
  • prototyping, and cross-functional collaboration of open source hardware, Programming models, tools & tool chains
    2 KB (258 words) - 13:21, 22 February 2020
  • * Functional Analysis * Linear and Nonlinear Programming
    3 KB (434 words) - 13:28, 28 July 2017
  • software stacks and programming models must to be explored. prototyping, and cross-functional collaboration of open source hardware,
    3 KB (410 words) - 10:00, 21 August 2017
  • |Title=International Conference on Functional Programming 2018 |Field=programming languages
    1 KB (156 words) - 09:54, 26 June 2019
  • |Title=24th ACM SIGPLAN International Conference on Functional Programming. |Field=Programming languages
    1 KB (129 words) - 12:27, 23 February 2020
  • |Title=25th ACM SIGPLAN International Conference on Functional Programming |Field=Programming languages
    277 bytes (30 words) - 12:29, 23 February 2020
  • ...of architectures: patterns and styles, verification of functional and non-functional properties, including performance and security aspects; *Programming methodologies, languages, middleware, tools, and environments for the devel
    2 KB (264 words) - 18:00, 18 February 2021
  • ...of architectures: patterns and styles, verification of functional and non-functional properties, including performance and security aspects; *Programming methodologies, languages, middleware, tools, and environments for the devel
    3 KB (355 words) - 08:53, 17 April 2020
  • ...of architectures: patterns and styles, verification of functional and non-functional properties, including performance aspects; *Programming methodologies, languages, middleware, tools, and environments for the devel
    2 KB (275 words) - 11:35, 17 April 2020
  • ...ssing; Crowd-Sourcing Programming; Open source challenges; Emphasizing non-functional requirements; Cognitive software; Accessibility requirements ...nted, incremental, stratified, etc.); Requirement specification languages; Programming languages; Automation of software design and implementation; Software desig
    13 KB (1,573 words) - 12:00, 10 July 2020
  • ...sed input; Analog input interaction design; Flexible display technologies; Functional-based display forms; Flexible-computing and curve computer interactions; 3D ...ents; Human-based computation; Visual languages and environments; End-user programming; Hypermedia advances and applications; New visions of human-computer intera
    16 KB (1,964 words) - 13:34, 7 January 2021
  • specific requirements; Functional and non-functional requirements; software; Formal models and methods; Parallel programming; Visual tools;
    12 KB (1,505 words) - 20:38, 22 November 2020
  • ...nts; Tracking implementation for specific requirements; Functional and non-functional requirements; Requirements for ambient systems software; Requirements for b ...ecific methods for dedicated software; Formal models and methods; Parallel programming; Visual tools; Empirical distribution parameters; Package management system
    13 KB (1,522 words) - 03:32, 3 December 2021