Search results for "programming-first"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Andrei Voronkov (eds.)	Logic Programming, First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991, Proceedings	RCLP	1992	DBLP DOI BibTeX RDF
18	Andrei Mantsivoda, Vyacheslav Petukhin	Compiling Flang.	RCLP	1991	DBLP DOI BibTeX RDF
18	Dale Miller 0001	Abstract Syntax and Logic Programming.	RCLP	1991	DBLP DOI BibTeX RDF
18	A. G. Bondarenko	Abductive Systems for Non-Monotonic Reasoning.	RCLP	1991	DBLP DOI BibTeX RDF
18	Gerda Janssens, Maurice Bruynooghe	On Abstracting the Procedural Behaviour of Logic Programs.	RCLP	1991	DBLP DOI BibTeX RDF
18	T. J. Reynolds, Petros Kefalas	BRAVE: An OR-Parallel Dialect of Prolog and its Application to Artificial Intelligence.	RCLP	1991	DBLP DOI BibTeX RDF
18	Bart Demoen, André Mariën	Implementation of Prolog as Binary Definite Programs.	RCLP	1991	DBLP DOI BibTeX RDF
18	Egon Börger, Dean Rosenzweig	WAM Algebras - A Mathematical Study of Implementation, Part 2.	RCLP	1991	DBLP DOI BibTeX RDF
18	Wiebe van der Hoek	Some Considerations on the Logic PfD.	RCLP	1991	DBLP DOI BibTeX RDF
18	Norbert Kehrer, Gustaf Neumann	Treating Enhanced Entity Relationship Models in a Declarative Style.	RCLP	1991	DBLP DOI BibTeX RDF
18	Antonio Brogi, Evelina Lamma, Paola Mello	Objects in a Logic Programming Framework.	RCLP	1991	DBLP DOI BibTeX RDF
18	Dmitri Yu. Boulanger	Deep Logic Program Transformation Using Abstract Interpretation.	RCLP	1991	DBLP DOI BibTeX RDF
18	Paul Tarau	Program Transformations and WAM-Support for the Compilation of Definite Metaprograms.	RCLP	1991	DBLP DOI BibTeX RDF
18	Gustaf Neumann	A Simple Transformation from Prolog-written Metalevel Interpreters into Compilers and its Implementation.	RCLP	1991	DBLP DOI BibTeX RDF
18	Vladimir B. Borshchev	Properties of Algorithmic Operators.	RCLP	1991	DBLP DOI BibTeX RDF
18	Regimantas Pliuskevicius	Logical Foundation for Logic Programming Based on First Order Linear Temporal Logic.	RCLP	1991	DBLP DOI BibTeX RDF
18	Wai-Keong Foong	Or-Parallel Prolog with Heuristic Task Distribution.	RCLP	1991	DBLP DOI BibTeX RDF
18	Martin C. Henson	Safe Positive Induction in the Programming Logic TK.	RCLP	1991	DBLP DOI BibTeX RDF
18	Michel Parigot	Free Deduction: An Analysis of "Computations" in Classical Logic.	RCLP	1991	DBLP DOI BibTeX RDF
18	S. Ivanets, N. Ilinsky, M. Krylov	WAM Specification for Parallel Execution on SIMD Computer.	RCLP	1991	DBLP DOI BibTeX RDF	parallel unification, Warren Abstract Machine, compiler, Prolog, hypercube, SIMD-computer
18	Manfred Meyer, Hans-Günther Hein, Jörg P. Müller	FIDO: Finite Domain Consistency Techniques in Logic Programming.	RCLP	1991	DBLP DOI BibTeX RDF
18	Jurate Sakalauskaite	A Sequent Calculus for a First Order Linear Temporal Logic with Explicit Time.	RCLP	1991	DBLP DOI BibTeX RDF
18	Evgeny Dantsin	Probabilistic Logic Programs and their Semantics.	RCLP	1991	DBLP DOI BibTeX RDF
18	Stefania Costantini, Gaetano Aurelio Lanzarone	On Procedural Semantics of Metalevel Negation.	RCLP	1991	DBLP DOI BibTeX RDF
18	Yves Bekkers, Lucien Ungaro	Real-Time Memory Management for Prolog.	RCLP	1991	DBLP DOI BibTeX RDF	early reset, variable shunting, attributed variable, virtual backtracking, Prolog, implementation, abstract machine, realtime, garbage collector
18	François Bry, Rainer Manthey, Bern Martens	Integrity Verification in Knowledge Bases.	RCLP	1991	DBLP DOI BibTeX RDF
18	David M. W. Powers	Logic Programming with Pseudo-Resolution.	RCLP	1991	DBLP DOI BibTeX RDF
18	Mounira Belmesk	A Process Semantics of Logic Programs.	RCLP	1991	DBLP DOI BibTeX RDF
18	Pascale Sébillot	A Logical-Based Language for Feature Specification and Transmission Control.	RCLP	1991	DBLP DOI BibTeX RDF
18	Andrei Voronkov	Logic Programming with Bounded Quantifiers.	RCLP	1991	DBLP DOI BibTeX RDF
18	Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi	A Constructive Logic Approach to Database Theory.	RCLP	1991	DBLP DOI BibTeX RDF
18	Egon Börger, Elvinia Riccobene	Logical Operational Semantics of Parlog. Part II: Or-Parallelism.	RCLP	1991	DBLP DOI BibTeX RDF
18	Alexander Ja. Dikovsky	Prolog Semantics for Measuring Space Consumption.	RCLP	1991	DBLP DOI BibTeX RDF
18	Francesco Russo, Mirko Sancassani	A Declarative Debugging Environment for DATALOG.	RCLP	1991	DBLP DOI BibTeX RDF
18	Vladimir S. Neiman	Deduction with Generalized Terms.	RCLP	1991	DBLP DOI BibTeX RDF
18	Aida Pliuskeviciene	Gentzen-Type Calculi for Modal Logic S4 with Barcan Formula.	RCLP	1991	DBLP DOI BibTeX RDF
18	Hans-Günther Hein, Manfred Meyer	A WAM Compilation Scheme.	RCLP	1991	DBLP DOI BibTeX RDF
18	Evgeny L. Kitaev	Processing of Ground Regular Terms in PROLOG.	RCLP	1991	DBLP DOI BibTeX RDF
18	Emily Howe, Matthew Thornton, Bruce W. Weide	Components-first approaches to CS1/CS2: principles and practice.	SIGCSE	2004	DBLP DOI BibTeX RDF	components-first, programming-first, CS1, software components, CS2, objects-first, component-based software
14	Johan Jeuring, Erik Meijer 0001 (eds.)	Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques, Båstad, Sweden, May 24-30, 1995, Tutorial Text	Advanced Functional Programming	1995	DBLP DOI BibTeX RDF
14	Philip Wadler	Monads for Functional Programming.	Advanced Functional Programming	1995	DBLP DOI BibTeX RDF
14	John Hughes 0001	The Design of a Pretty-printing Library.	Advanced Functional Programming	1995	DBLP DOI BibTeX RDF
14	Thomas Hallgren, Magnus Carlsson	Programming with Fudgets.	Advanced Functional Programming	1995	DBLP DOI BibTeX RDF
14	Richard B. Kieburtz, Jeffrey Lewis	Programming with Algebras.	Advanced Functional Programming	1995	DBLP DOI BibTeX RDF
14	Erik Meijer 0001, Johan Jeuring	Merging Monads and Folds for Functional Programming.	Advanced Functional Programming	1995	DBLP DOI BibTeX RDF
14	John Launchbury	Graph Algorithms with a Functional Flavous.	Advanced Functional Programming	1995	DBLP DOI BibTeX RDF
14	Jeroen Fokker	Functional Parsers.	Advanced Functional Programming	1995	DBLP DOI BibTeX RDF
14	Mark P. Jones	Functional Programming with Overloading and Higher-Order Polymorphism.	Advanced Functional Programming	1995	DBLP DOI BibTeX RDF
14	Marko C. J. D. van Eekelen, Marinus J. Plasmeijer	Constructing Medium Sized Efficient Functional Programs in Clean.	Advanced Functional Programming	1995	DBLP DOI BibTeX RDF
11	Carl Alphonce, Phil Ventura	Object orientation in CS1-CS2 by design.	ITiCSE	2002	DBLP DOI BibTeX RDF	pedagogical approaches, design, UML, object-orientation, CS1, CS2
10	Dany Meyer, Ansgar Batzner	Engaging computer science non-majors by teaching K-12 pupils programming: first experiences with a large-scale voluntary program.	Koli Calling	2016	DBLP BibTeX RDF
10	Steve Dunne, Bill Stoddart (eds.)	Unifying Theories of Programming, First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers	UTP	2006	DBLP DOI BibTeX RDF
10	Jim Woodcock 0001	An Operational Semantics in UTP for a Language of Reactive Designs (Abstract).	UTP	2006	DBLP DOI BibTeX RDF
10	Eric C. R. Hehner	Retrospective and Prospective for Unifying Theories of Programming.	UTP	2006	DBLP DOI BibTeX RDF
10	Jifeng He 0001, C. A. R. Hoare	CSP Is a Retract of CCS.	UTP	2006	DBLP DOI BibTeX RDF
10	Marcel Oliveira, Ana Cavalcanti 0001, Jim Woodcock 0001	Unifying Theories in ProofPower-Z.	UTP	2006	DBLP DOI BibTeX RDF	Unifying Theories of Programming, theorem prover
10	Jifeng He 0001, Shengchao Qin, Adnan Sherif	Constructing Property-Oriented Models for Verification.	UTP	2006	DBLP DOI BibTeX RDF
10	Jifeng He 0001, Jeff W. Sanders	Unifying Probability.	UTP	2006	DBLP DOI BibTeX RDF
10	Walter Guttmann, Bernhard Möller	Modal Design Algebra.	UTP	2006	DBLP DOI BibTeX RDF
10	Ian J. Hayes	Termination of Real-Time Programs: Definitely, Definitely Not, or Maybe.	UTP	2006	DBLP DOI BibTeX RDF
10	Yifeng Chen	Hierarchical Organisation of Predicate-Semantic Models.	UTP	2006	DBLP DOI BibTeX RDF
10	Moshe Deutsch, Martin C. Henson	A Relational Investigation of UTP Designs and Prescriptions.	UTP	2006	DBLP DOI BibTeX RDF
10	Gift Nuka, Jim Woodcock 0001	Mechanising a Unifying Theory.	UTP	2006	DBLP DOI BibTeX RDF
10	Ana Cavalcanti 0001, Will Harwood, Jim Woodcock 0001	Pointers and Records in the Unifying Theories of Programming.	UTP	2006	DBLP DOI BibTeX RDF	semantics, refinement, object models, relations
10	Bill Stoddart, Frank Zeyda, Robert Lynas	A Design-Based Model of Reversible Computation.	UTP	2006	DBLP DOI BibTeX RDF
10	Thiago L. V. L. Santos, Ana Cavalcanti 0001, Augusto Sampaio	Object-Orientation in the UTP.	UTP	2006	DBLP DOI BibTeX RDF
10	Pekka Abrahamsson	Extreme Programming: First Results from a Controlled Case Study.	EUROMICRO	2003	DBLP DOI BibTeX RDF
10	Wolfgang Banzhaf, Riccardo Poli, Marc Schoenauer, Terence C. Fogarty (eds.)	Genetic Programming, First European Workshop, EuroGP'98, Paris, France, April 14-15, 1998, Proceedings	EuroGP	1998	DBLP DOI BibTeX RDF
10	Conor Ryan, J. J. Collins, Michael O'Neill 0001	Grammatical Evolution: Evolving Programs for an Arbitrary Language.	EuroGP	1998	DBLP DOI BibTeX RDF
10	Alain Racine, Marc Schoenauer, Philippe Dague	A Dynamic Lattice to Evolve Hierarchically Shared Subroutines.	EuroGP	1998	DBLP DOI BibTeX RDF
10	David E. Goldberg, Una-May O'Reilly	Where Does the Good Stuff Go, and Why? How Contextual Semantics Influences Program Structure in Simple Genetic Programming.	EuroGP	1998	DBLP DOI BibTeX RDF
10	Tom Lenaerts, Bernard Manderick	Building a Genetic Programming Framework: The Added-Value of Design Patterns.	EuroGP	1998	DBLP DOI BibTeX RDF
10	Ricardo Aler	Immediate Transfer of Global Improvements to All Individuals in a Population Compared to Automatically Defined Functions for the EVEN-5, 6-PARITY Problems.	EuroGP	1998	DBLP DOI BibTeX RDF
10	Claes Andersson, Mats G. Nordahl	Evolving Coupled Map Lattices for Computation.	EuroGP	1998	DBLP DOI BibTeX RDF
10	William B. Langdon, Riccardo Poli	Fitness Causes Bloat: Mutation.	EuroGP	1998	DBLP DOI BibTeX RDF
10	Luiz Satoru Ochi, Dalessandro Soares Vianna, Lúcia Maria de A. Drummond, André O. Victor	An Evolutionary Hybrid Metaheuristic for Solving the Vehicle Routing Problem with Heterogeneous Fleet.	EuroGP	1998	DBLP DOI BibTeX RDF
10	Markus Conrads, Peter Nordin, Wolfgang Banzhaf	Speech Sound Discrimination with Genetic Programming.	EuroGP	1998	DBLP DOI BibTeX RDF
10	William B. Langdon, Riccardo Poli	Genetic Programming Bloat with Dynamic Fitness.	EuroGP	1998	DBLP DOI BibTeX RDF
10	A. E. Eiben, A. E. Koudijs, Frank Slisser	Genetic Modelling of Customer Retention.	EuroGP	1998	DBLP DOI BibTeX RDF
10	Nikolay I. Nikolaev, Vanio Slavov	Concepts of Inductive Genetic Programming.	EuroGP	1998	DBLP DOI BibTeX RDF
10	Philip G. K. Reiser	Evolutionary Computation and the Tinkerer's Evolving Toolbox.	EuroGP	1998	DBLP DOI BibTeX RDF
10	Giovanni Adorni, Federico Bergenti, Stefano Cagnoni	A Cellular-Programming Approach to Pattern Classification.	EuroGP	1998	DBLP DOI BibTeX RDF
10	João Carlos Figueira Pujol, Riccardo Poli	Efficient Evolution of Asymmetric Recurrent Neural Networks Using a PDGP-inspired Two-Dimensional Representation.	EuroGP	1998	DBLP DOI BibTeX RDF
10	Riccardo Poli, William B. Langdon	A Review of Theoretical and Experimental Results on Schemata in Genetic Programming.	EuroGP	1998	DBLP DOI BibTeX RDF
10	Stéphane Calderoni, Pierre Marcenac	Genetic Programming for Automatic Design of Self-Adaptive Robots.	EuroGP	1998	DBLP DOI BibTeX RDF
10	Takuya Ito, Hitoshi Iba, Satoshi Sato	Non-destructive Depth-Dependent Crossover for Genetic Programming.	EuroGP	1998	DBLP DOI BibTeX RDF
9	Philip J. Burton, Russel E. Bruhn	Teaching programming in the OOP era.	ACM SIGCSE Bull.	2003	DBLP DOI BibTeX RDF
8	Charlotte Herzeel, Pascal Costanza, Theo D'Hondt	Reflection for the Masses.	S3	2008	DBLP DOI BibTeX RDF
8	Tobias Müller	Promoting Constraints to First-Class Status.	Computational Logic	2000	DBLP DOI BibTeX RDF	first-class constraints, early failure detection, simplification and garbage collection of constraints, minimal sets of inconsistent constraints, constraint programming
7	Yun-feng Tan, Bing-yuan Cao 0001	Another Discussion About Optimal Solution to Fuzzy Constraints Linear Programming.	FSKD (1)	2005	DBLP DOI BibTeX RDF
7	Mikhail Smirnow	Internet Middleware (Tutorial).	IDMS/PROMS	2002	DBLP DOI BibTeX RDF
7	Michael Kölling, John Rosenberg	Objects first with Java and BlueJ (seminar session).	SIGCSE	2000	DBLP DOI BibTeX RDF	Java
6	Thomas Weise 0001, Kurt Geihs, Philipp A. Baer	Genetic Programming for Proactive Aggregation Protocols.	ICANNGA (1)	2007	DBLP DOI BibTeX RDF
6	Martin Müller, Susumu Nishimura	Type Inference for First-Class Messages with Feature Constraints.	ASIAN	1998	DBLP DOI BibTeX RDF	first-class messages, feature constraints, complexity, object-oriented programming, constraint-based type inference
2	Ivar Jacobson	Enough of RE Processes- Let's Do Practices.	RE	2007	DBLP DOI BibTeX RDF
2	Paul N. Otto, Annie I. Antón	Addressing Legal Requirements in Requirements Engineering.	RE	2007	DBLP DOI BibTeX RDF
2	Asterios A. Liolios, Konstantina Iossifidou, Konstantinos Liolios, Khairedin Abdalla, Stefan Radev	A Numerical Approach to the Dynamic Unilateral Contact Problem of Soil-Pile Interaction Under Instabilizing and Environmental Effects.	Numerical Methods and Applications	2006	DBLP DOI BibTeX RDF
2	Akihiro Yamamoto, Kouichi Hirata	Workshop on Learning with Logics and Logics for Learning (LLLL).	JSAI Workshops	2005	DBLP DOI BibTeX RDF
2	Yuping Wang 0003, Chuangyin Dang	Improving Multiobjective Evolutionary Algorithm by Adaptive Fitness and Space Division.	ICNC (3)	2005	DBLP DOI BibTeX RDF
2	Kris D. Powers	Breadth-also: a rationale and implementation.	SIGCSE	2003	DBLP DOI BibTeX RDF	breadth-also, CS1, spacing, CS2, constructivism, spiraling, breadth-first