Search results for "if-then-else"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
42	Daniele Mundici	Nonboolean partitions and their logic.	Soft Comput.	1998	DBLP DOI BibTeX RDF	Nonboolean partition, if-then-else, block-recognition, infinite-valued ?ukasiewicz calculus, many-valued logic, MV-algebras
40	David G. Cantor	On The Ambiguity Problem of Backus Systems.	J. ACM	1962	DBLP DOI BibTeX RDF
34	Khí-Uí Soo, Tim Stokes 0001	Algebraic properties of if-then-else and commutative three-valued tests.	Int. J. Algebra Comput.	2019	DBLP DOI BibTeX RDF
34	Gayatri Panicker, Kanduru V. Krishna, Purandar Bhaduri	On the structure of C-algebras through atomicity and if-then-else.	CoRR	2018	DBLP BibTeX RDF
34	Gayatri Panicker, Kanduru V. Krishna, Purandar Bhaduri	Axiomatization of if-then-else over possibly non-halting programs and tests.	Int. J. Algebra Comput.	2017	DBLP DOI BibTeX RDF
34	Gayatri Panicker, Kanduru V. Krishna, Purandar Bhaduri	Axiomatization of if-then-else over monoids of possibly non-halting programs and tests.	CoRR	2017	DBLP BibTeX RDF
34	Gayatri Panicker, Kanduru V. Krishna, Purandar Bhaduri	Axiomatization of if-then-else over possibly non-halting programs and tests.	CoRR	2016	DBLP BibTeX RDF
34	Ilya Levin, Osnat Keren	Generalized If-Then-Else Operator for Compact Polynomial Representation of Multi Output Functions.	DSD	2011	DBLP DOI BibTeX RDF
34	Marcel Jackson, Timothy Stokes 0001	SEMIGROUPS WITH if-then-else AND HALTING PROGRAMS.	Int. J. Algebra Comput.	2009	DBLP DOI BibTeX RDF
34	Michael Beeson	Unification in Lambda-Calculi with if-then-else.	CADE	1998	DBLP DOI BibTeX RDF
34	Houn-Gee Chen, Robert P. Vecchio	Nested IF-THEN-ELSE Constructs in End-User Computing: Personality and Aptitude as Predictors of Programming Ability.	Int. J. Man Mach. Stud.	1992	DBLP DOI BibTeX RDF
34	Don Pigozzi	Equality-Test and If-Then-Else Algebras: Axiomatization and Specification.	SIAM J. Comput.	1991	DBLP DOI BibTeX RDF
34	Ernest G. Manes	Equations for if-then-else.	MFPS	1991	DBLP DOI BibTeX RDF
34	Ernest G. Manes	A Transformational Characterization of if-then-else.	Theor. Comput. Sci.	1990	DBLP DOI BibTeX RDF
34	Irène Guessarian, José Meseguer 0001	On the Axiomatization of "If-Then-Else".	SIAM J. Comput.	1987	DBLP DOI BibTeX RDF
34	Alan H. Mekler, Evelyn Nelson	Equational Bases for If-Then-Else.	SIAM J. Comput.	1987	DBLP DOI BibTeX RDF
34	Irène Guessarian	Equational Axiomatizations of If-Then-Else.	CTRS	1987	DBLP DOI BibTeX RDF
34	Jan Vanthienen	A note on English for decision tables considered harmful and the nested IF-THEN-ELSE.	ACM SIGPLAN Notices	1985	DBLP DOI BibTeX RDF
34	Neta Amit	A different solution for improving the readability of deeply nested IF-THEN-ELSE control structure.	ACM SIGPLAN Notices	1984	DBLP DOI BibTeX RDF
34	David Taylor	An improvement to the 'if-then-else' and 'select' clauses, and some comments on Arun Lakhotias' an improvement over . . .	ACM SIGPLAN Notices	1983	DBLP DOI BibTeX RDF
34	Arun Lakhotia	An improvement over: "an improvement over deeply nested IF-THEN-ELSE control structure".	ACM SIGPLAN Notices	1983	DBLP DOI BibTeX RDF
34	Paula S. Newman	IF-THEN-ELSE, again.	ACM SIGPLAN Notices	1983	DBLP DOI BibTeX RDF
34	Michael H. Rosenbloom	Deeply nested IF-THEN-ELSE's.	ACM SIGPLAN Notices	1983	DBLP DOI BibTeX RDF
34	Stephen L. Bloom, Ralph Tindell	Varieties of "if-then-else".	SIAM J. Comput.	1983	DBLP DOI BibTeX RDF
34	Gregory P. Hill	An Improvement Over Deeply Nested IF-THEN-ELSE Control Structures.	ACM SIGPLAN Notices	1982	DBLP DOI BibTeX RDF
34	Ellen Hisdal	The IF THEN ELSE Statement and Interval-Valued Fuzzy Sets of Higher Type.	Int. J. Man Mach. Stud.	1981	DBLP DOI BibTeX RDF
34	Rex L. Page, M. G. Conant, Dale H. Grit	If-then-else as a concurrency inhibitor in eager beaver evaluation of recursive programs.	FPCA	1981	DBLP DOI BibTeX RDF
34	L. V. Atkinson	Should if...then...else... Follow the Dodo?	Softw. Pract. Exp.	1979	DBLP DOI BibTeX RDF
34	Gerald M. Weinberg, Dennis P. Geller, Thomas W.-S. Plum	IF-THEN-ELSE considered harmful.	ACM SIGPLAN Notices	1975	DBLP DOI BibTeX RDF
22	Clinton R. Foulk	Structured Programming in Macintosh Assembly Language (Abstract).	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF
20	Robert A. Schmitt	A reconfigurable software style expert system (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
20	Rainer Leupers	Exploiting Conditional Instructions in Code Generation for Embedded VLIW Processors.	DATE	1999	DBLP DOI BibTeX RDF
20	Ralph Frisbie, Richard Hendrickson, Michael Metcalf	The F Programming Language.	ACM SIGPLAN Notices	1997	DBLP DOI BibTeX RDF	FCL
20	Kemal Ebcioglu	A compilation technique for software pipelining of loops with conditional jumps.	MICRO	1987	DBLP DOI BibTeX RDF
20	Edward A. Bender, Jon T. Butler	Enumeration of Structured Flowcharts	J. ACM	1985	DBLP DOI BibTeX RDF
20	E. H. den Hertog, H. J. C. Gerbscheid, Martin L. Kersten	Do-Select Reconsidered.	ACM SIGPLAN Notices	1983	DBLP DOI BibTeX RDF
20	Brenda S. Baker	An Algorithm for Structuring Flowgraphs.	J. ACM	1977	DBLP DOI BibTeX RDF
20	Brenda S. Baker	An Algorithm for Structuring Programs.	POPL	1976	DBLP DOI BibTeX RDF
11	Gennette Gill, Vishal Gupta, Montek Singh	Performance estimation and slack matching for pipelined asynchronous architectures with choice.	ICCAD	2008	DBLP DOI BibTeX RDF
11	John Case, Samuel E. Moelius	Properties Complementary to Program Self-reference.	MFCS	2007	DBLP DOI BibTeX RDF	Computability Theory, Programming Language Semantics, Self-Reference
11	Zijiang Yang 0006, Bashar Al-Rawi, Karem A. Sakallah, Xiaowan Huang, Scott A. Smolka, Radu Grosu	Dynamic Path Reduction for Software Model Checking.	IFM	2009	DBLP DOI BibTeX RDF
11	Victor R. L. Shen	Knowledge Representation Using High-Level Fuzzy Petri Nets.	IEEE Trans. Syst. Man Cybern. Part A	2006	DBLP DOI BibTeX RDF
11	Carlos Mario Zapata Jaramillo, Alexander F. Gelbukh, Fernando Arango Isaza	Pre-conceptual Schema: A Conceptual-Graph-Like Knowledge Representation for Requirements Elicitation.	MICAI	2006	DBLP DOI BibTeX RDF
11	Stephen M. Mansour	An interface for user-defined functions in a database application.	APL	2002	DBLP DOI BibTeX RDF
11	Trudy Weibel, Gaston H. Gonnet	An Assume Facility for CAS, with a Sample Implementation for Maple.	DISCO	1992	DBLP DOI BibTeX RDF
11	Ken Kennedy, Linda Zucconi	Applications of Graph Grammar for Program Control Flow Analysis.	POPL	1977	DBLP DOI BibTeX RDF
10	Sim-Hui Tee	Inclusion of Property Profile in the Production Rule Pattern for Visualization Software Design.	IVIC	2009	DBLP DOI BibTeX RDF	Property profile, production rule pattern, visualization software design, overridden methods, information visualization
10	Anna B. Romanowska, Jonathan D. H. Smith	Barycentric Algebras and Gene Expression.	WILF	2009	DBLP DOI BibTeX RDF
10	Hyondeuk Kim, Fabio Somenzi, HoonSang Jin	Efficient Term-ITE Conversion for Satisfiability Modulo Theories.	SAT	2009	DBLP DOI BibTeX RDF
10	Yassine Mokhtari, Sa'ed Abed, Otmane Aït Mohamed, Sofiène Tahar, Xiaoyu Song	A New Approach for the Construction of Multiway Decision Graphs.	ICTAC	2008	DBLP DOI BibTeX RDF
10	Giulio Manzonetto, Antonino Salibra	From lambda-Calculus to Universal Algebra and Back.	MFCS	2008	DBLP DOI BibTeX RDF	Church Algebras, Stone Representation Theorem, Lambda Theories, Lambda calculus, Universal Algebra
10	Ken Fordyce, Robert E. Bixby, Richard Burda	Technology that upsets the social order - a paradigm shift in assigning lots to tools in a wafer fabricator - the transition from rules to optimization.	WSC	2008	DBLP DOI BibTeX RDF
10	Radu Kopetz, Pierre-Etienne Moreau	Software Quality Improvement Via Pattern Matching.	FASE	2008	DBLP DOI BibTeX RDF
10	Hongtao Zhong, Steven A. Lieberman, Scott A. Mahlke	Extending Multicore Architectures to Exploit Hybrid Parallelism in Single-thread Applications.	HPCA	2007	DBLP DOI BibTeX RDF
10	Franck Binard, Amy P. Felty	An abstraction-based genetic programming system.	GECCO (Companion)	2007	DBLP DOI BibTeX RDF	genetic programming, polymorphism, types, lambda calculus
10	Ioannis N. Athanasiadis	Training Intelligent Agents in the Semantic Web Era: The Golf Advisor Agent.	Web Intelligence/IAT Workshops	2007	DBLP DOI BibTeX RDF
10	Kanupriya Gulati, Nikhil Jayakumar, Sunil P. Khatri	A Structured ASIC Design Approach Using Pass Transistor Logic.	ISCAS	2007	DBLP DOI BibTeX RDF
10	Chi Ta Wu, Ang-Chih Hsieh, TingTing Hwang	Instruction buffering for nested loops in low-power design.	IEEE Trans. Very Large Scale Integr. Syst.	2006	DBLP DOI BibTeX RDF
10	Richard Gault, Iain A. Stewart	An Infinite Hierarchy in a Class of Polynomial-Time Program Schemes.	Theory Comput. Syst.	2006	DBLP DOI BibTeX RDF
10	Christos Fidas, Panagiotis Politis, Vassilis Komis, Nikolaos M. Avouris	An Environment for Constructing and Exploring Visual Models of Logic Propositions by Young Students.	SETN	2006	DBLP DOI BibTeX RDF
10	Raman Adaikkalavan, Sharma Chakravarthy	Active Authorization Rules for Enforcing Role-Based Access Control and its Extensions.	ICDE Workshops	2005	DBLP DOI BibTeX RDF
10	Raja Tanveer Iqbal, Uvais Qidwai	Boosted human-centric hybrid classifier.	ACM Southeast Regional Conference (1)	2005	DBLP DOI BibTeX RDF
10	Dara Kusic, Raymond Hoare, Alex K. Jones, Joshua Fazekas, John Foster 0001	Extracting Speedup From C-Code With Poor Instruction-Level Parallelism.	IPDPS	2005	DBLP DOI BibTeX RDF
10	Malay K. Ganai, Aarti Gupta, Pranav Ashar	Efficient Modeling of Embedded Memories in Bounded Model Checking.	CAV	2004	DBLP DOI BibTeX RDF
10	Christian Panis, Ulrich Hirnschrott, Andreas Krall, Gunther Laure, Wolfgang Lazian, Jari Nurmi	FSEL - Selective Predicated Execution for a Configurable DSP Core.	ISVLSI	2004	DBLP DOI BibTeX RDF
10	Jean-Michel Couvreur	A BDD-Like Implementation of an Automata Package.	CIAA	2004	DBLP DOI BibTeX RDF
10	Marius Bozga, Abdelkarim Kerbaa, Oded Maler	Scheduling Acyclic Branching Programs on Parallel Machines.	RTSS	2004	DBLP DOI BibTeX RDF
10	Patrick Carribault, Christophe Lemuet, Jean-Thomas Acquaviva, Albert Cohen 0001, William Jalby	Branch Strategies to Optimize Decision Trees for Wide-Issue Architectures.	LCPC	2004	DBLP DOI BibTeX RDF
10	Amit Prakash, Ramakrishna Kotla, Tanmoy Mandal, Adnan Aziz	A high-performance architecture and BDD-based synthesis methodology for packet classification.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2003	DBLP DOI BibTeX RDF
10	Darío Maravall Gómez-Allende, Javier de Lope Asiaín	Emergent Reasoning from Coordination of Perception and Action: An Example Taken from Robotics.	EUROCAST	2003	DBLP DOI BibTeX RDF
10	Manuel Lois Anido, Alexander Paar, Nader Bagherzadeh	Improving the Operation Autonomy of SIMD Processing Elements by Using Guarded Instructions and Pseudo Branches.	DSD	2002	DBLP DOI BibTeX RDF
10	D. Michael Miller, Rolf Drechsler	On the Construction of Multiple-Valued Decision Diagrams.	ISMVL	2002	DBLP DOI BibTeX RDF
10	Tomas Henriksson, Ulf Nordqvist, Dake Liu	Embedded Protocol Processor for Fast and Efficient Packet Reception.	ICCD	2002	DBLP DOI BibTeX RDF
10	Chi Ta Wu, TingTing Hwang	Instruction buffering for nested loops in low power design.	ISCAS (4)	2002	DBLP DOI BibTeX RDF
10	J Strother Moore	Rewriting for Symbolic Execution of State Machine Models.	CAV	2001	DBLP DOI BibTeX RDF	microprocessor simulation, pipelined machine, verification, theorem proving, Hardware modeling
10	Richard Statman	Church's Lambda Delta Calculus.	LPAR	2000	DBLP DOI BibTeX RDF
10	Guido Bologna	Rule Extraction from Linear Combinations of DIMLP Neural Networks.	SBRN	2000	DBLP DOI BibTeX RDF
10	Marco Sgroi, Luciano Lavagno, Yosinori Watanabe, Alberto L. Sangiovanni-Vincentelli	Quasi-Static Scheduling of Embedded Software Using Equal Conflict Nets.	ICATPN	1999	DBLP DOI BibTeX RDF
10	Kelly A. Ockunzzi, Christos A. Papachristou	Testability Enhancement for Control-Flow Intensive Behaviors.	J. Electron. Test.	1998	DBLP DOI BibTeX RDF	behavioral testability analysis and insertion, BIST, test synthesis
10	Jeffrey Walrath, Ranga Vemuri, W. Bradley	Performance verification using partial evaluation and interval analysis.	ED&TC	1997	DBLP DOI BibTeX RDF
10	Michel Billaud	Fatal Errors in Conditional Expressions (Extended Abstract).	ICALP	1996	DBLP DOI BibTeX RDF
10	David Kotz	A data-parallel programming library for education (DAPPLE).	SIGCSE	1995	DBLP DOI BibTeX RDF	C++
10	Dragan Gamberger	A Minimization Approach to Propositional Inductive Learning.	ECML	1995	DBLP DOI BibTeX RDF
10	Nira Herrmann, Jeffrey L. Popyack	An integrated, software-based approach to teaching introductory computer programming.	SIGCSE	1994	DBLP DOI BibTeX RDF
10	Hsiao-Ping Juan, Viraphol Chaiyakul, Daniel D. Gajski	Condition graphs for high-quality behavioral synthesis.	ICCAD	1994	DBLP DOI BibTeX RDF
10	Robert Bernecky, Roger K. W. Hui	Gerunds and Representations.	APL	1991	DBLP DOI BibTeX RDF	APL
10	Ivan B. Liss, Thomas C. McMillan	Program Structure and Clarity (Abstract).	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF
10	Karl S. Brace, Richard L. Rudell, Randal E. Bryant	Efficient Implementation of a BDD Package.	DAC	1990	DBLP DOI BibTeX RDF
10	Andreas Goerdt	On the Expressive Strength of the Finitely Typed Lambda-Terms.	MFCS	1988	DBLP DOI BibTeX RDF
10	Andreas Goerdt	Characterizing Complexity Classes by General Recursive Definitions in Higher Types.	CSL	1988	DBLP DOI BibTeX RDF
10	Eric G. Wagner	Semantics of Block Structured Languages with Pointers.	MFPS	1987	DBLP DOI BibTeX RDF
10	Bruno Courcelle, F. Lavandier	A Class of Program Schemes Based on Tree Rewriting Systems.	CAAP	1983	DBLP DOI BibTeX RDF
10	Greg Nelson, Derek C. Oppen	Simplification by Cooperating Decision Procedures.	ACM Trans. Program. Lang. Syst.	1979	DBLP DOI BibTeX RDF
10	Charles G. Nelson, Derek C. Oppen	A Simplifier Based on Efficient Decision Algorithms.	POPL	1978	DBLP DOI BibTeX RDF