Search results for "SETL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
122	Robert B. K. Dewar, Arthur Grand, Ssu-Cheng Liu, Jacob T. Schwartz, Edmond Schonberg	Programming by Refinement, as Exemplified by the SETL Representation Sublanguage.	ACM Trans. Program. Lang. Syst.	1979	DBLP DOI BibTeX RDF	SETL
111	Edith Deak, M. Shimasaki, J. Schwartz	MIDL: a hybrid language of medium level.	Methods of Algorithmic Language Implementation	1975	DBLP DOI BibTeX RDF
66	Robert Paige	Transformational Programming - Applications to Algorithms and Systems.	POPL	1983	DBLP DOI BibTeX RDF
57	Thomas I. M. Ho	Review of On programming: an interim report on the SETL project, intallment II: the SETL language and examples of its use by J. T. Schwartz. New York University, 1973.	ACM SIGPLAN Notices	1974	DBLP DOI BibTeX RDF
56	Stefan M. Freudenberger, Jacob T. Schwartz, Micha Sharir	Experience with the SETL Optimizer.	ACM Trans. Program. Lang. Syst.	1983	DBLP DOI BibTeX RDF	SETL
56	Edmond Schonberg, Jacob T. Schwartz, Micha Sharir	An Automatic Technique for Selection of Data Structures in SETL Programs.	ACM Trans. Program. Lang. Syst.	1981	DBLP DOI BibTeX RDF	SETL
50	Elias Dahlhaus, Johann A. Makowsky	The Choice of Programming Primitives for SETL-Like Programming Languages.	ESOP	1986	DBLP DOI BibTeX RDF
50	Edmond Schonberg, Jacob T. Schwartz, Micha Sharir	Automatic Data Structure Selection in SETL.	POPL	1979	DBLP DOI BibTeX RDF
44	Jacob T. Schwartz	Automatic Data Structure Choice in a Language of Very High Level.	POPL	1975	DBLP DOI BibTeX RDF	data structure choice, set-theoretic languages, automatic programming, high level languages, program optimization
28	Carlos Roberto Silveira Junior, Marilde Terezinha Prado Santos, Marcela Xavier Ribeiro	A flexible architecture for the pre-processing of solar satellite image time series data - the SETL architecture.	Int. J. Data Min. Model. Manag.	2019	DBLP DOI BibTeX RDF
28	Rudra Pratap Deb Nath, Katja Hose, Torben Bach Pedersen, Oscar Romero 0001	SETL: A programmable semantic extract-transform-load framework for semantic data warehouses.	Inf. Syst.	2017	DBLP DOI BibTeX RDF
28	Sergio de Cesare, George Foy, Mark Lycett	4D-SETL - A Semantic Data Integration Framework.	ICEIS (1)	2016	DBLP DOI BibTeX RDF
28	David Bacon	SETL for Internet Data Processing.		2000	RDF
28	Zhiqing Liu	Lazy SETL Debugging with Persistent Data Structures.		1994	RDF
28	Albert Nathan	Transformations for backtracking SETL programs.		1989	RDF
28	Michael Straub	Taliere: An interactive system for data structuring SETL programs.		1988	RDF
28	Henry Merriman Lewis	Extensions to SETL to support problem specification and transformation of imperative programs.		1988	RDF
28	Véronique Donzeau-Gouge, Catherine Dubois, Philippe Facon, F. Jean	Development of a Programming Environment for Setl.	ESEC	1987	DBLP DOI BibTeX RDF
28	Elias Dahlhaus	Is SETL a Suitable Language for Parallel Programming - A Theoretical Approach.	CSL	1987	DBLP DOI BibTeX RDF
28	Jacob T. Schwartz, Robert B. K. Dewar, Ed Dubinsky, Edith Schonberg	Programming with Sets - An Introduction to SETL.		1986	DOI RDF
28	Gerald Weiss	Recursive Data Types in Setl: Automatic Determination, Data Language Description, and Efficient Implementation (Compilers).		1986	RDF
28	Kio C. Hyun, Ernst-Erich Doberkat	Inline expansion of SETL procedures.	ACM SIGPLAN Notices	1985	DBLP DOI BibTeX RDF
28	Philippe Kruchten, Edmond Schonberg, Jacob Schwart	Software Prototyping using the SETL Programming Language.	IEEE Softw.	1984	DBLP DOI BibTeX RDF
28	Stefan M. Freudenberger	On the use of Global Optimization Algorithms for the Detection of Semantic Programming Errors (Setl, Data Flow, Type Finding).		1984	RDF
28	Lynwood David Shields	Measuring Setl Performance.		1983	RDF
28	Jack Schwartz	SETL-a very high level language oriented to software systems prototyping.	APL	1981	DBLP DOI BibTeX RDF
28	Edmond Schonberg	Hierarchical design and efficient implementation in SETL: a case study.	ACM SIGPLAN Notices	1979	DBLP DOI BibTeX RDF
28	Robert B. K. Dewar, Edmond Schonberg	The elements of SETL style.	ACM Annual Conference	1979	DBLP DOI BibTeX RDF
28	Ssu-Cheng Liu	Automatic Data Structure Choice in Setl.		1978	RDF
28	David Ya. Levin	Experimental implementation of SETL.	Methods of Algorithmic Language Implementation	1975	DBLP DOI BibTeX RDF
28	J. T. Schwartz	Automatic and semiautomatic optimization of SETL.	SIGPLAN Symposium on Very High Level Languages	1974	DBLP DOI BibTeX RDF
28	Aaron M. Tenenbaum	Compile time type determination in SETL.	ACM Annual Conference (1)	1974	DBLP DOI BibTeX RDF
28	William R. Franta, Kurt Maly	Simulation Structures and SETL.	IFIP Congress	1974	DBLP BibTeX RDF
28	William R. Franta, Kurt Maly	The suitability of a very high level language (SETL) for simulation structuring and control.	Symposium on Programming	1974	DBLP DOI BibTeX RDF
27	Gary Marc Levin	ISETL: A Language for Teaching Discrete Mathematics (Abstract).	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF	SETL
27	Micha Sharir	Some Observations Concerning Formal Differentiation of Set Theoretic Expressions.	ACM Trans. Program. Lang. Syst.	1982	DBLP DOI BibTeX RDF	SETL
27	Robert Paige, Shaye Koenig	Finite Differencing of Computable Expressions.	ACM Trans. Program. Lang. Syst.	1982	DBLP DOI BibTeX RDF	SETL
22	Deepak Goyal, Robert Paige	A New Solution to the Hidden Copy Problem.	SAS	1998	DBLP DOI BibTeX RDF	Copy Optimization, Big Step Operational Semantics, Must Alias Analysis, Abstract Interpretation
22	Mark William Kahrs	Silicon compilation of very high level language.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1992	DBLP DOI BibTeX RDF
22	Marco Pellegrini 0001, Raimondo Sepe	SetLog, a tool for experimenting with new semantics.	ACM SIGPLAN Notices	1991	DBLP DOI BibTeX RDF
22	Elias Dahlhaus, Johann A. Makowsky	Computable Directory Queries.	CAAP	1986	DBLP DOI BibTeX RDF
22	Micha Sharir	Data Flow Analysis of Applicative Programs.	ICALP	1981	DBLP DOI BibTeX RDF