Search results for "constructor"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
91	Isabelle Gnaedig, Hélène Kirchner	Computing constructor forms with non terminating rewrite programs.	PPDP	2006	DBLP DOI BibTeX RDF	constructor, abstraction, termination, narrowing, ordering constraint, sufficient completeness
90	Sven Hartmann, Sebastian Link, Klaus-Dieter Schewe	Weak Functional Dependencies in Higher-Order Datamodels.	FoIKS	2004	DBLP DOI BibTeX RDF
70	Yoshifumi Masunaga, Yoshiyuki Shoji, Kazunari Ito	A Wiki-based collective intelligence approach to formulate a body of knowledge (BOK) for a new discipline.	Int. Sym. Wikis	2010	DBLP DOI BibTeX RDF	BOK constructor, Semantic MediaWiki (SMW), body of knowledge (BOK), Wiki, collective intelligence, discipline
68	Slawomir Lasota 0001	Behavioural Constructor Implementation for Regular Algebras.	LPAR	2000	DBLP DOI BibTeX RDF	regular algebras, behavioural constructor implementation, proofs of behavioural properties, Algebraic specifications, observational equivalence
66	Sven Hartmann, Sebastian Link, Klaus-Dieter Schewe	Functional and multivalued dependencies in nested databases generated by record and list constructor.	Ann. Math. Artif. Intell.	2006	DBLP DOI BibTeX RDF	AMS Subject classification 68P15
66	Ichiro Mitsuhashi, Michio Oyamaguchi, Yoshikatsu Ohta, Toshiyuki Yamada	The Joinability and Unification Problems for Confluent Semi-constructor TRSs.	RTA	2004	DBLP DOI BibTeX RDF
62	Adriaan Moors	Type Constructor Polymorphism for Scala: Theory and Practice (Type constructor polymorfisme voor Scala: theorie en praktijk) ; Type Constructor Polymorphism for Scala: Theory and Practice.		2009	RDF
56	Franz Baader, Eldar Karabaev, Carsten Lutz, Manfred Theißen	A New n-Ary Existential Quantifier in Description Logics.	KI	2005	DBLP DOI BibTeX RDF
56	Santiago Escobar 0001	Refining weakly outermost-needed rewriting and narrowing.	PPDP	2003	DBLP DOI BibTeX RDF	neededness, term rewriting, lazy evaluation, demandness, parallel evaluation
54	Ugo Dal Lago, Simone Martini 0001	On Constructor Rewrite Systems and the Lambda-Calculus.	ICALP (2)	2009	DBLP DOI BibTeX RDF
54	Pierre Corbineau	Deciding Equality in the Constructor Theory.	TYPES	2006	DBLP DOI BibTeX RDF
54	Bruno Salinier, Robert Strandh	Simulating Forward-Branching Systems with Constructor Systems.	TAPSOFT	1997	DBLP DOI BibTeX RDF
54	Thomas Arts, Jürgen Giesl	Termination of Constructor Systems.	RTA	1996	DBLP DOI BibTeX RDF
54	Mark P. Jones	Programming with Constructor Classes (Abstract)	PLILP	1995	DBLP DOI BibTeX RDF
54	Klaus Becker 0002	Proving Ground Confluence and Inductive Validity in Constructor Based Equational Specifications.	TAPSOFT	1993	DBLP DOI BibTeX RDF
54	Aart Middeldorp, Yoshihito Toyama	Completeness of Combinations of Constructor Systems.	RTA	1991	DBLP DOI BibTeX RDF
48	Adriaan Moors, Frank Piessens, Martin Odersky	Generics of a higher kind.	OOPSLA	2008	DBLP DOI BibTeX RDF	higher-kinded types, higher-order genericity, type constructor polymorphism, Scala
48	Mehdi R. Zargham, Namdar Mogharreban	PORSEL: an expert system for assisting in investment analysis and valuation.	Soft Comput.	2005	DBLP DOI BibTeX RDF	Fuzzy stock selector, Portfolio constructor, Fuzzy logic, Portfolio management
45	Robert Harper 0001, Mark Lillibridge	Explicit Polymorphism and CPS Conversion.	POPL	1993	DBLP DOI BibTeX RDF
45	Johann Eder, Andreas Rudloff, Florian Matthes, Joachim W. Schmidt	Data Construction with Recursive Set Expressions.	East/West Database Workshop	1990	DBLP DOI BibTeX RDF
43	Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández	A Fully Abstract Semantics for Constructor Systems.	RTA	2009	DBLP DOI BibTeX RDF
43	Colin Riba	Union of Reducibility Candidates for Orthogonal Constructor Rewriting.	CiE	2008	DBLP DOI BibTeX RDF
43	Brian Huffman, John Matthews, Peter White	Axiomatic Constructor Classes in Isabelle/HOLCF.	TPHOLs	2005	DBLP DOI BibTeX RDF
43	Pierre Réty	Regular Sets of Descendants for Constructor-Based Rewrite Systems.	LPAR	1999	DBLP DOI BibTeX RDF	term rewriting, tree automata
43	Gilles Barthe, Maria João Frade	Constructor Subtyping.	ESOP	1999	DBLP DOI BibTeX RDF
43	Guang R. Gao, Robert Kim Yates, Jack B. Dennis, Lenore M. R. Mullin	A strict monolithic array constructor.	SPDP	1990	DBLP DOI BibTeX RDF
36	Jie Hu 0006, Mengchi Liu	Modeling context-dependent information.	CIKM	2009	DBLP DOI BibTeX RDF	context constructor, context-dependent property, information modeling
36	Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández	A simple rewrite notion for call-time choice semantics.	PPDP	2007	DBLP DOI BibTeX RDF	constructor-based rewriting logic, local bindings, non-determinism calltime choice semantics, sharing, term rewriting systems, functional-logic programming
36	Juan Carlos González Moreno, Maria Teresa Hortalá-González, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo	A Rewriting Logic for Declarative Programming.	ESOP	1996	DBLP DOI BibTeX RDF	non-deterministic functions, constructor-based rewriting logic, lazy narrowing, Declarative programming
34	Stephen P. Carl	The treatment of deep vs. shallow copy in introductory C++ textbooks.	ACM SIGCSE Bull.	2003	DBLP DOI BibTeX RDF
34	Alexei Kopylov	Dependent Intersection: A New Way of Defining Records in Type Theory.	LICS	2003	DBLP DOI BibTeX RDF
34	Rajaa Najjar, Steve Counsell, George Loizou, Keith Mannock	The Role of Constructors in the Context of Refactoring Object-Oriented System.	CSMR	2003	DBLP DOI BibTeX RDF
34	Adel Bouhoula, Jean-Pierre Jouannaud	Automata-Driven Automated Induction.	LICS	1997	DBLP DOI BibTeX RDF	automata-driven automated induction, inductive theorem proving, first-order functions, finitely many unary membership predicates, rational subsets, ground reducibility, inductive prover, theorem proving, tree automata, Horn Clauses, proof obligations
32	Rafal Sienkiewicz	Experiments with the Universal Constructor in the DigiHive Environment.	ACAL	2009	DBLP DOI BibTeX RDF
32	Janis Voigtländer	Free theorems involving type constructor classes: functional pearl.	ICFP	2009	DBLP DOI BibTeX RDF	relational parametricity
32	Daniel Gâinâ, Kokichi Futatsugi, Kazuhiro Ogata 0001	Constructor-Based Institutions.	CALCO	2009	DBLP DOI BibTeX RDF
32	Germán Vidal	Termination of Narrowing in Left-Linear Constructor Systems.	FLOPS	2008	DBLP DOI BibTeX RDF
32	Yi Wang, Masahiko Sakai	Decidability of Termination for Semi-constructor TRSs, Left-Linear Shallow TRSs and Related Systems.	RTA	2006	DBLP DOI BibTeX RDF
32	Naoki Nishida 0001, Masahiko Sakai, Toshiki Sakabe	Partial Inversion of Constructor Term Rewriting Systems.	RTA	2005	DBLP DOI BibTeX RDF
32	C. Barry Jay	Distinguishing Data Structures and Functions: The Constructor Calculus and Functorial Types.	TLCA	2001	DBLP DOI BibTeX RDF
32	Gilles Barthe, Femke van Raamsdonk	Constructor Subtyping in the Calculus of Inductive Constructions.	FoSSaCS	2000	DBLP DOI BibTeX RDF
32	Nachum Dershowitz	Innocuous Constructor-Sharing Combinations.	RTA	1997	DBLP DOI BibTeX RDF
32	Ton Vullinghs, Wolfram Schulte, Thilo Schwinn	The Design of a Functional GUI Library Using Constructor Classes.	Ershov Memorial Conference	1996	DBLP DOI BibTeX RDF
32	Torben Æ. Mogensen	Constructor Spezialization.	PEPM	1993	DBLP DOI BibTeX RDF	Standard ML
32	Jordi Farrés-Casals	Proving Correctness of Constructor Implementations.	MFCS	1989	DBLP DOI BibTeX RDF
32	Juan José Moreno-Navarro, Mario Rodríguez-Artalejo	BABEL: A Functional and Logic Programming Language based on Constructor Discipline and Narrowing.	ALP	1988	DBLP DOI BibTeX RDF
25	Chieri Saito, Atsushi Igarashi	Self type constructors.	OOPSLA	2009	DBLP DOI BibTeX RDF	MyType, type constructor polymorphism, generics, binary methods
25	C. Barry Jay	The pattern calculus.	ACM Trans. Program. Lang. Syst.	2004	DBLP DOI BibTeX RDF	Constructor calculus, pattern calculus, functional programming, pattern-matching, generic programming
22	Joseph Gil, Tali Shragai	Are We Ready for a Safer Construction Environment?	ECOOP	2009	DBLP DOI BibTeX RDF
22	Mariangiola Dezani-Ciancaglini, Paola Giannini, Simona Ronchi Della Rocca	Intersection, Universally Quantified, and Reference Types.	CSL	2009	DBLP DOI BibTeX RDF
22	Ana Bove, Venanzio Capretta	A Type of Partial Recursive Functions.	TPHOLs	2008	DBLP DOI BibTeX RDF
22	Adel Bouhoula, Florent Jacquemard	Automated Induction with Constrained Tree Automata.	IJCAR	2008	DBLP DOI BibTeX RDF
22	Zhiwen Yu 0002, Zhongkai Deng, Hau-San Wong, Xing Wang	Fuzzy cluster ensemble and its application on 3D head model classification.	IJCNN	2008	DBLP DOI BibTeX RDF
22	Eugene Eberbach, Mark Burgin	Evolution of evolution: Self-constructing Evolutionary Turing Machine case study.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
22	Jeffrey Stylos, Steven Clarke	Usability Implications of Requiring Parameters in Objects' Constructors.	ICSE	2007	DBLP DOI BibTeX RDF
22	Yongjun Wang, Xiaoming Zhang	A Novel Modeling Method of Network Processor Architecture Based on SystemC.	CIT	2006	DBLP DOI BibTeX RDF
22	Björn Bringert, Aarne Ranta	A pattern for almost compositional functions.	ICFP	2006	DBLP DOI BibTeX RDF	dependent type theory, java, haskell, abstract syntax, traversal, visitor pattern
22	Linh Anh Nguyen	A Bottom-Up Method for the Deterministic Horn Fragment of the Description Logic ALC.	JELIA	2006	DBLP DOI BibTeX RDF
22	Lukás Sekanina, Michal Bidlo	Evolutionary Design of Arbitrarily Large Sorting Networks Using Development.	Genet. Program. Evolvable Mach.	2005	DBLP DOI BibTeX RDF	scalability, evolutionary algorithm, development, sorting network
22	Yongwei Wu, Song Wu 0001, Huashan Yu, Chunming Hu	Introduction to ChinaGrid Support Platform.	ISPA Workshops	2005	DBLP DOI BibTeX RDF
22	Sébastien Carlier, Jeff Polakow, J. B. Wells, A. J. Kfoury	System E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types.	ESOP	2004	DBLP DOI BibTeX RDF
22	Jackrit Suthakorn, Gregory S. Chirikjian	Toward Self-Replication of Robot Control Circuitry by Self-Inspection.	ISER	2004	DBLP DOI BibTeX RDF
22	Santiago Escobar 0001	Implementing Natural Rewriting and Narrowing Efficiently.	FLOPS	2004	DBLP DOI BibTeX RDF
22	Lukás Sekanina	Evolving Constructors for Infinitely Growing Sorting Networks and Medians.	SOFSEM	2004	DBLP DOI BibTeX RDF
22	Santiago Escobar 0001, José Meseguer 0001, Prasanna Thati	Natural Rewriting for General Term Rewriting Systems.	LOPSTR	2004	DBLP DOI BibTeX RDF
22	Toyoaki Tomura, Satoshi Kanai	Developing Simulation Models of Open Distributed Control System by Using Object-Oriented Structural and Behavioral Patterns.	ISORC	2001	DBLP DOI BibTeX RDF
22	Michel Bidoit, Rolf Hennicker, Alexander Kurz 0001	On the Duality between Observability and Reachability.	FoSSaCS	2001	DBLP DOI BibTeX RDF
22	Guillaume Texier, Fabrice Depaulis, Laurent Guittet	End-User Class Definition in CAD Systems.	HCC	2001	DBLP DOI BibTeX RDF
22	Elaine P. Machado, Caetano Traina Jr., Myrian R. B. Araujo	Classification Abstraction: An Intrinsic Element in Database Systems.	ADVIS	2000	DBLP DOI BibTeX RDF
22	Kenneth R. Anderson 0002, Timothy J. Hickey	Reflecting Java into Scheme.	Reflection	1999	DBLP DOI BibTeX RDF
22	Mehdi R. Zargham, Mohammad R. Sayeh	A Web-Based Information System for Stock Selection and Evaluation.	WECWIS	1999	DBLP DOI BibTeX RDF
22	M. R. K. Krishna Rao	Completeness of Hierarchical Combinations of term Rewriting Systems.	FSTTCS	1993	DBLP DOI BibTeX RDF
22	Deepak Kapur, Paliath Narendran, Hantao Zhang 0001	Complexity of Sufficient-Completeness.	FSTTCS	1986	DBLP DOI BibTeX RDF	normal forms, term rewriting systems, PSPACE, Sufficient-completeness
22	Sundaravarathan R. Iyengar, Ravi Manghirmalani, Nancy Nettleton, Joseph Borgia	Representations for a rule based assistant for designing combinational circuits.	ACM Conference on Computer Science	1985	DBLP DOI BibTeX RDF
22	Robert Cartwright	Types as Intervals.	POPL	1985	DBLP DOI BibTeX RDF
22	Hideo Matsuda, M. Kohata, T. Masuo, Yukio Kaneda, Sadao Maekawa	Parallel Prolog Machine PARK: Its Hardware Structure and Prolog System.	LP	1985	DBLP DOI BibTeX RDF
22	Daniel Leivant	Structural Semantics for Polymorphic Data Types.	POPL	1983	DBLP DOI BibTeX RDF
21	Roberto Maria Rosati, Salim Bouamama, Christian Blum 0001	Multi-constructor CMSA for the maximum disjoint dominating sets problem.	Comput. Oper. Res.	2024	DBLP DOI BibTeX RDF
21	Johannes Schick, Marc Wagner, Wolfram-Manfred Lippe	Graphical and Textual Models Embedded in a Constructor-Driven Transformation.	ICSC	2024	DBLP DOI BibTeX RDF
21	Clément Pinard, Antoine Manzanera	Does it work outside this benchmark? Introducing the rigid depth constructor tool.	Multim. Tools Appl.	2023	DBLP DOI BibTeX RDF
21	Shitong Zhang, Yanjing He, Shengtang Liu, Zhengqing Zhang, Chongli Zhong	Metal-Organic Framework Membrane Constructor: A Tool for High-Throughput Construction of Metal-Organic Framework Membrane Models.	J. Chem. Inf. Model.	2023	DBLP DOI BibTeX RDF
21	Kutz Arrieta, Pablo R. Fillottrani, C. Maria Keet	CoSMo: A constructor specification language for Abstract Wikipedia's content selection process.	CoRR	2023	DBLP DOI BibTeX RDF
21	Tony McCaffrey, Thomas E. Gorochowski, Lee Spector	Constructor algorithms for building unconventional computers able to solve NP-complete problems.	CoRR	2023	DBLP DOI BibTeX RDF
21	Xiaohong Chen 0002, Dorel Lucanu, Grigore Rosu	Capturing constrained constructor patterns in matching logic.	J. Log. Algebraic Methods Program.	2023	DBLP DOI BibTeX RDF
21	Mohammad Golam Sohrab, Khoa Duong, Goran Topic, Ikeda Masami, Nozomi Nagano, Yayoi Natsume-Kitatani, Masakata Kuroda, Mari Nogami Itoh, Hiroya Takamura	Disease Network Constructor: a Pathway Extraction and Visualization.	ACL (demo)	2023	DBLP DOI BibTeX RDF
21	John Robert Turner, Dave Snowden, Nigel Thurlow	The Substrate-Independence Theory: Advancing Constructor Theory to Scaffold Substrate Attributes for the Recursive Interaction between Knowledge and Information.	Syst.	2022	DBLP DOI BibTeX RDF
21	Yingqian Wang 0002, Longguang Wang, Zhengyu Liang, Jun-Gang Yang, Wei An, Yulan Guo	Occlusion-Aware Cost Constructor for Light Field Depth Estimation.	CoRR	2022	DBLP DOI BibTeX RDF
21	Marco Maggesi, Cosimo Perini Brogi	A theorem prover and countermodel constructor for provability logic in HOL Light.	CoRR	2022	DBLP DOI BibTeX RDF
21	Tuan-Khai Nguyen, Zahoor Ahmad, Jong-Myon Kim	A Deep-Learning-Based Health Indicator Constructor Using Kullback-Leibler Divergence for Predicting the Remaining Useful Life of Concrete Structures.	Sensors	2022	DBLP DOI BibTeX RDF
21	Karsten Henke, Mykhailo Poliakov, Heinz-Dietrich Wuttke, Johannes Nau, Oleksii Poliakov	Production Cell Structure Constructor for Remote Laboratory Experiments.	REV	2022	DBLP DOI BibTeX RDF
21	Yingqian Wang 0002, Longguang Wang, Zhengyu Liang, Jun-Gang Yang, Wei An, Yulan Guo	Occlusion-Aware Cost Constructor for Light Field Depth Estimation.	CVPR	2022	DBLP DOI BibTeX RDF
21	Albert Meroño-Peñuela, Carlos Martinez-Ortiz	grlc: the git repository linked data API constructor.	J. Open Source Softw.	2021	DBLP DOI BibTeX RDF
21	Mehdi Keshani	Scalable Call Graph Constructor for Maven.	CoRR	2021	DBLP BibTeX RDF
21	Clément Pinard, Antoine Manzanera	Does it work outside this benchmark? Introducing the Rigid Depth Constructor tool, depth validation dataset construction in rigid scenes for the masses.	CoRR	2021	DBLP BibTeX RDF
21	Nae-Chyun Chen, Yu-Cheng Li, Yi-Chang Lu	A Memory-Efficient FM-Index Constructor for Next-Generation Sequencing Applications on FPGAs.	CoRR	2021	DBLP BibTeX RDF
21	Edwin Mauricio Martinez, Pedro Ponce, Israel Macias, Arturo Molina 0001	Automation Pyramid as Constructor for a Complete Digital Twin, Case Study: A Didactic Manufacturing System.	Sensors	2021	DBLP DOI BibTeX RDF
21	Jakob Grue Simonsen	The Expressive Power of One Variable Used Once: The Chomsky Hierarchy and First-Order Monadic Constructor Rewriting.	FSCD	2021	DBLP DOI BibTeX RDF
21	Gulmira Bekmanova, Aizhan Nazyrova, Assel Omarbekova, Altynbek Sharipbay	The Model of Curriculum Constructor.	ICCSA (2)	2021	DBLP DOI BibTeX RDF
21	Mehdi Keshani	Scalable Call Graph Constructor for Maven.	ICSE (Companion Volume)	2021	DBLP DOI BibTeX RDF
21	Stephen Skeirik, Andrei Stefanescu, José Meseguer 0001	A Constructor-Based Reachability Logic for Rewrite Theories.	Fundam. Informaticae	2020	DBLP DOI BibTeX RDF