Search results for "programming"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Timothy A. Budd, Timothy P. Justice, Rajeev K. Pandey	General-purpose multiparadigm programming languages: an enabling technology for constructing complex systems.	ICECCS	1995	DBLP DOI BibTeX RDF	general-purpose multiparadigm programming languages, complex system construction, stock market exchange, Leda language, software engineering, object-oriented programming, object-oriented programming, logic programming, logic programming, functional programming, functional programming, systems analysis, heterogeneous systems, multiprogramming, high level languages, telecommunications network, programming paradigms, large systems, enabling technology, imperative programming
9	Jifeng He, C. A. R. Hoare	Unifying theories of healthiness condition.	APSEC	2000	DBLP DOI BibTeX RDF	healthiness condition theory, programming notations, nondeterministic programming, probabilistic program, formal specifications, parallel programming, logic programming, programming languages, algebraic specification, programming theory, programming theory, Boolean algebra, Boolean algebra, sequential programming, design optimisation, algebraic laws
9	Rahman Jamal, Lothar Wenzel	The Applicability of the Visual Programming Language LabVIEW to Large Real-World Applications. (PDF / PS)	VL	1995	DBLP DOI BibTeX RDF	ultrasonic materials testing, laboratory techniques, LabVIEW visual programming language, large real-world applications, graphical programming languages, natural intuitive man-machine interaction, graphical programming tools, programming efficiency, real-time acquisition, simulation, simulation, real-time systems, user interfaces, software tools, programming environments, visual programming, visual languages, data analysis, automatic testing, digital simulation, data acquisition, graphical programming
9	Jim Gindling, Andri Ioannidou, Jennifer Loh, Olav Lokkebo, Alexander Repenning	LEGOsheets: A Rule-Based Programming, Simulation and Manipulation Environment for the LEG0 Programmable Brick. (PDF / PS)	VL	1995	DBLP DOI BibTeX RDF	LEGO Programmable Brick, LEGOsheets, adult learning mechanisms, mechanical artifact design, simulation, robots, logic programming, software tools, computer science education, programming environments, programming environment, visual programming, visual programming, vehicles, computer aided instruction, programming education, rule-based programming, authoring systems, educational environment
9	Matthew Haines, A. P. Wim Böhm	An initial comparison of implicit and explicit programming styles for distributed memory multiprocessors.	HICSS	1995	DBLP DOI BibTeX RDF	implicit programming styles, explicit programming styles, parallel task management, ease of programming, programming effort, performance, parallel programming, parallel programming, efficiency, programming language, distributed memory systems, parallel languages, functional languages, functional languages, distributed memory multiprocessors, distributed data management, run-time support
8	John L. G. Board, Charles M. S. Sutcliffe, William T. Ziemba	Operations Research and Financial Markets.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	challenges for OR, Monte-Carlo sampling and variance reduction, Portfolio theory, Mean-variance, Simulation, Modeling, Dynamic programming, Linear programming, Markov chains, Applications, Stochastic programming, Nonlinear programming, Quadratic programming, Mathematical programming, Data envelopment analysis, Finance, Goal programming, Fractional programming
8	Roman Knöll, Mira Mezini	Pegasus: first steps toward a naturalistic programming language.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	cognitive foundations of programming, natural language programming, naturalistic programming, philosophical foundations of programming, aspect-oriented programming, language design
8	Hon Wai Chun	A methodology for object-oriented constraint programming.	APSEC	1997	DBLP DOI BibTeX RDF	object-oriented constraint programming methodology, orthogonal programming paradigms, complementary programming paradigms, logic constraint programming, constrained variables, nurse rostering system, object-oriented programming, object-oriented programming, object-oriented design, object-oriented analysis, constraint-based model
8	Andy Schürr, Andreas J. Winter, Albert Zündorf	Visual Programming with Graph Rewriting Systems. (PDF / PS)	VL	1995	DBLP DOI BibTeX RDF	multiparadigm language, PROGRES, rule-oriented visual language, well-defined type, visual database programming language, replacing facilities, language-specific tools, user interfaces, specification, logic programming, debugging, software tools, C, programming environments, pattern matching, specification languages, rapid prototyping, browsing, visual programming, visual programming, visual languages, abstract data types, graph grammars, backtracking, Modula-2, rewriting systems, editing, software engineering environments, logic programming languages, graph rewriting systems, Tcl/Tk
8	Keng Ng, Jeff Kramer, Jeff Magee, Naranker Dulay	The Software Architect's Assistant-a visual environment for distributed programming.	HICSS	1995	DBLP DOI BibTeX RDF	Software Architect's Assistant, software architectural view, informal program design, prototype visual programming environment, Regis distributed programs, textual views, graphical views, formatted reports, design diagrams, graphical monitoring, parallel programming, parallel programs, software development, software tools, programming environments, software reuse, visual programming, software reusability, distributed programming, distributed programs, diagrams, automatic programming, software libraries, intelligent assistance, visual techniques, visual environment, design information, automatic program generation, component libraries, software design process
8	Gruia-Catalin Roman, H. Conrad Cunningham	Mixed Programming Mataphors in a Shared Dataspace Model of Concurrency.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	mixed programming metaphors, simple language, shared dataspace approach, rule-based computations, asynchronous processing modes, highly dynamic program, synchrony relation, partially synchronous computations, programming notation, programming strategies, example programs, shared dataspace model, formal operational model, parallel programming, data structure, data structures, concurrency, message-passing, parallel languages, Swarm, programming paradigms, concurrent computation, shared-variable, programming construct, unified model
7	Thomas Weise, Michael Zapf	Evolving distributed algorithms with genetic programming: election.	GEC Summit	2009	DBLP DOI BibTeX RDF	LGP, RBGP, SGP, eRBGP, extended rule-based genetic programming, fraglets, indirect memory access, positional epistasis, rule-based genetic programming, standard genetic programming, distributed systems, genetic programming, learning classifier systems, LCS, election, epistasis, linear genetic programming
7	Kostadin Kratchanov, Emilia Golemanova, Tzanko Golemanov	Control Network Programming Illustrated: Solving Problems with Inherent Graph-Like Representation.	ACIS-ICIS	2008	DBLP DOI BibTeX RDF	Control network programming, Nondeterministic algorithms, Graph-like problem representation, Artificial Intelligence, Programming, Programming languages, Declarative programming, Programming paradigms
7	Brad A. Myers, Andrew Jensen Ko, Margaret M. Burnett	Invited research overview: end-user programming.	CHI Extended Abstracts	2006	DBLP DOI BibTeX RDF	empirical studies of programmers (ESP), visual programming, programming by demonstration, end-user software engineering, programming by example, psychology of programming, natural programming
7	Brad A. Myers	Towards more natural functional programming languages.	ICFP	2002	DBLP DOI BibTeX RDF	empirical studies of programming, end-user programming, psychology of programming, natural programming
7	Laurie A. Williams, Robert R. Kessler, Ward Cunningham, Ron Jeffries	Strengthening the Case for Pair Programming.	IEEE Software	2000	DBLP DOI BibTeX RDF	programming quality, programming productivity, Extreme Programming (XP), pair programming, collaborative programming
7	Ayal Itzkovitz, Assaf Schuster, Lea Shalev	Supporting multiple parallel programming paradigms on top of the Millipede virtual parallel machine.	HIPS	1997	DBLP DOI BibTeX RDF	multiple parallel programming paradigms, Millipede virtual parallel machine, MILLIPEDE system, parallel programming language porting, parallel programming language design, MILLIPEDE interface, parallel programming, parallel applications, PCs, distributed computing environments, Windows-NT
7	Crispin Cowan, Hanan Lutfiyya, Michael A. Bauer	Performance Benefits of Optimistic Programming: A Measure of HOPE. (PDF / PS)	HPDC	1995	DBLP DOI BibTeX RDF	optimistic programming, inter-node communications latency, parallel programming, concurrency, concurrency control, programming environments, programming environment, latency, software performance evaluation, programming model, prototype implementation, performance benefits
7	Wayne Citrin, Richard Hall, Benjamin G. Zorn	Programming with Visual Expressions. (PDF / PS)	VL	1995	DBLP DOI BibTeX RDF	visual expressions, formal symbolic term rewriting system, VEX, expression-oriented component, VIPR, computer science education, visual programming, visual languages, teaching, teaching, lambda calculus, lambda calculus, programming theory, binding, rewriting systems, substitution, visual programming language, programming language semantics, functional programming languages, free variables
7	Da-Qian Zhang, Kang Zhang	A Visual Programming Environment for Distributed Systems. (PDF / PS)	VL	1995	DBLP DOI BibTeX RDF	embedded programming platforms, PEDS, high-level specification tool, 2D visual forms, multiple abstraction levels, distributed systems, formal specification, parallel programming, distributed processing, software tools, programming environments, visual programming, direct manipulation, parallel systems, software packages, software packages, visual programming environment, hierarchical design, heterogeneous processors
7	Edward Miller, Motoji Kado, Masahito Hirakawa, Tadao Ichikawa	HI-VISUAL as a User-Customizable Visual Programming Environment. (PDF / PS)	VL	1995	DBLP DOI BibTeX RDF	HI-VISUAL, user-customizable visual programming environment, iconic programming system, end-user tailorability, data structures, data structures, graphical user interfaces, programming environments, visual programming, visual languages, customization, visual programming languages
7	Christian Clémençon, Akiyoshi Endo, Josef Fritscher, Andreas Müller, Roland Rühl, Brian J. N. Wylie	The "Annai" environment for portable distributed parallel programming.	HICSS	1995	DBLP DOI BibTeX RDF	Annai environment, portable distributed parallel programming environment, distributed memory parallel processors, tool prototypes, functionality enhancements, High Performance Fortran compiler, unstructured problem parallelization, performance analyzer, source-level debugger, common user interface, low-level machine interface, target hardware architecture, dynamic data distributions, high-level data-parallel programming, low-level message-passing programming, interactive performance monitor, user interfaces, parallel programming, Message Passing Interface, software tools, message passing, FORTRAN, programming environments, feedback, program compilers, distributed memory systems, software performance evaluation, portability, program debugging, software portability, program diagnostics, application developers, language extensions, performance results
7	Guijun Wang, Allen L. Ambler	Invocation Polymorphism. (PDF / PS)	VL	1995	DBLP DOI BibTeX RDF	invocation polymorphism, general specification, intelligent analysis process, visual interactive programming style, formal specification, knowledge based systems, programming languages, visual programming, visual programming, visual languages, ambiguities, programming theory, interactive programming, specification refinement
7	Nazim H. Madhavji	Fragtypes: A Basis for Programming Environments.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	fragtypes, programming in the small, construction rules, MUPE-2, programming language, programming environments, programming environments, fragments, software development process, Modula-2, programming in the large, implementation language
7	Keith L. Clark	PARLOG and Its Applications.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	parallel logic programming language, parallel programming, object-oriented programming, object-oriented programming, logic programming, Prolog, PROLOG, high level languages, systems programming, PARLOG, PARLOG
6	Amirali Salehi-Abari, Tony White	Enhanced generalized ant programming (EGAP).	GECCO	2008	DBLP DOI BibTeX RDF	ant programming, enhanced generalized ant programming, generalized ant programming, heuristic, automatic programming
6	Christopher Simpkins, Sooraj Bhat, Charles Lee Isbell Jr., Michael Mateas	Towards adaptive programming: integrating reinforcement learning into a programming language.	OOPSLA	2008	DBLP DOI BibTeX RDF	adaptive programming, partial programming, object-oriented programming, reinforcement learning
6	Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Cédric Miachon	Pattern by example: type-driven visual programming of XML queries.	PPDP	2008	DBLP DOI BibTeX RDF	functional programming, type systems, visual programming, database programming languages
6	Bent Bruun Kristensen, Ole Lehrmann Madsen, Birger Møller-Pedersen	The when, why and why not of the BETA programming language.	HOPL	2007	DBLP DOI BibTeX RDF	history of programming, object-oriented programming, programming languages, object-oriented design, object-oriented modeling, object-oriented analysis
6	David Ungar, Randall B. Smith	Self.	HOPL	2007	DBLP DOI BibTeX RDF	exploratory programming, history of programming languages, morphic, prototype-based programming language, virtual machine, programming environment, object-oriented language, dynamic optimization, dynamic language, adaptive optimization, Self, cartoon animation
6	Geoffrey Washburn, Stephanie Weirich	Good advice for type-directed programming aspect-oriented programming and extensible generic functions.	ICFP-WGP	2006	DBLP DOI BibTeX RDF	open extension, type-directed programming, aspect-oriented programming, generic programming, type analysis, expression problem
6	Alexander Repenning	Collaborative diffusion: programming antiobjects.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	incremental AI, object-oriented programming, end-user programming, diffusion, distributed artificial intelligence, psychology of programming, game AI, multi-agent architecture, collaborative agents
6	Michael E. Caspersen, Michael Kölling	A novice's process of object-oriented programming.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	programming process, representation invariant, UML, testing, pedagogy, refactoring, CS1, design by contract, objects-first, incremental development, programming education, stepwise refinement, top-down design, systematic programming
6	Joey Paquet, Aihua Wu, Peter Grogono	Towards a framework for the general intensional programming compiler in the GIPSY.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	families of programming languages, compiler, framework, declarative programming, compiler generation, intensional programming
6	DeLesley Hutchins	The power of symmetry: unifying inheritance and generative programming.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	covariant specialization, generative components, mixin layers, virtual types, aspect-oriented programming, prototypes, code generation, generative programming, partial evaluation, aspects, meta-programming, parametric polymorphism, multiple inheritance, mixins, transformation systems, virtual classes, generic types, join points
6	Ralf Lämmel, Joost Visser	Design patterns for functional strategic programming.	ACM SIGPLAN Workshop on Rule-Based Programming	2002	DBLP DOI BibTeX RDF	strafunski, design patterns, program transformation, program analysis, functional programming, generic programming, combinator libraries
6	David R. Musser, Sibylle Schupp, Rüdiger Loos	Requirement Oriented Programming.	Generic Programming	1998	DBLP DOI BibTeX RDF	requirement oriented programming, concept description language, algebraic concept definitions, TECTON, formal verification, specification language, generic programming, standard template library
6	Gyu-Tae Kim, Sung Deok Cha, Doo-Hwan Bae	Task.o object modeling approach for robot workcell programming. (PDF / PS)	COMPSAC	1997	DBLP DOI BibTeX RDF	Task o object modeling approach, robot workcell programming, object oriented programming paradigms, Task object Coupling, ToC programming technique, development steps, concurrency, autonomy, robot programming
6	Raja Harinath, Wonjun Lee, Shwetal S. Parikh, Difu Su, Sunil Wadhwa, Duminda Wijesekera, Jaideep Srivastava, Deepak R. Kenchammana-Hosekote	A multimedia programming toolkit/environment. (PDF / PS)	ICPADS	1997	DBLP DOI BibTeX RDF	multimedia programming toolkit, multimedia programming environment, multimedia programming language, data-flow paradigm, parameter ports, connection topology, program development tool, geometric parameters, programming environments, multimedia presentations, graphical editor, graphical editors, user interface development tool
6	Robert Bruce Findler, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen	DrScheme: A Pedagogic Programming Environment for Scheme.	PLILP	1997	DBLP DOI BibTeX RDF	Algebraic Evaluation, Teaching programming to beginning students, Programming, Programming Environments, Pedagogy, Scheme, Static Debugging
6	Dmitry Arapov, Alexey Kalinov, Alexey L. Lastovetsky, Ilya Ledovskih, Ted Lewis	A programming environment for heterogenous distributed memory machines.	Heterogeneous Computing Workshop	1997	DBLP DOI BibTeX RDF	heterogenous distributed memory machines, ANSI C superset, application topology, mpC programming environment, portable parallel programs, run-time support system, command-line user interface, parallel programming, compiler, programming language, programming environment, network topology, virtual processors, mpC
6	Michael Gerndt	"Programming Shared Virtual Memory Multiprocessor".	PDP	1996	DBLP DOI BibTeX RDF	shared virtual memory multiprocessors, compute intensive scientific applications, physical memory distribution, message passing programming model, task parallel programming model, shared virtual address space, parallel programming, parallel programming, operating system, message passing, parallel machines, parallel machines, shared memory systems, distributed memory systems, operating systems (computers), virtual storage
6	Péter Kacsuk, Günter Haring, Szabolcs Ferenczi, Georg Pigel, Gábor Dózsa, Tibor Fadgyas	Visual Parallel Programming in Monads-DPV.	PDP	1996	DBLP DOI BibTeX RDF	layered visual parallel programming approach, Monads-DPV, very high level parallel programs, parallel programming, object-oriented programming, case studies, visual programming, visual languages, object oriented model, graphical notation, massively parallel processors
6	Richard Robinson, Devin Cook, Steven L. Tanimoto	Programming Agents with Visual Rules. (PDF / PS)	VL	1995	DBLP DOI BibTeX RDF	visual programming facility, visual rule formalism, agent behaviour specification, program objects, Agentsheets system, Repenning, simulation design, two-dimensional cellular worlds, automobile traffic flow situations, Agent Builder, icon arrangement, worksheet, icon gallery, graphical user interfaces, programming environments, cellular automata, software agents, visual programming, visual languages, digital simulation, video games, agent programming
6	Josef Altmann, A. Böhm	Algorithm-based fault-tolerant programming in scientific computation on multiprocessors.	PDP	1995	DBLP DOI BibTeX RDF	algorithm-based fault-tolerant programming, parallel run-time environment, error processing techniques, execution time overhead, master/slave programming model, parallel algorithms, parallel algorithms, parallel programming, multiprocessors, programming environments, multiprocessing systems, scientific computation, software fault tolerance
6	Kala Srivatsan, Chaitali Chakrabarti, Lori Lucke	Low power data format converter design using semi-static register allocation. (PDF / PS)	ICCD	1995	DBLP DOI BibTeX RDF	code convertors, low power data format converter design, semi-static register allocation, processing modules, VLSI, linear programming, integer programming, signal processing, digital signal processing, power consumption, integer linear programming, heuristic programming, heuristic programming, VLSI implementations
6	Norman Ramsey	Literate Programming Simplified.	IEEE Software	1994	DBLP DOI BibTeX RDF	literate programming tools, code extraction, source file, language-dependence, feature complexity, tool acceptance, software tools, programming, programming environments, documentation, system documentation, literate programming
6	Adil Kabbaj, Claude Frasson, Marc Kaltenbach, Jean-Yves Djamen	A Conceptual and Contextual Object-Oriented Logic Programming: the PROLOG++ Language.	ICCS	1994	DBLP DOI BibTeX RDF	Prolog extension, CG theory, conceptual programming, contextual programming, high-order logic programming, object oriented programming
6	Atish P. Sinha, Iris Vessey	Cognitive Fit: An Empirical Study of Recursion and Iteration.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	basic theory, recursive tasks, PASCAL computer science students, repeated measures designs, specific programming languages, cognitive fit, human factors, programming, programming languages, LISP, LISP, Pascal, programming theory, recursive functions, programming constructs, laboratory experiment, performance benefits
6	Janice I. Glasgow, Michael A. Jenkins, Eli Blevis, Michel P. Féret	Logic Programming with Arrays.	IEEE Trans. Knowl. Data Eng.	1991	DBLP DOI BibTeX RDF	Nial, mathematical treatment, nested arrays, functional style, declarative capabilities, logic clauses, Horn clause logic, user-defined control strategies, knowledge-based systems application, logic programming, programming language, functional programming, functional programming, high level languages, logic programming environment
6	James C. Browne, Taejae Lee, John Werth	Experimental Evaluation of a Reusability-Oriented Parallel Programming Environment.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	reusability-oriented parallel programming environment, ROPE, software component reuse system, structured relational classification, declarative/hierarchical graphical programming interface, performance evaluation, design, user interfaces, parallel programming, computer graphics, programming environments, software reusability, experimental evaluation, development environment
6	R. C. B. Cooper, K. G. Hamilton	Preserving Abstraction in Concurrent Programming.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	modular programming, abstractinterfaces, CLU, interface abstraction, monitor deadlock, fine-grain locking, parallel programming, data structures, programming languages, concurrent programming, system recovery, high level languages, data abstraction
6	Nicoletta De Francesco, Gigliola Vaglini	Description of a Tool for Specifying and Prototyping Concurrent Programs.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	executable concurrent programs, static semantics checks, scheduling, parallel programming, parallel programming, prototyping, debugging, software tools, programming environments, programming environments, specification language, specification languages, distributed applications, translation, automatic programming, automatic programming, functional language, program interpreters, concurrent language, interactive tools, dynamic testing
5	Noa Ragonis, Bruria Haberman	Linking different programming paradigms: thoughts about instructional design.	ITiCSE	2010	DBLP DOI BibTeX RDF	object-oriented programming, logic programming, problem solving, inheritance, programming paradigms
5	Aihua Wu, Joey Paquet, Serguei A. Mokhov	Object-Oriented Intensional Programming: Intensional Java/Lucid Classes.	SERA	2010	DBLP DOI BibTeX RDF	hybrid programming languages, Java, object-oriented programming, intensional programming, General Intensional Programming System (GIPSY)
5	Zhijing G. Mou, Hai Liu, Paul Hudak	Compress-and-conquer for optimal multicore computing.	DAMP	2010	DBLP DOI BibTeX RDF	compress and conquer, parallel computing, functional programming, scan, divide and conquer, programming paradigm, multicore programming
5	Sumit Gulwani	Dimensions in program synthesis.	PPDP	2010	DBLP DOI BibTeX RDF	deductive synthesis, inductive synthesis, sat solving, smt solving, machine learning, genetic programming, programming by demonstration, belief propagation, programming by examples, probabilistic inference
5	Le Thi Hoai An, Pham Dinh Tao, Nam Nguyen Canh, Nguyen V. Thoai	DC programming techniques for solving a class of nonlinear bilevel programs.	J. Global Optimization	2009	DBLP DOI BibTeX RDF	Branch and bound techniques, Global optimization, Bilevel programming, DCA, Nonconvex programming, DC programming
5	Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner	Modular Nonmonotonic Logic Programming Revisited.	ICLP	2009	DBLP DOI BibTeX RDF	Modular Logic Programming, Knowledge Representation, Answer Set Programming
5	Serguei A. Mokhov, Joey Paquet, Xin Tong 0002	A type system for hybrid intensional-imperative programming support in GIPSY.	C3S2E	2009	DBLP DOI BibTeX RDF	context, type system, intensional programming, imperative programming, general intensional programming system (GIPSY)
5	Sushama P. Patil, Amol C. Goje	The Effect of Developments in Student Attributes on Success in Programming of Management Students.	ICETC	2009	DBLP DOI BibTeX RDF	mathematical aptitude, performance consistence in mathematics etc Citation: Sushama P. Patil, Amol C. Goje, The Effect of Developments in Student Attributes on Success in Programming of Management Students, icetc, pp.191-193, 2009 International Conference on Education Technology and Computer, 2009 Peer Review Notice, Give Us Feedback Usage of this product signifies your acceptance of the Terms of Use. var addtoMethod=1, var AddURL = escape(http://doi.ieeecomputersociety.org/), var AddTitle = escape(The Effect of Developments in Student Attributes on Success in Programming of Management Students), var savedIndex = 0, function openLinks(pPackageTitle,title,pProductTitle, index) { var productId = escape(1629), var pubYear = escape(2009), var volume = escape(0), var issueNo = escape(0), var packageTitle = escape(2009 International Conference on Education Technology and Computer), var productTitle = escape(Education Technology and Computer, International Conference on), var acronymTemp = escape(ICETC), var bcPageName = escape(I), var pubType = escape(p), var linkToYear=escape(/plugins/dl/years/1629), var linkToIssue=escape(/plugins/dl/years/1629?year=2009&vol=0), var linkToTOC=escape(/plugins/dl/toc/6836), var linkToAbstract = escape(/plugins/dl/doi/10.1109/ICETC.2009.35), var journalPage = escape(i), var abbrevTitle = escape(icetc), var yearTitle = escape(2009), var issueTitle = 'Issue No. ' + issueNo + ' - ' + packageTitle, var absTitle = escape(The Effect of Developments in Student Attributes on Success in Programming of Management Students), if(pubType == m) { var breadcrumbs = new BreadCrumbs('/portal/web/csdl/magazines/' + journalPage), } else if (pubType == t) { var breadcrumbs = new BreadCrumbs('/portal/web/csdl/transactions/' + journalPage), } else if (pubType == l) { var breadcrumbs = new BreadCrumbs('/portal/web/csdl/letters/' + journalPage), } else { var breadcrumbs = new BreadCrumbs('/portal/web/csdl/proceedings/' + journalPage), } if (pubYear == 5555) { if(issueNo == 1) { if(abbrevTitle != cal) { breadcrumbs.add('PrePrints', linkToTOC, 1), } } else if(issueNo == 2) { breadcrumbs.add('RapidPosts', linkToTOC, 1), } else { }, } else if(pubType == p) { breadcrumbs.add(pProductTitle, linkToYear, 1), breadcrumbs.add(yearTitle, linkToYear + '?year=' + pubYear + '&vol=' + volume, 2), breadcrumbs.add(pPackageTitle,linkToTOC, 3), breadcrumbs.add(title , linkToAbstract, 4), } else { breadcrumbs.add(yearTitle, linkToYear + '?year=' + pubYear + '&vol=' + volume, 1), breadcrumbs.add(issueTitle,linkToTOC, 2), breadcrumbs.add('Abstract - '+ title , linkToAbstract, 3), } if(pubType == m) { //document.location = /portal/web/csdl/magazines/ + journalPage, var urlLocation = location.protocol + '//' + location.host + '/portal/web/csdl/magazines/' + journalPage, } else if (pubType == t) { var urlLocation = location.protocol + '//' + location.host + '/portal/web/csdl/transactions/' + journalPage, //document.location = /portal/web/csdl/transactions/ + journalPage, } else if (pubType == l) { var urlLocation = location.protocol + '//' + location.host + '/portal/web/csdl/letters/' + journalPage, //document.location = /portal/web/csdl/letters/ + journalPage, } else { var urlLocation = location.protocol + '//' + location.host + '/portal/web/csdl/proceedings/' + journalPage, //document.location = /portal/web/csdl/proceedings/ + journalPage, } } Open Download Liferay.Portlet.onLoad({ canEditTitle: false, columnPos: 1, isStatic: 'end', namespacedId: 'p_p_id_digitallibraryabstract_WAR_plugins_INSTANCE_uxob_', portletId: 'digitallibraryabstract_WAR_plugins_INSTANCE_uxob' }), //, Math.floor(Math.random()*1E16), document.write('')&rrc=61" title="Search for publications containing 'tile=3,sz=300x250,336x280,ord=' + ord + '?></script>')'">tile=3,sz=300x250,336x280,ord=' + ord + '?>'), //]]> Liferay.Portlet.onLoad({ canEditTitle: false, columnPos: 2, isStatic: 'end', namespacedId: 'p_p_id_56_INSTANCE_T3mf_', portletId: '56_INSTANCE_T3mf' }), spatial ability, setTimeout(window.location.href = ' + urlLocation + ', 0), setTimeout(window.location.href = ' + urlLocation + ', 0), setTimeout(window.location.href = ' + urlLocation + ', 0), setTimeout(window.location.href = ' + urlLocation + ', 0), breadcrumbs.setLastIndex(index-1), breadcrumbs.setLastIndex(index-1), breadcrumbs.setLastIndex(index-1), breadcrumbs.setLastIndex(index-1), //breadcrumbs.select(index), //breadcrumbs.select(index), //breadcrumbs.select(index), //breadcrumbs.select(index), breadcrumbs.add('Abstract - '+ title , linkToAbstract, 2), breadcrumbs.add('Abstract - '+ title , linkToAbstract, 2)
5	Neil Sculthorpe, Henrik Nilsson	Safe functional reactive programming through dependent types.	ICFP	2009	DBLP DOI BibTeX RDF	DSELS, FRP, synchronous data-flow, functional programming, domain-specific languages, dependent types, reactive programming
5	Roberto Lublinerman, Swarat Chaudhuri, Pavol Cerný	Parallel programming with object assemblies.	OOPSLA	2009	DBLP DOI BibTeX RDF	irregular parallelism, parallel programming, data parallelism, ownership, programming abstractions
5	Leo A. Meyerovich, Arjun Guha, Jacob P. Baskin, Gregory H. Cooper, Michael Greenberg, Aleks Bromfield, Shriram Krishnamurthi	Flapjax: a programming language for Ajax applications.	OOPSLA	2009	DBLP DOI BibTeX RDF	javascript, web programming, functional reactive programming
5	William Harrison, David Lievens, Fabio Simeoni	Safer typing of complex API usage through Java generics.	PPPJ	2009	DBLP DOI BibTeX RDF	family polymorphism, interface-based programming, programming patterns, generics, programming languages
5	Jiafu Xu, Fangmin Song	Quantum programming languages: A tentative study.	Science in China Series F: Information Sciences	2008	DBLP DOI BibTeX RDF	quantum programming languages, language paradigm, imperative programming language, declarative programming language, lexical analyzer, syntactic analyzer, interpreter, assembler
5	John Plaice, Blanca Mancilla, Gabriel Ditu	From Lucid to TransLucid: Iteration, Dataflow, Intensional and Cartesian Programming.	Mathematics in Computer Science	2008	DBLP DOI BibTeX RDF	multidimensional programming, Lucid programming language, Declarative programming
5	Garnett Carl Wilson, Wolfgang Banzhaf	A Comparison of Cartesian Genetic Programming and Linear Genetic Programming.	EuroGP	2008	DBLP DOI BibTeX RDF	Cartesian Genetic Programming, Linear Genetic Programming
5	Wendy Verbruggen, Edsko de Vries, Arthur Hughes	Polytypic programming in COQ.	ICFP-WGP	2008	DBLP DOI BibTeX RDF	kind-indexed types, theorem proving, generic programming, formalization, coq, polytypic programming
5	Mamadou Thiao, Pham Dinh Tao, Le Thi Hoai An	DC Programming Approach for a Class of Nonconvex Programs Involving l0 Norm.	MCO	2008	DBLP DOI BibTeX RDF	l 0 norm, bilevel programming, DCA, nonconvex programming, DC programming
5	Shan Shan Huang, Yannis Smaragdakis	Expressive and safe static reflection with MorphJ.	PLDI	2008	DBLP DOI BibTeX RDF	class morphing, structural abstraction, object-oriented programming, aspect-oriented programming, meta-programming, language extensions
5	Erik Arisholm, Hans Gallis, Tore Dybå, Dag I. K. Sjøberg	Evaluating Pair Programming with Respect to System Complexity and Programmer Expertise.	IEEE Trans. Software Eng.	2007	DBLP DOI BibTeX RDF	control styles, object-oriented programming, extreme programming, Empirical software engineering, pair programming, design principles, software maintainability, quasi-experiment
5	Hanif D. Sherali, Jonathan Cole Smith	An improved linearization strategy for zero-one quadratic programming problems.	Optimization Letters	2007	DBLP DOI BibTeX RDF	Bilinear programming, Integer programming, Quadratic programming, Linearization, Reformulation-linearization technique (RLT)
5	James Alfred Walker, Julian Francis Miller	Solving real-valued optimisation problems using cartesian genetic programming.	GECCO	2007	DBLP DOI BibTeX RDF	embedded cartesian genetic programming, real-valued function optimisation, modules, evolutionary programming, cartesian genetic programming
5	Bing-yuan Cao, Ji-hui Yang	Advances in Fuzzy Geometric Programming.	ICFIE	2007	DBLP DOI BibTeX RDF	Fuzzy geometric programming, Optimal solution: Application of fuzzy geometric programming, Geometric programming
5	Conal Elliott	Tangible functional programming.	ICFP	2007	DBLP DOI BibTeX RDF	gestural composition, end-user programming, interactive visualization, interactive programming, combinator libraries, arrows
5	Alper Atamtürk, Vishnu Narayanan	Cuts for Conic Mixed-Integer Programming.	IPCO	2007	DBLP DOI BibTeX RDF	Integer programming, branch-and-cut, conic programming
5	James Luedtke, Shabbir Ahmed, George L. Nemhauser	An Integer Programming Approach for Linear Programs with Probabilistic Constraints.	IPCO	2007	DBLP DOI BibTeX RDF	probabilistic constraints, Integer programming, stochastic programming
5	Michael Hanus	Putting declarative programming into the web: translating curry to javascript.	PPDP	2007	DBLP DOI BibTeX RDF	user interfaces, javascript, web programming, functional logic programming, curry
5	Meinolf Sellmann, Luc Mercier, Daniel H. Leventhal	The Linear Programming Polytope of Binary Constraint Problems with Bounded Tree-Width.	CPAIOR	2007	DBLP DOI BibTeX RDF	integer programming, constraint programming, cutting planes, polyhedral combinatorics
5	Andrew P. Black, Norman C. Hutchinson, Eric Jul, Henry M. Levy	The development of the Emerald programming language.	HOPL	2007	DBLP DOI BibTeX RDF	Eden, Emerald, Washington, call-by-move, object mobility, remote object invocation, type conformity, mobility, object-oriented programming, polymorphism, distributed programming, remote procedure call, abstract types
5	Donald P. Pazel, Beth Tibbitts	Intentional MPI programming in a visual development environment.	SOFTVIS	2006	DBLP DOI BibTeX RDF	intentional programming, model-driven programming, parallel programming, MPI, high performance computing, code generation, cluster computing, eclipse
5	Rinus Plasmeijer, Peter Achten	iData for the World Wide Web - Programming Interconnected Web Forms.	FLOPS	2006	DBLP DOI BibTeX RDF	server side web programming, functional programming, web forms
5	Manuel Serrano, Erick Gallesio, Florian Loitsch	Hop: a language for programming the web 2.0.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	functional programming, web programming
5	Margaret M. Burnett, Brad A. Myers, Mary Beth Rosson, Susan Wiedenbeck	The next step: from end-user programming to end-user software engineering.	CHI Extended Abstracts	2006	DBLP DOI BibTeX RDF	empirical studies of programming, testing, programming by demonstration, end-user software engineering, psychology of programming
5	Xin Du, Yueqiao Li, Datong Xie, Lishan Kang	A New Algorithm of Automatic Programming: GEGEP.	SEAL	2006	DBLP DOI BibTeX RDF	Gene Estimated Gene Expression Programming, Genetic Programming, Estimation of Distribution Algorithm, Gene Expression Programming
5	Gabriel A. Moreno	Creating custom containers with generative techniques.	GPCE	2006	DBLP DOI BibTeX RDF	component, aspect-oriented programming, generative programming, container, meta-programming, AspectC++, non-functional concern
5	Edwin Brady, Kevin Hammond	A verified staged interpreter is a verified compiler.	GPCE	2006	DBLP DOI BibTeX RDF	domain specific language implementation, resource aware programming, functional programming, partial evaluation, dependent types, multi-stage programming
5	Samuel Burer, Renato D. C. Monteiro	Local Minima and Convergence in Low-Rank Semidefinite Programming.	Math. Program.	2005	DBLP DOI BibTeX RDF	Low-rank matrices, Vector programming, Combinatorial optimization, Semidefinite programming, Nonlinear programming, Numerical experiments, Augmented Lagrangian
5	J. Ángel Velázquez-Iturbide	A programming languages course for freshmen.	ITiCSE	2005	DBLP DOI BibTeX RDF	language description, programming languages, functional programming, recursion, programming paradigms, formal grammars
5	Joseph Bergin, Eugene Wallingford	Test-first pair-programming tutorial.	ITiCSE	2005	DBLP DOI BibTeX RDF	test first programming, extreme programming, test driven development, pair programming
5	Daniel S. Dantas, David Walker, Geoffrey Washburn, Stephanie Weirich	PolyAML: a polymorphic aspect-oriented functional programming language.	ICFP	2005	DBLP DOI BibTeX RDF	aspects-oriented programming, functional programming, type systems, type inference, ad-hoc polymorphism
5	Peter Sewell, James J. Leifer, Keith Wansbrough, Francesco Zappa Nardelli, Mair Allen-Williams, Pierre Habouzit, Viktor Vafeiadis	Acute: high-level programming language design for distributed computation.	ICFP	2005	DBLP DOI BibTeX RDF	rebinding, programming languages, ML, distributed programming, modules, version control, type theory, abstract types, serialisation, marshalling
5	Henrik Nilsson	Dynamic optimization for functional reactive programming using generalized algebraic data types.	ICFP	2005	DBLP DOI BibTeX RDF	DSEL, FRP, Yampa, synchronous dataflow languages, functional programming, domain-specific languages, Haskell, reactive programming, GADT, combinator library, arrows
5	Jonathan Edwards	Subtext: uncovering the simplicity of programming.	OOPSLA	2005	DBLP DOI BibTeX RDF	non-textual programming, prototypes, visual programming, copying
5	Jens Bennedsen, Michael E. Caspersen	Revealing the programming process.	SIGCSE	2005	DBLP DOI BibTeX RDF	model-based programming, process recording, programming process, design, UML, testing, conceptual modelling, pedagogy, refactoring, CS1, objects-first, incremental development, programming education, systematic programming
5	I. R. de Farias	Semi-continuous Cuts for Mixed-Integer Programming.	IPCO	2004	DBLP DOI BibTeX RDF	semi-continuous variables, mixed-integer programming, branch-and-cut, polyhedral combinatorics, disjunctive programming
5	Katherine Malan, Ken Halland	Examples that can do harm in learning programming.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	Java, object-oriented programming, examples, teaching programming
5	José Miguel Cleva, Javier Leach, Francisco Javier López-Fraguas	A logic programming approach to the verification of functional-logic programs.	PPDP	2004	DBLP DOI BibTeX RDF	verification, logic programming, functional logic programming
5	Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda	A lazy narrowing calculus for declarative constraint programming.	PPDP	2004	DBLP DOI BibTeX RDF	constraint logic programming, rewrite systems, narrowing, constraint solvers, functional logic programming languages